Overview Schedule
A more detailed conference schedule can be found here.
Aug 2, Sunday (Workshop Day 1)
09:00 - 10:00 | Workshops: LFMTP, SMT, ADDCT+UNIF |
Tutorial 1: Probabilistic Analysis Using a Theorem Prover |
SMT-COMP |
10:00 - 10:30 | Coffee Break | ||
10:30 - 12:30 | Workshops: LFMTP, SMT, ADDCT+UNIF |
Tutorial 1: Probabilistic Analysis Using a Theorem Prover |
SMT-COMP |
12:30 - 14:00 | Catered Lunch | ||
14:00 - 15:30 | Workshops: LFMTP, SMT, ADDCT+UNIF |
Tutorial 2: Logics with Undefinedness |
SMT-COMP |
15:30 - 16:00 | Coffee Break | ||
16:00 - 18:00 | Workshops: LFMTP, SMT, ADDCT+UNIF |
Tutorial 2: Logics with Undefinedness |
SMT-COMP |
Aug 3, Monday (Workshop Day 2)
09:00 - 10:00 | Workshops: MLPA, SMT, PSTT |
Tutorial 3:
Precise, Auto- mated and Scalable Verifi- cation using SMT Solvers |
SMT-COMP |
10:00 - 10:30 | Coffee Break | ||
10:30 - 12:30 | Workshops: MLPA, SMT, PSTT |
Tutorial 3:
Precise, Auto- mated and Scalable Verif- ication using SMT Solvers |
SMT-COMP |
12:30 - 14:00 | Catered Lunch | ||
14:00 - 15:30 | Workshops: MLPA, SMT, PSTT |
Tutorial 4: Hierarchical and Modular Reasoning in Complex Theories | SMT-COMP TPTP Tea party |
15:30 - 16:00 | Coffee Break | ||
16:00 - 18:00 | Workshops: MLPA, SMT, PSTT |
Tutorial 4: Hierarchical and Modular Reasoning in Complex Theories | SMT-COMP TPTP Tea party |
18:30 - 20:30 | Reception at McCord Museum |
Aug 4, Tuesday (Conference Day 1)
08:55 - 09:00 | CADE Welcome | ||
09:00 - 10:00 | Invited Talk | SMT-COMP | |
10:00 - 10:30 | Coffee Break | ||
10:30 - 12:30 | Accepted papers | SMT-COMP | |
12:30 - 14:00 | Catered Lunch | ||
14:00 - 15:30 | Accepted papers | SMT-COMP | |
15:30 - 16:00 | Coffee Break | ||
16:00 - 18:00 | Accepted papers | SMT-COMP | |
18:00 - 19:00 | CADE Business meeting | ||
19:00 - end | CASC dinner |
Aug 5. Wednesday (Conference Day 2)
09:00 - 10:00 | Invited Talk | SMT-COMP | |
10:00 - 10:30 | Coffee Break | CASC starts | |
10:30 - 12:30 | Accepted papers | CASC, SMT-COMP | |
12:30 - 14:00 | Catered Lunch | ||
14:00 - 15:30 | Accepted papers | CASC, SMT-COMP | |
15:30 - 16:00 | Coffee Break | ||
16:00 - 17:00 | Accepted papers | CASC ends, SMT-COMP | |
17:00 - 18:00 | Herbrand award | ||
19:00 - end | Squash competition |
Aug 6, Thursday (Conference Day 3)
09:00 - 10:00 | Invited Talk | SMT-COMP | |
10:00 - 10:30 | Coffee Break | ||
10:30 - 12:30 | Accepted papers | SMT-COMP | |
12:30 - 14:00 | Catered Lunch | ||
14:45 - 17:30 | Excursion | ||
19:30 - end | Banquet at Pointe-à-Callière at the Old Port. |
Aug 7, Friday (Conference Day 4)
09:00 - 10:00 | Accepted papers |
10:00 - 10:30 | Coffee Break |
10:30 - 12:30 | Accepted papers and CASC/SMT-COMP results |
12:30 - 14:00 | Catered Lunch |
14:00 - 15:30 | Accepted papers |
15:30 - 16:00 | Coffe Break |
16:00 | End |