[Caml-list] FMCAD'2012: Preliminary Call For Participation

[gianpiero.cabodi@polito.it]

==================================
CALL FOR PARTICIPATION: FMCAD 2012
==================================

Dear colleague,

We put together a very interesting program for FMCAD'12!
 
 http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/

Please register soon. Early registration ends on September 30!
(see http://www.cs.utexas.edu/~hunt/FMCAD/FMCAD12/registration.html).

FMCAD'12 takes place from October 22 through 25 at Microsoft Research Cambridge, UK 
Beside presentations of 25 accepted papers, we have

  * A keynote by Turing Award Winner Tony Hoare (Microsoft)
    on "Algebra of Concurrent Design"
   
  * An industrial panel organized by Maher Mneimneh (Atrenta),
    on "Model Checking in the Cloud"

  * The fifth Hardware Model Checking Competition (HWMCC'12),
    organized by Armin Biere (Johannes Kepler University Linz)
 
  * and last but not least four tutorials, organized by Rolf Drechsler (University of Bremen), presented by:
    Jasmin Fisher (Microsoft), on "From Theory to Lab Experiments by Formal Verification"  
    Torsten Schaub (University of Potsdam), on "Answer Set Programming"
    Eric Feron (Georgia Tech), on "Formal Methods in Avionics"
    Alessandro Cimatti (Fondazione Bruno Kessler) on "Application of SMT Solvers to Hybrid System Verification"
   
Note again that early registration ends on September 30.

We hope to see you in Cambridge!

Regards,

Gianpiero Cabodi and Satnam Singh (co-chairs)