Skip navigation
The Australian National University

Timetable (tentative)

Week 1 (5 - 9 December 2015)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000

Fundamentals of Metalogic
(John Slaney)

Introduction to
Modal Logic
(Raj Gore)

Automated
Reasoning
(Peter Baumgartner)

FM Theory
(Qing Wang)
1020 - 1120
Introduction to
Modal Logic
(Raj Gore)
1130 - 1230
Finite Model Theory (Qing Wang)
1400 - 1500
Logic in Artificial Intelligence (John Slaney)
1520 - 1620

Fundamentals of Metalogic
(John Slaney)


Outline of Automated Reasoning
(Peter Baumgartner)

Introduction to
Modal Logic
(Raj Gore)
1630 - 1730
Tea/coffee breaks at 10:00 and 15:00 each day

Week 2 (12-16 December 2015)

Monday Tuesday Wednesday Thursday Friday
0900 - 1000

Axiomatic object theory
(Ed Zalta)
1020 - 1120
1130 - 1230
SEMINARS BY SUMMER SCHOOL PRESENTERS (TBA)
1400 - 1500
Computability and Incompleteness (Michael Norrish)
1520 - 1620

Non-classical proof theory
(Agata Ciabattoni and Shawn Standefer)


Free
1630 - 1730
Tea/coffee breaks at 10:00 and 15:00 each day

Updated:  11 December 2016 / 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