|
FLACOS 2008 Second Workshop on Formal Languages and Analysis of Contract-Oriented Software Malta, November 27-28, 2008 University of Malta, Department of Computer Science Semantics and Verification Research Group |
Call for Papers
Authors wishing to give a talk at the workshop are invited to submit an extended abstract of their work (3-8 pages, in PDF format, one column, printable on A4 paper) to flacos-08@cs.um.edu.mt by 23 September 2008. Submission of work submitted for formal publication elsewhere and work in progress is permitted. The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming (Elsevier), following the standard reviewing process of the journal. The call is also available as a text file format. Important Dates
Paper Submission Deadline: 23 September 2008 |