[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


--------------------------------------------------------

                 FMICS'05

      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:
http://sttt.cs.uni-dortmund.de/fmics05/servlet/Conference

Sincerely,

Tiziana Margaria
  Mieke Massink
(FMICS Co-Chairs)



More information about the loginf mailing list