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)
Location: in terms of three words ///idea.caring.trunk
Week 1 (2-6 December)
Mon | Tue | Wed | Thu | Fri | ||
08:50 | Opening | |||||
09:00 - 10:00 |
Fundamentals of Metalogic John Slaney |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
10:20 - 11:20 |
Fundamentals of Metalogic John Slaney |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
11:40 - 12:40 |
Computability and Incompleteness Michael Norrish |
|||||
BREAK | ||||||
14:00 - 15:00 |
Fundamentals of Metalogic John Slaney |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
15:20 - 16:20 |
Fundamentals of Metalogic John Slaney |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Propositions and Types, Proofs and Programs Ranald Clouston |
Week 2 (9-13) December
Mon | Tue | Wed | Thu | Fri | |
---|---|---|---|---|---|
09:00 - 10:00 |
Interpolation through the Lens of Proof Theory
Iris van der Giessen |
||||
10:20 - 11:20 |
Verification via Temporal Logic: an Introduction
Mark Reynolds |
||||
11:40 - 12:40 |
Qualitative Calculi via Relation Algebras Tomasz Kowalski |
||||
BREAK | |||||
14:00 - 15:00 |
Automatic Structures and their Logical theory
Sophie Pinchinat |
||||
15:20 - 16:20 |
Applying Logic in Software and Inefficient Computation Thomas Sewell |