Abstract submission: August 10, 2009
Submission Deadline: August 20 2009
Notification: September 14 2009
Workshop: November 2 2009
Last update:
March 26, 2009
FMIS 2009
3rd International Workshop on Formal Methods for Interactive Systems |
|
Eindhoven, NL, 2 November 2009 |
|
Organizers
Contact
|