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»Update: The minutes are available for download: FME Minutes of the 54th Meeting
The 2012 Annual General Meeting of FME will be held February 16 at 14:00 on the premises of the British Computer Society in London.
After the meeting (at 18:00) there will be a seminar organised by BCS/FACS. See http://www.londoncentral.bcs.org/events/forthcoming-events.php.
The necessary documents for the AGM follow:
Agenda-FME-AGM-2012
FME Minutes [...]
News
Upcoming: QAPL 2012»FME will partially sponsor Kim G. Larsen, (Aalborg University, Denmark),
Boris Koepf, (IMDEA Software Institute, Madrid, Spain), and Jeremy
Bradley, (Imperial College London, U.K.) as keynote speakers at QAPL
2012, the Tenth International Workshop on Quantitative Aspects of
Programming Languages, March 31th - April 1st, 2012, Tallinn, Estonia.
(cf http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012).
Since 2001, QAPL has provided a forum for those interested in
quantitative aspects [...]
