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
Notification of Acceptance: 5 October 2008
Registration Deadline: 14 October 2008
FLACOS 2008 Workshop: 27-28 November 2008