Second Workshop on
Formal Languages and Analysis of
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 firstname.lastname@example.org 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.
Paper Submission Deadline: 23 September 2008