Skip navigation
The Australian National University

Timetable (tentative)

Week 1 (4 - 8 December 2017)

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 (11-15 December 2017)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000
Deep Inference (Alwen Tiu)
1020 - 1120
Proof Complexity (Olaf Beyersdorff)
1130 - 1230
Modal Reasoning through Resolution (Cláudia Nalon)
1400 - 1500
Deviant Logic (John Slaney)
1530 - 1630
SEMINARS BY SUMMER SCHOOL PRESENTERS (TBA)
Tea/coffee breaks at 10:00 and 15:00 each day. Lunch break 12:30 to 14:00

Updated:  30 November 2017 / 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