VSL 2014: VIENNA SUMMER OF LOGIC 2014

IJCAR ON TUESDAY, JULY 22ND: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
10:45-11:05
Monadic Decomposition
Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, Sergey Bereg
11:05-11:25
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters
11:25-11:45
Bit-Vector Rewriting with Automatic Rule Generation
Alexander Nadel
11:45-12:05
A Tale of Two Solver: Eager and Lazy Approaches to Bit-vectors
Liana Hadarean, Clark Barrett, Dejan Jovanović, Cesare Tinelli, Kshitij Bansal
12:05-12:25
AVATAR: The New Architecture for First-Order Theorem Provers
Andrei Voronkov
12:25-12:45
Automating Separation Logic with Trees and Data
Ruzica Piskac, Thomas Wies, Damien Zufferey
12:45-12:55
A Nonlinear Real Arithmetic Fragment
Ashish Tiwari, Patrick Lincoln
12:55-13:05
Yices 2.2
Bruno Dutertre
10:45-11:05
Monadic Decomposition
Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, Sergey Bereg
11:05-11:25
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters
11:25-11:45
Bit-Vector Rewriting with Automatic Rule Generation
Alexander Nadel
11:45-12:05
A Tale of Two Solver: Eager and Lazy Approaches to Bit-vectors
Liana Hadarean, Clark Barrett, Dejan Jovanović, Cesare Tinelli, Kshitij Bansal
12:05-12:25
AVATAR: The New Architecture for First-Order Theorem Provers
Andrei Voronkov
12:25-12:45
Automating Separation Logic with Trees and Data
Ruzica Piskac, Thomas Wies, Damien Zufferey
12:45-12:55
A Nonlinear Real Arithmetic Fragment
Ashish Tiwari, Patrick Lincoln
12:55-13:05
Yices 2.2
Bruno Dutertre
10:45-11:45
Structured Search and Learning
Kenneth McMillan
11:45-12:15
The Complexity of Theorem Proving in Circumscription and Minimal Entailment
Olaf Beyersdorff, Leroy Chew
12:15-12:45
Visibly Linear Temporal Logic
Laura Bozzelli, Cesar Sanchez
14:30-15:00
Count and Forget: Uniform Interpolation of SHQ-Ontologies
Patrick Koopmann, Renate A. Schmidt
15:00-15:30
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
15:30-16:00
EL-ifying Ontologies
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
16:30-17:00
The Bayesian Description Logic BEL
İsmail İlkan Ceylan, Rafael Peñaloza
17:00-17:30
Otter proofs of theorems in Tarskian geometry
Michael Beeson, Larry Wos
17:30-17:50
NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics
Nicola Olivetti, Gian Luca Pozzato
17:50-18:10
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0
Adam Pease, Stephan Schulz
08:45-09:45
VSL Keynote Talk: Verification of Computer Systems with Model Checking
Edmund Clarke
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program