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/ ]