CfP: Memorial Conference for Erik Palmgren, 7–8 May, Stockholm

[Peter LeFanu Lumsdaine]

Dear all,

A memorial conference for Erik Palmgren will take place on Thu/Fri 7–8 May 2020 (plus excursion on Sat 9), at Stockholm University: http://logic.math.su.se/palmgren-memorial/

Topics may include all Erik’s academic interests: type theory and its models, categorical logic and foundations, constructive mathematics and proof theory, nonstandard analysis, and the philosophy of constructive mathematics.

Invited speakers (confirmed):

• Douglas Bridges

• Jacopo Emmenegger

• Christian Espíndola

• Håkon Gylterud

• Hajime Ishihara

• Millie Maietti

• Ieke Moerdijk

• Peter Schuster

There is some space for contributed talks.  If you would like to speak, please send a title and abstract to <palmgren...@math.su.se> by Friday February 28.  Contributions are especially encouraged from those who knew and worked with Erik.  

Registration is free; please email <palmgren...@math.su.se> by Friday 3 April if you plan to attend.

Some travel funding is available for early-career participants.  To apply, please let us know in your registration email by Friday February 28.

The conference is organized by Erik’s students and colleagues at Stockholm University:

• Guillaume Brunerie

• Menno de Boer

• Henrik Forssell

• Peter LeFanu Lumsdaine

• Johan Lindberg

• Per Martin-Löf

• Anna Montaruli

• Anders Mörtberg

Please feel free to redistribute this announcement.

Best wishes,

–Peter.