Categories list <categories@mta.ca> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sender: categories@mta.ca Precedence: bulk Reply-To: Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> Dear all, This is a reminder for the memorial conference for Erik Palmgren, on Thu/Fri 7=E2=80=938 May (plus excursion Sat 9), at Stockholm University: http://logic.math.su.se/palmgren-memorial/ (Full original CfP forwarded below.) In particular, if you would like to speak, or apply for travel funding (for early-career participants), please let us know by *next Friday, March 6* at the latest (original deadline was last Friday). Best wishes, =E2=80=93Peter. ---------- Forwarded message --------- From: Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> Date: Thu, Jan 23, 2020 at 2:40 PM Subject: CfP: Memorial Conference for Erik Palmgren, 7=E2=80=938 May, Stock= holm Dear all, A memorial conference for Erik Palmgren will take place on Thu/Fri 7=E2=80= =938 May 2020 (plus excursion on Sat 9), at Stockholm University: http://logic.math.su.se/palmgren-memorial/ Topics may include all Erik=E2=80=99s academic interests: type theory and i= ts models, categorical logic and foundations, constructive mathematics and proof theory, nonstandard analysis, and the philosophy of constructive mathematics. Invited speakers (confirmed): =E2=80=A2 Douglas Bridges =E2=80=A2 Jacopo Emmenegger =E2=80=A2 Christian Esp=C3=ADndola =E2=80=A2 H=C3=A5kon Gylterud =E2=80=A2 Hajime Ishihara =E2=80=A2 Millie Maietti =E2=80=A2 Ieke Moerdijk =E2=80=A2 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 [NB now extended to Fri March 6.]. 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. [NB now extended to Fri March 6.] The conference is organized by Erik=E2=80=99s students and colleagues at St= ockholm University: =E2=80=A2 Guillaume Brunerie =E2=80=A2 Menno de Boer =E2=80=A2 Henrik Forssell =E2=80=A2 Peter LeFanu Lumsdaine =E2=80=A2 Johan Lindberg =E2=80=A2 Per Martin-L=C3=B6f =E2=80=A2 Anna Montaruli =E2=80=A2 Anders M=C3=B6rtberg Please feel free to redistribute this announcement. Best wishes, =E2=80=93Peter. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]