ICLP ON TUESDAY, JULY 22ND: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview side 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:30

Test of Time Awards: 20 Years - CLP(Intervals) Revisited

Pascal Van Hentenryck

11:30-12:00

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

12:00-12:30

Using Tabled Logic Programming to Solve the Petrobras Planning Problem

Roman Bartak, Neng-Fa Zhou

12:30-13:00

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Vivek Nigam, Carlos Olarte, Elaine Pimentel

14:30-15:30

(Quantified) Horn Constraint Solving for Program Verification and Synthesis

Andrey Rybalchenko

15:30-16:00

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

Alejandro Serrano, Pedro Lopez-Garcia, Manuel V. Hermenegildo

16:30-17:00

Dynamic Consistency Checking in Goal-Directed Answer Set Programming

Kyle Marple, Gopal Gupta

17:00-17:30

Anytime Computation of Cautious Consequences in Answer Set Programming

Mario Alviano, Carmine Dodaro, Francesco Ricca

17:30-18:00

Efficient Computation of the Well-Founded Semantics over Big Data

Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber

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