FM 2012 WEEK
FM 2012 CONFERENCE: August 29-31, 2012
WORKSHOPS:
- UML&FM 2012: August 27, 2012
- TLA+ 2012: August 27, 2012
- INFINITY 2012: August 27, 2012
- VECoS 2012: August 27-28, 2012
- WS-FMDS 2012: August 28, 2012
- FMICS 2012: August 27-28, 2012
- QFM 2012: August 28, 2012
- OVERTURE/VDM 2012: August 28, 2012
CO-LOCATED EVENTS
- FHIES: August 27-28, 2012
- UTP: August 27-28, 2012
TUTORIALS:
- Software Verification with VCC : August 27, 2012 (full day)
- Towards a Theory of Domain Descriptions: August 28, 2012 (full day)
- CADP: A Toolbox for the Construction and Analysis of Distributed Processes, August 28, 2012 (only morning)
- Symbolic Analysis of GPU Programs for Correctness and Performance, August 28, 2012 (only afternoon)
DOCTORAL SYMPOSIUM: August 27, 2012
VERIFICATION COMPETITION: 29-30 August, 2012
More information:
fm2012@cnam.fr or http://fm2012.cnam.fr