|
|
|
FLACOS 2009 Third Workshop on Formal Languages and Analysis of Contract-Oriented Software Toledo, Spain, September 24-25, 2009 University of Castilla-La Mancha, Department of Computer Science Real-Time and Concurrent Systems 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, without page numbers, and printable on A4 paper) to flacos09@dsi.uclm.es. 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. Important Dates
Paper Submission Deadline:8 June 2009 |