Associated Workshops
| NSV 2012 | 5th International Workshop on Numerical Software Verification | Co-chairs: Swarat Chaudhuri, Sriram Sankaranarayanan |
| REORDER 2012 | First International Workshop on Memory Consistency Models | Co-chairs: Sela Mador-Haim, Jade Alglave |
| (EC)^2 2012 | Workshop on Exploiting Concurrency Efficiently and Correctly | Co-chairs: Sebastian Burckhardt, Azadeh Farzan,
Ganesh Gopalakrishnan, Stephen Siegel, Helmut Veith, Josef Widder |
| BOOGIE 2012 | 2nd International Workshop on Intermediate Verification Languages | Chair: Zvonimir Rakamaric |
| LfSA 2012 | Logics for System Analysis | Co-chairs: André Platzer, Philipp Rümmer |
| SYNT 2012 | 1st Workshop on Synthesis | Co-chairs: Doron Peled, Sven Schewe |
| AMFSB 2012 | Applications of Formal Methods in Systems Biology | Co-chairs: Vincent Danos, Mahesh Viswanathan |