Русский
English| (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 |