VSL 2014: VIENNA SUMMER OF LOGIC 2014
IJCAR PROGRAM

Days: Saturday, July 19th Sunday, July 20th Monday, July 21st Tuesday, July 22nd

Tuesday, July 15th

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

08:45-10:15 Session 44: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: From Reachability to Temporal Specifications in Game Theory (abstract)
Thursday, July 17th

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

08:45-10:15 Session 62A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? (abstract)
Friday, July 18th

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

09:00-18:00 Session 87E: FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (joint with 9 other meetings)
Location: FH, 2nd floor
09:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014) (abstract)
Saturday, July 19th

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

08:45-10:15 Session 106A: FLoC Panel (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Panel: Computational Complexity and Logic: Theory vs. Experiments (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 109C: Invited Talk & Higher-Order Logic
Location: FH, Hörsaal 5
10:45
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL (abstract)
11:45
Unified Classical Logic Completeness: A Coinductive Pearl (abstract)
12:15
A Focused Sequent Calculus for Higher-Order Logic (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 113C: FLoC Inter-Conference Topic: SAT/SMT/QBF (joint with CAV)
Location: FH, Hörsaal 5
14:30
SAT-based Decision Procedure for Analytic Pure Sequent Calculi (abstract)
15:00
A Unified Proof System for QBF Preprocessing (abstract)
15:30
The Fractal Dimension of SAT Formulas (abstract)
16:00-16:30Coffee Break
16:30-17:00 Session 116C: FLoC Inter-Conference Topic: SAT/SMT/QBF (joint with CAV)
Location: FH, Hörsaal 5
16:30
A Gentle Non-Disjoint Combination of Satisfiability Procedures (abstract)
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th

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

08:45-10:15 Session 123: FLoC Plenary Talk (joint with 9 other meetings)
Location: FH, Hörsaal 1
08:45
FLoC Plenary Talk: Electronic voting: how logic can help? (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 127E: Equational Reasoning
Location: FH, Hörsaal 5
10:45
A Rewriting Strategy to Generate Prime Implicates in Equational Logic (abstract)
11:15
Finite Quantification in Hierarchic Theorem Proving (abstract)
11:45
Computing All Implied Equalities via SMT-based Partition Refinement (abstract)
12:15
Proving Termination of Programs Automatically with AProVE (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 129E: Verification
Location: FH, Hörsaal 5
14:30
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (abstract)
15:00
Proving Termination and Memory Safety for Programs with Pointer Arithmetic (abstract)
15:30
QBF Encoding of Temporal Properties and QBF-Based Verification (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 130E: Proof Theory
Location: FH, Hörsaal 5
16:30
Introducing quantified cuts in logic with equality (abstract)
17:00
Quati: An Automated Tool for Proving Permutation Lemmas (abstract)
17:20
A History-Based Theorem Prover for Intuitionistic Propositional Logic using Global Caching: IntHistGC System Description (abstract)
17:40
MleanCoP: A Connection Prover for First-Order Modal Logic (abstract)
Monday, July 21st

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

08:45-10:15 Session 144A: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)
10:15-10:45Coffee Break
10:45-13:05 Session 138E: Modal and Temporal Reasoning
Location: FH, Hörsaal 5
10:45
Optimal tableaux-based decision procedure for testing satisfiability in the Alternating-time temporal logic ATL+ (abstract)
11:15
dTL²: Differential Temporal Dynamic Logic with Nested Modalities for Hybrid Systems (abstract)
11:45
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (abstract)
12:15
Clausal Resolution for Modal Logics of Confluence (abstract)
12:45
Implementing Tableaux Calculi Using BDDs: BDDTab System Description (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 140E: FLoC Inter-Conference topic: SAT/SMT/QBF (joint with CAV)
Location: FH, Hörsaal 5
14:30
Approximations for Model Construction (abstract)
15:00
A Tool that Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (abstract)
15:20
StarExec: a Cross-Community Infrastructure for Logic Solving (abstract)
15:40
Skeptik [System Description] (abstract)
16:00-16:30Coffee Break
16:00-16:50 Session 142: Modal Logic
Location: FH, Hörsaal 5
16:00
Terminating Minimal Model Generation Procedures for Propositional Modal Logics (abstract)
16:30
COOL -- A Generic Satisfiability Checker For Coalgebraic Logics with Global Assumptions (System Description) (abstract)
16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Location: MB, Kuppelsaal
16:30
FLoC Olympic Games Award Ceremony 2 (abstract)
18:00
Lifetime Achievement Award (abstract)
18:10
Lifetime Achievement Award (abstract)
18:20
EMCL Distinguished Alumni Award (abstract)
18:30
FLoC Closing Week 2 (abstract)
19:00-20:00 Session 149A: VSL Public Lecture 2
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)
Tuesday, July 22nd

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

08:45-10:15 Session 156: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)
10:15-10:45Coffee Break
10:45-13:05 Session 149C: FLoC Inter-Conference Topic: SAT/SMT/QBF (joint with CAV)
Location: FH, Hörsaal 1
10:45
Monadic Decomposition (abstract)
11:05
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions (abstract)
11:25
Bit-Vector Rewriting with Automatic Rule Generation (abstract)
11:45
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-vectors (abstract)
12:05
AVATAR: The New Architecture for First-Order Theorem Provers (abstract)
12:25
Automating Separation Logic with Trees and Data (abstract)
12:45
A Nonlinear Real Arithmetic Fragment (abstract)
12:55
Yices 2.2 (abstract)
10:45-13:00 Session 149E: Invited talk & Complexity
Location: FH, Hörsaal 5
10:45
Structured Search and Learning (abstract)
11:45
The Complexity of Theorem Proving in Circumscription and Minimal Entailment (abstract)
12:15
Visibly Linear Temporal Logic (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 151E: Description Logic
Location: FH, Hörsaal 5
14:30
Count and Forget: Uniform Interpolation of SHQ-Ontologies (abstract)
15:00
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (abstract)
15:30
EL-ifying Ontologies (abstract)
16:00-16:30Coffee Break
16:30-18:10 Session 153B: Knowledge Representation & Reasoning
Location: FH, Hörsaal 5
16:30
The Bayesian Description Logic BEL (abstract)
17:00
Otter proofs of theorems in Tarskian geometry (abstract)
17:30
NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics (abstract)
17:50
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 (abstract)