Associated Workshops

(EC)2 2013 July 13, 14 6th International Workshop on Exploiting Concurrency Efficiently and Correctly Zvonimir Rakamarić
FWFM 2013 July 13   Fun with Formal Methods Nikolay V. Shilov
Interpolation 2013 July 13, 14 Interpolation: From Proofs to Applications Laura Kovács and Georg Weissenbacher
REORDER 2013 July   14 Second International Workshop on Memory Consistency Models Jade Alglave and Michael Tautschnig
SYNT 2013 July 13, 14 Second CAV Workshop on Synthesis Bernd Finkbeiner and Armando Solar-Lezama
VeriSure 2013 July   14 Verification and Assurance Sam Owre, John Rushby, and Natarajan Shankar
VES 2013 July 13   Verification of Embedded Systems Alexander Petrenko and Yuri Karpov
VPT 2013 July 13, 14 Verification and Program Transformation Alexei Lisitsa and Andrei Nemytykh