Wallenberg Academy Fellowsip 2014

TheProSE: Theorem Proving and Symbol Elimination
for Software Analysis and Verification

Principal Investigator: Laura Kovács
Funding Agency: Knut and Alice Wallenberg Foundation
Project Period: July 2015 - June 2020
Host Institution: Chalmers University of Technology

Project members


Project events:

  • The WAIT workshop - The Third Workshop on Automated Inductive Theorem Proving, Vienna, Austria, November 17-18, 2016.
  • The Wallenberg Academy Fellows Autumn meeting, Stockholm, Sweden, September 13, 2016.
  • Wallenberg Academy Fellowship - Mentoring Workshop 2015, Stockholm, Sweden, September 8, 2015.