Skip navigation
The Australian National University

Timetable (tentative)

Week 1 (2 - 6 December 2019)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000

Fundamentals of Metalogic
(John Slaney)


Introduction to Modal Logic
(Raj Gore)
1020 - 1120
1130 - 1230
Computability and Incompleteness (Michael Norrish)
1400 - 1500

Fundamentals of Metalogic
(John Slaney)


Overview of Automated Reasoning
(Peter Baumgartner)
1530 - 1630
Tea/coffee breaks at 10:00 and 15:00 each day. Lunch break 12:30 to 14:00.

Week 2 (9-13 December 2019)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000
Milestones in Descriptive Complexity Theory
(Sasha Rubin)
1020 - 1120
Verified Verifiers for Verifying Elections
(Thomas Haines)
1130 - 1230
Tableaux metatheory for propositional and syllogistic logics
(Tomasz Jarmu┼╝ek)
1400 - 1500
Deviant Logic
(John Slaney)
1530 - 1630
SEMINARS BY SUMMER SCHOOL PRESENTERS (TBA)
Infinite Objects and Guarded Recursion
(Ranald Clouston)
Formalising Sahlqvists's Theorem in Coq
(Caitlin D'Abrera)
Duality: a fundamental feature of optimisation
(John Slaney)
TBA
(TBA)
Tea/coffee breaks at 10:00 and 15:00 each day. Lunch break 12:30 to 14:00

Updated:  19 November 2019 / Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4