***************************************************************************
CALL FOR PARTICIPATION
FMCAD 2012
http://www.fmcad.org
FORMAL METHODS IN COMPUTER-AIDED DESIGN
Microsoft Research Cambridge, UK
October 22 - 25, 2012
***************************************************************************
Dear colleagues,
A very interesting program for FMCAD'12 was put together!
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).
Beside presentations of 25 accepted papers, we have
* A keynote by Turing Award Winner Tony Hoare (Microsoft)
on "Algebra of Concurrent Design"
* An invited talk by Daryl Stewart (ARM)
on "Formal for Everyone - Challenges in Achievable Multicore Design and
Verification"
* 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)
* 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"
We hope to see you in Cambridge!
Regards,
Slava Bulach (publicity co-Chair)
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
