VSL 2014: VIENNA SUMMER OF LOGIC 2014
ADDCT PROGRAM
Friday, July 18th, 2014

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

10:15-10:45Coffee Break
10:45-12:00 Session 90BD: Invited talk
Location: FH, Zeichensaal 1
10:45
Nicolas Peltier
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic (abstract)
12:00-13:00 Session 94F: Satisfiability Modulo Theories and Applications
Location: FH, Zeichensaal 1
12:00
Paula Chocron, Pascal Fontaine and Christophe Ringeissen
Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions (abstract)
12:30
Zvonimir Pavlinovic, Tim King and Thomas Wies
Finding Minimum Type Error Sources (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96BC: Dynamic and Modal Logic
Location: FH, Zeichensaal 1
14:30
Joseph Boudou and Philippe Balbiani
Decidability of Iteration-free PDL with Parallel Composition (abstract)
15:00
Renate A. Schmidt, John Stell and David Rydeheard
Axiomatic and Tableau-Based Reasoning for Kt(H,R) (abstract)
15:30
Domenico Cantone, Joanna Golinska-Pilarek and Marianna Nicolosi-Asmundo
On dual tableau-based decision procedures for relational fragments (abstract)
16:00-16:30Coffee Break