Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation

July 17-18, 2014   ·   Vienna, Austria

Invited Speakers


Bruno Buchberger (Johannes Kepler University, Austria)
Hoon Hong (North Carolina State University, USA)
Michaël Rusinowitch (LORIA-INRIA-Lorraine, France)
Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)