Events Calendar
|
FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Monday, 10 January 2011, 8:00
FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
http://fm2011.lero.ie
June 20-24, 2011
Lero, Limerick, Ireland
Submission of Technical Papers: January 10th, 2011
http://www.easychair.org/conferences/?conf=fm2011 />
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. The sy
http://fm2011.lero.ie
June 20-24, 2011
Lero, Limerick, Ireland
Submission of Technical Papers: January 10th, 2011
http://www.easychair.org/conferences/?conf=fm2011
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. The sy