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 |