The LSS will run lectures/classes from 09:00 to around 16:30 each day. In addition to the lecture following lecture timetable, there are some social events planned.
All times are Canberra time (AEDT, UTC +11), and lectures will be at the Psychology G6 lecture theatre (building 38).
Week 1 (5–9 December)
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 08:50 | Opening | ||||
| 09:00 - 10:00 |
Fundamentals of Metalogic (Michael Norrish) |
Modal Logic (Jim de Groot) |
|||
| 10:20 - 11:20 | |||||
| 11:40 - 12:40 |
Computability and Incompleteness (John Slaney) |
||||
| BREAK | |||||
| 14:00 - 15:00 |
Fundamentals of Metalogic (Michael Norrish) |
Logic for Verification (Nisansala Yatapanage) |
|||
| 15:20 - 16:20 | |||||
Week 2 (12–16 December)
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 09:00 - 10:00 |
Modelling and analysis of information security using probabilistic programming (Annabelle McIver) |
||||
| 10:20 - 11:20 |
Interactive Theorem Provers and Cryptography (Thomas Haines) |
||||
| 11:40 - 12:40 |
Propositions and Types, Proofs and Programs (Ranald Clouston) |
||||
| BREAK | |||||
| 14:00 - 15:00 |
Category Theory and Categorical Logic (Dirk Pattinson) |
Category Theory and Categorical Logic (Dirk Pattinson) |
Sequent Calculi: Positive and Negative Results (Rosalie Iemhoff) |
||
| 15:20 - 16:20 |
Sequent Calculi: Positive and Negative Results (Rosalie Iemhoff) |
||||