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.
In order to complete the programme, the organizing committee of FM 2011 invites proposals for half-day or full-day tutorials in the wide area of formal methods.
Tutorials should aim to provide conference participants with the opportunity to learn new techniques and gain insights in the use of formal methods.
In particular, we welcome proposals addressing:
- novel applications of existing tools and techniques
- advanced topics in formal methods research
- uses of formal methods in emerging fields

TUTORIAL PROGRAM

Monday, August 27, 2012

TUTORIAL 1 (Full day)

- Software Verification with VCC

    Ernie Cohen,

    Microsoft Research, USA


Tuesday, August 28, 2012

TUTORIAL 2 (Full day)

- Towards a Theory of Domain Descriptions

    Dines Bjorner,

    DTU Informatics, Technical University of Denmark

TUTORIAL 3 (Morning)

- CADP: A Toolbox for the Construction and Analysis of Distributed Processes

    Radu Mateescu,

    Inria Grenoble, France

TUTORIAL 4 (Afternoon)

- Symbolic Analysis of GPU Programs for Correctness and Performance

    Ganesh Gopalakrishnan,

    University of Utah, USA


Further inquiries can be made to tutorial.fm2012@lsv.ens-cachan.fr.