Formal Methods Europe

Homepage of FME

Archives for the ‘Uncategorized’ Category

CALL FOR PAPERS FM 2012

By Bernhard Aichernig • Oct 25th, 2011 • Category: Uncategorized

*******************************************************************************
18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27 - 31, 2012
CNAM, Paris, France
http://fm2012.cnam.fr
*******************************************************************************
Submission Deadline: March 5th, 2012
SCOPE:
FM 2012 is the eighteenth 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 symposia have been notably successful in bringing
together [...]



I-Day at FM 2005

By editor • Feb 11th, 2011 • Category: Uncategorized



New Secretary of FME

By Bernhard Aichernig • Sep 15th, 2009 • Category: News, Uncategorized

Lars-Henrik Ericsson is our new secretary!
Lars holds a Ph.D. from the Royal Institute of Technology in Stockholm (1993). His thesis concerned a proof-theoretical approach to logic programming. Between 1995 and 2001 he was a formal methods consultant. Lars-Henrik mainly worked with railway signalling applications and with development of tools and methodology for FM. Since 2001 [...]