From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10048 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Peter LeFanu Lumsdaine Newsgroups: gmane.science.mathematics.categories Subject: =?UTF-8?Q?Sad_news_=E2=80=94_Erik_Palmgren?= Date: Fri, 15 Nov 2019 23:15:34 +0100 Message-ID: Reply-To: Peter LeFanu Lumsdaine Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="219539"; mail-complaints-to="usenet@blaine.gmane.org" To: "HomotopyTypeTheory@googlegroups.com" , constructivenews@googlegroups.com, Categories list Original-X-From: majordomo@rr.mta.ca Sat Nov 16 01:29:49 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iVlyH-000uzD-2D for gsmc-categories@m.gmane.org; Sat, 16 Nov 2019 01:29:49 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:35434) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iVlxt-0004XQ-OP; Fri, 15 Nov 2019 20:29:25 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iVlxP-00039y-GG for categories-list@rr.mta.ca; Fri, 15 Nov 2019 20:28:55 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10048 Archived-At: Dear colleagues, Some very sad news =E2=80=94 Erik Palmgren passed away unexpectedly this we= ek at his home in Stockholm, after a short period of bad health. Besides being insightful and influential in his own work, mostly on constructive mathematics and related topics in logic, Erik was also a generous and sensitive mentor to many students and younger colleagues, first in Uppsala and then in Stockholm. He will be deeply missed. Personal website: http://staff.math.su.se/palmgren/ For any academic business regarding Erik, please contact either me < p.l.lumsdaine@math.su.se> or Jonas Bergstr=C3=B6m (head= of the Stockholm University mathematics division). Sadly, =E2=80=93Peter. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]