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
bars search times arrow-up