ANU Logic Summer School 2026 [loc-004Z]

The ANU Logic Summer School is back again this year, and I will once again teach my ITP course. The timetable is not yet finalised, but I will likely not have to teach it all over two days as I did last year, which is a relief. It will likely run in the early days of December.

If you or your students have an interest in logic or verification, please consider sending your students! We also have some limited scholarships available.