|
CAV
|
ICLP
|
IJCAR
|
SMT-COMP
|
| |
09:00‑10:00 (Grand Ballroom C)
Joe Stoy
Verification? Getting it Right the First Time [ppt]
|
09:00‑09:30 (Grand Ballroom A)
Chitta Baral, Saadat Anwar, Juraj Dzifcak and Hiro Takahashi
Macros, macro calls and use of ensembles in modular Answer Set Programming
|
09:00‑10:00 (Grand Ballroom B)
Dale Miller
Representing and Reasoning With Operational Semantics [pdf]
|
|
09:30‑10:00 (Grand Ballroom A)
C.R. Ramakrishnan, IV Ramakrishnan
and David Warren
Deductive Spreadsheets using Tabled Logic Programming
|
10:00‑10:30
Break |
10:30‑11:00 (Grand Ballroom C)
Shuvendu Lahiri
, Robert Nieuwenhuis
and Albert Oliveras
SMT Techniques for Predicate Abstraction
|
10:30‑11:00 (Grand Ballroom A)
Luis Quintano
and Irene Rodrigues
Using a Logic Programming framework to Control Database Query Dialogues in Natural Language
|
10:30‑11:30 (Willow A)
Session 12: CASC Results |
10:30‑11:00 (Grand Ballroom B)
Maria Paola Bonacina, Silvio Ghilardi
, Enrica Nicolini, Silvio Ranise
and Daniele Zucchelli
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures
|
|
11:00‑11:30 (Grand Ballroom C)
Bernard Boigelot
and Frédéric Herbreteau
The Power of Hybrid Acceleration
|
11:00‑11:05 (Grand Ballroom A)
Rafael Caballero
, Mario Rodriguez Artalejo
and Rafael del Vado Virseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
|
11:00‑11:30 (Grand Ballroom B)
Amine Chaieb
Verifying mixed real-integer quantifier elimination
|
11:05‑11:10 (Grand Ballroom A)
Thi-Bich-Hanh Dao
and Khalil Djelloul
Solving First-Order Constraints in the Theory of the Evaluated Trees
|
11:10‑11:15 (Grand Ballroom A)
Hai-Feng Guo
, Miao Liu and Bharat Jayaraman
Relaxation on Optimization Predicates
|
11:15‑11:20 (Grand Ballroom A)
Ricardo Rocha
Handling Incomplete and Complete Tables in Tabled Logic Programs
|
11:20‑11:25 (Grand Ballroom A)
Cláudio Silva, Ricardo Rocha
and Ricardo Lopes
An External Module For Implementing Linear Tabling in Prolog
|
11:25‑11:30 (Grand Ballroom A)
Edison Mera
, Pedro Lopez-Garcia
, German Puebla
, Manuel Carro
and Manuel Hermenegildo
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
|
11:30‑12:00 (Grand Ballroom C)
Denis Gopan and Thomas Reps
Lookahead Widening
|
11:30‑11:35 (Grand Ballroom A)
Quan Phan
and Gerda Janssens
Towards Region-based Memory Management for Deterministic Mercury Programs (Extended Abstract)
|
11:30‑12:00 (Grand Ballroom B)
Stephane Demri
and Denis Lugiez
Presburger Modal Logic is Only PSPACE-complete
|
11:35‑11:40 (Grand Ballroom A)
Salvador Abreu
and Vitor Nogueira
Towards Structured Contexts and Modules
|
11:40‑11:45 (Grand Ballroom A)
Vitor Nogueira
and Salvador Abreu
TowardsTemporal Contextual Logic Programming
|
11:45‑11:50 (Grand Ballroom A)
Veronica Dahl and Baohua Gu
Semantic Property Grammars for Knowledge Extraction from Biomedical Text
|
11:50‑11:55 (Grand Ballroom A)
Juan Fernández Ortiz and Jørgen Villadsen
Natural Language Processing Using Lexical and Logical Combinators
|
11:55‑12:00 (Grand Ballroom A)
Dulce Aguilar-Solis
Learning Semantic Parsers: a Constraint Handling Rule Approach
|
12:00‑12:15 (Grand Ballroom C)
Kenneth Roe
The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover
|
12:00‑12:05 (Grand Ballroom A)
Hugo Lopez
, Catuscia Palamidessi
, Jorge A. Perez
, Camilo Rueda and Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming
|
12:00‑12:30 (Grand Ballroom B)
Florent Jacquemard, Michael Rusinowitch and Laurent Vigneron
Tree automata with equality constraints modulo equational theories
|
12:05‑12:10 (Grand Ballroom A)
Andrei Mantsivoda, Anton Malykh and Vladimir Lipovchenko
Logic programming in Knowledge Domains
|
12:10‑12:15 (Grand Ballroom A)
Paulo Jorge Lopes de Moura
and Vincent Marchetti
Logtalk processing of STEP Part 21 files
|
12:15‑12:30 (Grand Ballroom C)
Abhay Vardhan and Mahesh Viswanathan
LEVER: A tool for Learning Based Verification
|
12:15‑12:20 (Grand Ballroom A)
Edna Ruckhaus
, Vladimir Kolovski, Bijan Parsia
and Bernardo Cuenca-Grau
Integrating Datalog with OWL: Exploring the AL-log Approach
|
12:20‑12:25 (Grand Ballroom A)
Kazunori Ueda
, Norio Kato, Koji Hara and Ken Mizuno
LMNtal as a Unifying Declarative Language
|
| |
12:30‑14:00
Lunch break |
14:00‑14:30 (Grand Ballroom C)
Robert Colvin, Lindsay Groves, Victor Luchangco and Mark Moir
Formal Verification of a Lazy Concurrent List-Based Set
|
14:00‑15:30 (Aspen)
Poster Session |
14:00‑14:30 (Grand Ballroom B)
Daniel Dougherty
, Kathi Fisler and Shriram Krishnamurthi
Specifying and Reasoning about Dynamic Access-Control Policies
|
|
14:30‑15:00 (Grand Ballroom C)
Sebastian Burckhardt
, Rajeev Alur
and Milo M.K. Martin
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
|
14:30‑15:00 (Grand Ballroom B)
David Toman and Grant Weddell
On Keys and Functional Dependencies as First-class Citizens in Description Logics
|
15:00‑15:30 (Grand Ballroom C)
Amitabha Roy, Chuck Fleckenstein, Stephan Zeisset and John Huang
Fast and Generalized Polynomial Time Memory Consistency Verification
|
15:00‑15:30 (Grand Ballroom B)
Yevgeny Kazakov
and Boris Motik
A Resolution-Based Decision Procedure for SHOIQ
|
15:30‑16:00
Break |
16:00‑16:30 (Grand Ballroom C)
Radu Iosif
, Marius Bozga, Ahmed Bouajjani, Peter Habermehl, Pierre Moro and Tomas Vojnar
Programs with Lists are Counter Automata
|
|
16:00‑16:30 (Grand Ballroom B)
Joerg Endrullis
, Johannes Waldmann
and Hans Zantema
Matrix Interpretations for Proving Termination of Term Rewriting
|
|
16:30‑17:00 (Grand Ballroom C)
Dirk Beyer
, Tom Henzinger and Grégory Théoduloz
Lazy Shape Analysis
|
16:30‑17:00 (Grand Ballroom B)
Alexander Krauss
Partial Recursive Functions in Higher-Order Logic
|
17:00‑17:30 (Grand Ballroom C)
Tal Lev-Ami
, Neil Immerman and Mooly Sagiv
Abstraction for Shape Analysis with Fast and Precise Transformers
|
17:00‑17:30 (Grand Ballroom B)
Benjamin Werner
On the strength of proof-irrelevant type theories
|
17:30‑17:45 (Grand Ballroom C)
SMT-COMP report |
17:30‑18:00 (Grand Ballroom B)
Daria Walukiewicz-Chrząszcz
and Jacek Chrząszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions
|
| |
| |
19:00‑21:00 (Richmond (4th floor))
SMT-COMP discussion |
