Sunday July 28th

All sessions
See also the by-slot program


CAVCADECASCCLPSENLULP

08:30-16:00 in Aud. 4
CASC Live competition updates

08:45-10:30 in Aud. 1
CAV #5: Symbolic Model Checking I

09:00-10:30 in Aud. 3
CADE #5: SAT

09:00-09:30 in Aud. 10
NLULP Welcome

09:30-10:30 in Aud. 10
NLULP #1: Invited talk

R E F R E S H M E N T S

R E F R E S H M E N T S

11:00-12:30 in Aud. 1
CAV #6: Abstraction and Refinement

11:00-12:30 in Aud. 3
CADE #6: Model generation

11:00-12:30 in Aud. 10
NLULP #2: Formalisms

11:30-12:30 in Aud. 8
CLPSE #1: Invited Talk

L U N C H

L U N C H

14:00-15:30 in Aud. 1
CAV #7: Compositional Verification I

14:00-15:30 in Aud. 3
CADE #7 (w. invited talk)

14:00-15:30 in Aud. 8
CLPSE #2: Software Components

14:00-15:30 in Aud. 10
NLULP #3: Semantics

R E F R E S H M E N T S

R E F R E S H M E N T S

16:00-17:30 in Aud. 1
CAV #8: Timing Analysis

16:00-17:00 in Aud. 3
CADE #8: CASC (system descriptions)

16:00-17:30 in Aud. 8
CLPSE #3: Software Design and Analysis

16:00-16:30 in Aud. 10
NLULP #4: Interpretation as deduction

16:30-17:30 in Aud. 10
NLULP #5: Panel: the future of NLP and LP

17:00-18:00 in Aud. 3
CADE Herbrand award (w. acceptance speech)

18:00-18:30 in Aud. 3
CADE CASC (continued)

19:30-22:00 in Restaurant Luftkastellet
CADE Conference dinner

20:00-22:00 in Restaurant TBA
NLULP NLULP Dinner