VSL 2014: VIENNA SUMMER OF LOGIC 2014
VERIFY PROGRAM
Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 159F: Invited Talk and Contributed Talk (joint with ARW-DT and WING)
Location: FH, Hörsaal 3
08:45
Carsten Schürmann
Chasing the Perfect Specification (abstract)
09:45
Peter Schmitt and Mattias Ulbrich
Typed First-Order Logic (abstract)
10:15-10:45Coffee Break
10:45-12:15 Session 166L: Contributed Talks (joint with ARW-DT and WING)
Location: FH, Hörsaal 3
10:45
Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten and Thomas Meumann
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods (abstract)
11:15
Ran Ji and Reiner Hähnle
Introducing a Sound Deductive Compilation Approach (abstract)
11:45
Benja Fallenstein and Nate Soares
Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system? (abstract)
12:15-13:15 Session 171B: Verification: Contributed Talks (joint with ARW-DT and WING)
Location: FH, Hörsaal 3
12:15
Marco B. Caminati, Manfred Kerber, Christoph Lange and Colin Rowat
Reasoning about Auctions (abstract)
12:45
Dennis Felsing, Sarah Grebing, Vladimir Klebanov and Mattias Ulbrich
Automating Regression Verification (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break
Thursday, July 24th, 2014
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break