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 |
