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

Publications

Events

TheProSE - Project Kick-off Workshop
September 4, 2015

House of William Charles,
Södra Hamngatan 11,
Gothenburg, Sweden
September 4, 2015

Aim:
The workshop serves as a kick-off event of the Wallenberg Academy Fellowship 2014 - TheProSE.

The workshop will bring together project members and collaborators, and offer a variety of research talks on topics relevant to the project.

Workshop Venue:
The workshop will take place in a very nice location, in the heart of Gothenburg, in the old House of William Chalmers (1748-1811), who donated his estate to the founding of the Chalmers University of Technology. The address is Södra Hamngatan 11.

Workshop Program:

    9:00-10:30: Session 1
    • 9:00-9:45: Laura Kovács:
      TheProSE: Theorem Proving and Symbol Elimination for Software Analysis and Verification
    • 9:45-10:30: Maximillian Jaroschek:
      Adapting Real Quantifier Elimination Methods for Unsatisfiable Core Computation
    10:30-11:00: Coffee Break
    11:00-12:30: Session 2
    • 11:00-11:45: Carlo Alberto Furia:
      Assertions Considered Helpful: from Tests to Functional Correctness Proofs
    • 11:45-12:30: Magnus Myreen:
      Making Functional Correctness Scale
    12:30-14:00: Lunch break
    14:00-15:00: Session 3
    15:00-15:30: Coffee Break

List of Speakers: