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-memorial@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-memorial@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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]