TIMETABLE
Details for 2025 to be announced. To give you some idea of what activities a Logic Summer School might involve, we present the 2024 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 Dirk Pattinson |
Fundamentals of Metalogic |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
| 10:20 - 11:20 |
Fundamentals of Metalogic Dirk Pattinson |
Fundamentals of Metalogic |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
| 11:40 - 12:40 |
Computability and Incompleteness Michael Norrish |
|||||
| BREAK | ||||||
| 14:00 - 15:00 |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
Propositions and Types, Proofs and Programs Ranald Clouston |
|||
| 15:20 - 16:20 |
Formalizing and Reasoning About Programming Languages Fabian Muehlboeck |
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 |
||||