Chairs:
* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New York University, USA)
Program Committee:
* Clark Barrett (New York University, USA)
* Nikolaj Bjorner (Microsoft Research, USA)
* Gudmund Grov (University of Edinburgh, UK)
* Ashutosh Gupta (IST Austria)
* Bart Jacobs
:
* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New York University, USA)
Program Committee:
* Clark Barrett (New York University, USA)
* Nikolaj Bjorner (Microsoft Research, USA)
* Gudmund Grov (University of Edinburgh, UK)
* Ashutosh Gupta (IST Austria)
* Bart Jacobs (Katholieke
Checking,
- Theorem Proving,
- Theory Formation,
- Algebraic Techniques
* Tools for inductive assertion generation and verification
* Alternative techniques for reasoning about loops
Committee
-
Program Chairs:
* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New