Sunday, 10th August | ||||
AM | T2: Galois tutorial | T3: SMT tutorial | WS3: CEDAR workshop | WS2: PAAR workshop |
PM | T4: COALA tutorial | WS1: VERIFY workshop | WS3: CEDAR workshop | WS2: PAAR workshop |
Monday, 11th August | ||||
AM | T1: Isabelle tutorial | WS1: VERIFY workshop | WS4: CFV workshop | WS2: PAAR workshop |
PM | T1: Isabelle tutorial | WS1: VERIFY workshop | WS4: CFV workshop | WS2: PAAR workshop |
PPM | Reception | |||
Tuesday, 12th August | ||||
AAM | Conference opening | |||
AM | Invited talk and Papers | |||
PM | Papers | |||
PPM | TABLEAUX business meeting | CASC dinner | ||
Wesnesday, 13th August | ||||
AM | Invited talk and Papers and Herbrand Award | CASC | ||
PM | Papers | |||
PPM | IJCAR and CADE business meetings | |||
PPM | CASQ-J4 | |||
Thursday, 14th August | ||||
AM | Invited talk and Papers | TPTP Tea Party | ||
PM | Excursion | |||
PPM | Banquet | |||
Friday, 15th August | ||||
AM | Invited talk and Papers | |||
PM | Papers |