Submission Deadline: DEADLINE EXTENDED: 1 July 2007
Notification: 27 July 2007
Workshop: 4 September 2007
Last update: March 29, 2007
FMIS 2007
2nd International Workshop on Formal Methods for Interactive Systems |
|
Lancaster, UK, 4 September 2007 |
|
Organizers
Contact
|