The FME board is inviting proposals to arrange the 19th International Symposium on Formal Methods 2014.
We particularly invite proposals from outside Europe.
See the attached Call for FM’14.
*******************************************************************************
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 [...]
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 [...]
