33rd Annual Logic Summer School @ANU

Source: https://comp.anu.edu.au/lss/ Parent: https://www.anu.edu.au/directories/website-directory

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