TIMETABLE
All times are Canberra time (AEDT, UTC +11).
Lectures will be held in Room S1 3.07 in the Science Teaching Building (136 Linnaeus Way).
Week 1 (7-11 December)
| Mon | Tue | Wed | Thu | Fri | |
| 09:20 | Opening | ||||
| 09:30 - 10:30 |
Fundamentals of Metalogic (John Slaney) |
Introduction to CTL Model Checking (Peter Höfner) |
|||
| 10:50 - 11:50 | Fundamentals of Metalogic | Introduction to CTL Model Checking | |||
| BREAK | |||||
| 13:00 - 14:00 | Fundamentals of Metalogic |
Introduction to Interactive Theorem-Proving with Isabelle (Liam O'Connor) |
|||
| 14:20 - 15:20 |
Foundations (Plural) of Mathematics (Ranald Clouston) |
Introduction to Interactive Theorem-Proving with Isabelle | |||
| 15:40 - 16:40 | Foundations (Plural) of Mathematics | Panel Discussion | |||
Week 2 (14-18) December
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 09:30 - 10:30 |
Infinite Ramsey Theory and Logic
(Natasha Dobrinen) |
||||
| 10:50 - 11:50 |
Logical Relations: From Type Soundness to Compiler Correctness and Specification of ABIs
(Amal Ahmed) |
||||
| BREAK | |||||
| 13:00 - 14:00 |
Proof Theory of Modal and Non-Classical Logics: the Method of Labelled Sequent Calculi
(Sara Negri) |
||||
| 14:20 - 15:20 |
Proofs as Part of Programming
(K. Rustan M. Leino) |
||||
| 15:40 - 16:40 |
Algorithmic Information Theory (Rod Downey) |
||||