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
First Call for Papers: CONCUR 2012»=====================================
FIRST CALL FOR PAPERS - CONCUR 2012
=====================================
23rd International Conference on Concurrency Theory
3rd to 8th September 2012, Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/
CONCUR 2012 is an official event of The Alan Turing Year
http://www.mathcomp.leeds.ac.uk/turing2012/
The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.
===================================
TOPICS
Submissions are [...]
