Timetable

Below is a tentative timetable, which will be finalised in the coming days.

The timetable is in Canberra time (AEDT, UTC +11).

Week 1 (6 - 10 December)

Mon Tue Wed Thu Fri
09:00 - 10:00 Fundamentals of Metalogic
(John Slaney)
TBA
(Peter Höfner)
10:20 - 11:20
11:40 - 12:40 Computability and Incompleteness
(Michael Norrish)
BREAK
14:00 - 15:00 Fundamentals of Metalogic
(John Slaney)
Modelling Concurrent Systems
(Robert J. van Glabbeek)
15:20 - 16:20

Week 2 (13 - 17 December)

Mon Tue Wed Thu Fri
09:00 - 10:00 Software Verification with Whiley: the Complete Guide
(David J. Pearce)
10:20 - 11:20 Information flow security for concurrent code
(Kirsten Winter)
11:40 - 12:40 Constructive Logic and Realisability
(Dirk Pattinson)
BREAK
14:00 - 15:00 Interactive Theorem Provers and Cryptography
(Thomas Haines)
15:20 - 16:20 Introduction to Homotopy Type Theory and Univalent Foundations of Mathematics
(Taichi Uemura)
BREAK
16:45 - 17:15 Panel Discussion

Updated:    24 Nov 2021 / Responsible Officer:    Director, School of Computing / Page Contact:    Peter Höfner