Skip navigation
The Australian National University

Timetable (tentative)

Week 1 (3 - 7 December 2018)

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)


Introduction to Proof Theory
(Anupam Das)
1530 - 1630
Tea/coffee breaks at 10:00 and 15:00 each day. Lunch break 12:30 to 14:00.

Week 2 (10-14 December 2018)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000
Constructive Logic and Realisability
(Dirk Pattinson)
1020 - 1120
Overview of Automated Reasoning
(Peter Baumgartner)
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)


TBA
(John Slaney)


TBA
(TBA)


TBA
(TBA)
Tea/coffee breaks at 10:00 and 15:00 each day. Lunch break 12:30 to 14:00

Updated:  27 November 2018 / 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