INTRODUCTION
As is tradition, the FME symposium will go together with an Industry Day, a Doctoral Symposium, as well as a wide range of workshops.TUTORIAL PROGRAM
Monday, August 27, 2012
TUTORIAL 1 (Full day)
- Software Verification with VCC
Microsoft Research, USA
Tuesday, August 28, 2012
TUTORIAL 2 (Full day)
- Towards a Theory of Domain Descriptions
DTU Informatics, Technical University of Denmark
TUTORIAL 3 (Morning)
- CADP: A Toolbox for the Construction and Analysis of Distributed Processes
Inria Grenoble, France
TUTORIAL 4 (Afternoon)
- Symbolic Analysis of GPU Programs for Correctness and Performance
University of Utah, USA
Further inquiries can be made to tutorial.fm2012@lsv.ens-cachan.fr.