Welcome to the 33rd Annual Logic Summer School @ANU! This year’s summer school will run from:
Monday 1 December – Friday 12 December, 2025
Details of the speakers for this year are available on the lectures page.

Sponsors
We are thrilled to announce that Jane Street, Defence Science and Technology Group (DSTG), Google, and the ANU School of Computing are proudly sponsoring this year’s Logic Summer School! Their generous support helps us offer an exceptional program and experience for all our participants.
Presented by
School of Computing
College of Systems and Society
The Australian National University
Organised by
Ranald Clouston
Michael Norrish
Peter Hoefner
The Logic Summer School does not offer formal ANU qualifications.
Contact
lss.comp@anu.edu.au