[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