Date:
Wednesday, June 18, 2014
Collocated with CAV 2014 Conference are the workshops organized by our researchers:
- Laura Kovacs, Georg Weissenbacher chair iPRA workshop “Interpolation: From Proofs to Applications”
- Krishnendu Chatterjee co-chairs SYNT: Workshop on Synthesis
- Swen Jacobs co-organizes the first Synthesis Competition co-located with the SYNT Workshop
- Josef Widder and Igor Konnov co-chair the workshop FRIDA: Formal Reasoning in Distributed Algorithms
- Martina Seidl and Florian Lonsing co-chair the workshops QUANTIFY – First International Workshop on Quantification and QBF: Workshop on Quantified Boolean Formulas
- Laura Kovacs co-chairs Vampire workshop