VSL 2014: VIENNA SUMMER OF LOGIC 2014
WING 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 VERIFY)
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 VERIFY)
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 VERIFY)
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
14:30-16:00 Session 172J: Contributed Talks (joint with ARW-DT)
Location: FH, Hörsaal 3
14:30
Nathan Wasser and Richard Bubel
A Theorem Prover Backed Approach to Array Abstraction (abstract)
15:00
Vivien Maisonneuve, Olivier Hermant and François Irigoin
ALICe: A Framework to Improve Affine Loop Invariant Computation (abstract)
15:30
Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser and Andreas Zeller
Loop Invariants by Mutation, Dynamic Validation, and Static Checking (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 175I: Evaluation, Sets, Tableaux (joint with ARW-DT)
Location: FH, Hörsaal 3
16:30
Sarah Grebing, Bernhard Beckert and Florian Böhl
Towards Evaluating the Usability of Interactive Theorem Provers (abstract)
17:00
Markus Bender
Combined Reasoning with Sets and Aggregation Functions (abstract)
17:30
John Stell, Renate A. Schmidt and David Rydeheard
Tableau Development for a Bi-Intuitionistic Tense Logic (abstract)