How to use our site
(Advanced search)
Log in   

 (Subscribe)  (I forgot my password)
FM 2011: 17th International Symposium of Formal Methods



20th to 24th June 2011
Limerick, Ireland

Website: http://fm2011.lero.ie/
Contact person: Jonathan Bowen

FM 2011 is the seventeenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.

Organized by: Formal Methods Europe
Deadline for abstracts/proposals: 10th January 2011

Check the event website for more details.

View all events from this organizer.