[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues, after last year's online edition of the logic summer school, it is our greatest pleasure to announce that we organise The Logic Summer School @ ANU 5-16 December 2022 as an in-person event Programme and registration form at https://urldefense.com/v3/__http://lss.cecs.anu.edu.au__;!!IBzWLUs!XI6JHNHwsuHTghUFg-PRklcn4O_2ejcVTEBO-mwkkgqO9XRPNKLzXNBavYcPXlNw5lElX0jTuzZ9aFDJyLR24zJRSg4JtyUh9SqpnEgHig$ <https://urldefense.com/v3/__https://aus01.safelinks.protection.outlook.com/?url=http*3A*2F*2Flss.cecs.anu.edu.au*2F&data=05*7C01*7Cu4762643*40UDS.anu.edu.au*7Ce2c7a1a1fd7546c7c7f908dac398e9de*7Ce37d725cab5c46249ae5f0533e486437*7C0*7C0*7C638037358774798778*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=3zUpiIkUgmq6qPofn9SIIouyrvaS1imzc7l8Fs8l*2FCQ*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!XI6JHNHwsuHTghUFg-PRklcn4O_2ejcVTEBO-mwkkgqO9XRPNKLzXNBavYcPXlNw5lElX0jTuzZ9aFDJyLR24zJRSg4JtyUh9SrjYTe0rg$ > with registration opening later today. Everybody is most welcome. Please consider to attend yourself, and please spread the word to your undergrads, your PhD students,your PostDocs, and your colleagues! Yours with best wishes, Peter Hoefner, Dirk Pattinson Organisers, ANU Logic Summer School