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

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
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods (abstract)
11:15
Introducing a Sound Deductive Compilation Approach (abstract)
11:45
Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system? (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
A Theorem Prover Backed Approach to Array Abstraction (abstract)
15:00
ALICe: A Framework to Improve Affine Loop Invariant Computation (abstract)
15:30
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
Towards Evaluating the Usability of Interactive Theorem Provers (abstract)
17:00
Combined Reasoning with Sets and Aggregation Functions (abstract)
17:30
Tableau Development for a Bi-Intuitionistic Tense Logic (abstract)