Welcome to the Logic Summer School @ANU! This year’s summer school will run from:
Monday 4 December – Friday 15 December, 2023
Registrations are now open.
Details of the speakers for this year are available on the lectures page.
Presented by
School of Computing
College of Engineering, Computing and Cybernetics
The Australian National University
Organised by
Pramo Samarasinghe
Ian Shillito
Jim de Groot
Dirk Pattinson
The Logic Summer School is not a formal ANU qualification.
Contact
lss.comp.cecs@anu.edu.au