Dear all,
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-memorial@math.su.se> by Friday February 28. Contributions are especially encouraged from those who knew and worked with Erik.
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.