ANU Logic Summer School
There will be a Logic Summer School at ANU December 5-16. I will be co-teaching Introduction to Proof Theory with Agata Ciabattoni (Technische Universität Wien) in the second week. For my portion of the course, I will present a slightly condensed version of the material that Greg and I presented at NASSLLI. Agata will present additional material on sequent and hypersequent systems for non-classical logics. Should be fun!