[loginf] FMICS'05: Reminder - Deadline for abstracts is today!

Tiziana Margaria margaria at informatik.uni-goettingen.de
Fri May 27 12:58:54 CEST 2005



      10th International Workshop on
Formal Methods for Industrial Critical Systems,
      (affiliated with ESEC/FSE 2005)

September 5-6, 2005 - Lisbon, Portugal

Submission deadlines (firm): May 27, 2005 (abstract)
                              May 30, 2005 (full paper)

Full information: http://fmt.isti.cnr.it/FMICS05/
Online submission:


Tiziana Margaria
  Mieke Massink
(FMICS Co-Chairs)

More information about the loginf mailing list