Anulss

I’m looking forward to being a lecturer at the ANU Logic Summer School in December this year! An abstract for my course is now available on the website, and registration is open.