For the fifth time in its history, Formal Methods Symposium will feature a Doctoral Symposium. PhD students are invited to submit papers describing their work (in progress). The authors of the accepted papers will present their work at the symposium in the presence of the members of the Examination Committee, who will act as "friendly examiners", providing detailed feedback. Students whose submissions are accepted will be able to participate in the Doctoral Symposium and the FM 2012 Symposium at the student registration rate.
Submission
Papers in PDF format can be submitted via :
https://www.easychair.org/conferences/?conf=dsfm2012
Papers should be at most 8 pages long in LNCS format.
Important Dates:
Submission: April 12, 2012
Notification: June 1, 2012
Camera ready version: June 25, 2012.
DOCTORAL SYMPOSIUM CHAIRS
Christine Choppy, LIPN, Université Paris Nord, France
David Delayahe, CEDRIC, CNAM Paris, France
Kaïs Klaï, LIPN, University Paris Nord, France