Lead Story
FM 2012 in Paris
The FM 2012 Symposium will be held at the Conservatoire National des Arts et Metiers (CNAM) in central Paris during August 27-31, 2012. The general chairs are Kamel Barkaoui (CNAM) and Béatrice Berard (Laboratoire d’Informatique de Paris 6). The PC chairs are Dominique Mery and Dimitra Giannakopoulou. More details and updated information can be found on [...]
{More»}
Sponsored by FME
CALL FOR PAPERS FM 2012»*******************************************************************************
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 [...]
FME Meeting
FME Annual General Meeting 2012»The 2012 FME Annual General Meeting will be held in London on February 16. Details follow.
News
CALL FOR PAPERS: FormSERA 2012» FormSERA 2012
Formal Methods in Software Engineering: Rigorous and Agile Approaches
Workshop on Saturday 2 June 2012, Zurich, Switzerland
http://www.formsera.org/
Held in conjunction with ICSE 2012 (http://www.icse2012.org/)
The FormSERA workshop addresses the use formal methods in software development
practice. Formal methods differ from many software engineering techniques in
that they demand [...]
