[TYPES/announce] ANU Logic Summer School: Call for Participation
Dirk Pattinson
dirk.pattinson at anu.edu.au
Fri Nov 11 01:32:38 EST 2022
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221111/e1846d43/attachment-0001.htm>
More information about the Types-announce
mailing list