TIMETABLE
All times are Canberra time (AEDT, UTC +11).
Lectures will be held at Robertson lecture theatre, R.N. Robertson building. (The location to find the building can be found https://studentvip.com.au/anu/main/maps/144767)
Week 1 (4-8) December
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 08:50 | Opening | ||||
| 09:00 - 10:00 |
Fundamentals of Metalogic John Slaney |
Modal Logic Jim de Groot |
|||
| 10:20 - 11:20 | |||||
| 11:40 - 12:40 |
Computability and Incompleteness (Michael Norrish) |
||||
| BREAK | |||||
| 14:00 - 15:00 |
Fundamentals of Metalogic John Slaney |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
| 15:20 - 16:20 | |||||
Week 2 (11-15) December)
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 09:00 - 10:00 |
Logics of Vagueness and Indeterminacy
Nick Smith |
||||
| 10:20 - 11:20 |
Proof Theory of Temporal Logic
Bahareh Afshari |
||||
| 11:40 - 12:40 |
Foundations for Type-Driven Probabilistic Modelling Ohad Kammar |
||||
| BREAK | |||||
| 14:00 - 15:00 |
Gödel’s Theorem Without Tears
Dominik Kirst |
||||
| 15:20 - 16:20 |
Complexity Theory of Interactive Proof Systems
Thomas Haines |
||||