From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lf1-x13d.google.com (mail-lf1-x13d.google.com [IPv6:2a00:1450:4864:20::13d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 02034211 for ; Fri, 15 Nov 2019 22:15:48 +0000 (UTC) Received: by mail-lf1-x13d.google.com with SMTP id x14sf3425051lfq.15 for ; Fri, 15 Nov 2019 14:15:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1573856147; cv=pass; d=google.com; s=arc-20160816; b=a+Y77pR7k1TC+971sS4iT6Fa61PmiaUjPRSbevSpepblnN7xdnQFfazmAKiSv8jpld hl8qdXFLUCFtGOtu8VMweXVt8Mxv1vSNB01747eo3akWAH8laLw7sKhiDijDhtUN8LfI aK9SVLkeF6bz8IK3npocNyMIJ5ufVdIsCyGrAYyClqk6YYm10KPb4+mXO41IDOjpgWgp f068ZKUuMXdBlzLirh3uGf5/TU1JeJMkO3EfNUO7rLcY2NeC8ZqwjahXnq5xsq0sTpBz fj3inAAfvLmycf4fz3eb6tXYOOanlDamyvXQhA1ezRfE6Z/3NEyfrjL8/9PYAyze+ivE 5y0g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=uV2JfhOkfCs9ERjoK50JQsYnQlvOOfeaO+Z7ehEuHCM=; b=pgYP891t56ZWntX0aCU8eLpXjdMr7ZOCR1OKoKaOXyQoolx3Yt6iT31qL+UTzFv9/C TdqAFK5QzmaDWkV2cFcq5Xfd10MOB9n30Jeh27fczvkaU92rxApE/pL4JIMhq+t7IC2v uMwS8JNz5E8w9FZDaHnMys3x7hsaAkWKasiCJC5Nxy1xoRnljeHkAthu2/DNynTf93zH FikXc/ixGbvhe3kwIK7pNujnUFUYtOvmMNfhUSbQPA1WaA3fUpTvOdWenlWjLBwiVvPF o9n0D2Pzf1KgCSCMk4MPhK/+UUV7JxA6EeVRmJdClCFf3hJ80RoTABzQKCemcktDJtlz NMbg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=IKDag9+V; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=uV2JfhOkfCs9ERjoK50JQsYnQlvOOfeaO+Z7ehEuHCM=; b=rtYQLySxF05yKFvFhxtsX9bBFSGKMMsn0MsbKn6qHDYENXGs95RDsTWQNNKTXUu75N qBevx7IecD7I+mXno8rxyOoWs/po3QQlwWxfU0iJ9ztTtSStl1VbmgsZKsOg4emG4B+b QPk0SHMnFqCeC125f1XLdGQumXV1ezvLi1rpFba/+zxq+FI7H9QwUjPwBo4ia/9U+XMz h2PZSt07fp5gdcUF/RMiN8Ti41sBGaPD0Ce86VF5rZSJNnb7NdAe/yHxI1u9xPth/t6P o4t+S7v31Z/KNcNsyw67Y9Wp5QKQY+qt36faYmBcJKnD6RSBQEgy0ZKfn8Eh4+Lev2E3 YE8A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=uV2JfhOkfCs9ERjoK50JQsYnQlvOOfeaO+Z7ehEuHCM=; b=t5F1C+AkF1KmHmyUWC+LFr3Zv+LbjMHo/fZCVSzBtw+pq+Ii95q7jfQB3206189Rfw q02qQVLCxezADaTtpSYDphTKZfN1GD99Qa6JMLhr0nRoSMVLIwX/TFHp34e4POR4xcst tG58uP8lNecOS8q/j38fh0yigP9WoS3moeo/K6omf8ktgE+hXTYeijYcHKe4WFunhSf+ LFDTl9B+7Cx92x6SI+jvnSAsm2RM1TnuDSWPcAa94jAjNPpp33gaTwi/OT+25wRigLOx SRbiIse8ScY01n6ExMF6SLf1WYLkDfNVi7TJS3ju4Zu4KzuG5WoG5jbCN8t3lrAR+ORE QBuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=uV2JfhOkfCs9ERjoK50JQsYnQlvOOfeaO+Z7ehEuHCM=; b=S1+gVhi2ru+k6UrgaGEHZ5Aj1b6jaf6eZXmqL6N73mhi5Q+Z0KIvg5k2SPEzNy5bde WTTeOlSkpKwKqqoiEBdJny9L//q2+y8+5WIats9RkfuRgXowm+7EvskMNerfYnAwvjkZ jGG31rNN8FK0fCEwMKNpCcvSt5cZFT1bFbYttxBo3Tc/fQvNp3pmYBaPag71vzR7jVmN f/uF9UNO4gmfR9BrQjtO+FWc5UXYtiFPXI8oSlw5V1sZh6R6wGenz/55ivesKnkzghA1 71BDiZrxxa4clFOboJgQzrzv5FIX9ZlewXbs9vRnTUNchnv/dmn1hJTX86xqCe2Kh8QK FrJw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVCA96byZ0vnmdnPD2EkYjq1zDnc+OZMyFJ3oL4w51ZWcOX4nSL sQcmT7S2hUeLum5heuJEs/c= X-Google-Smtp-Source: APXvYqyWCHcKZ9oWhPKvZmYJk459xu1O7oOPAj8YJodaRzVTCD/Ddto/kkt3FJjEl9JN6+z7XQWGFA== X-Received: by 2002:a19:895:: with SMTP id 143mr12514227lfi.158.1573856146960; Fri, 15 Nov 2019 14:15:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:6715:: with SMTP id b21ls2048397lfc.15.gmail; Fri, 15 Nov 2019 14:15:46 -0800 (PST) X-Received: by 2002:a19:cb4a:: with SMTP id b71mr12668335lfg.90.1573856146179; Fri, 15 Nov 2019 14:15:46 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1573856146; cv=none; d=google.com; s=arc-20160816; b=061+VrYOGxtYncvFL4YmYbFjWNJ25IsU0tjHy3e9qFSbUEkesm/56k7w2Wg91EHtCl 33VV3v6LNO9WzOIU+rv8DhedjF42c7OSCadpX5VhZyw/b5B1ji7nHrhnMvMvvjAnecsB AsnvWaKSh0hdVUYrQ23odQBnaSsHuBs9AgulLTEyy2cXXO2umv8ZXw7Tq4CNMR5WC2dM 8XJ4OzfODJjTxfGC6TxIVaGwVwFFg3vbuiBKdRy3H1nLvgncCvhxWWrPRi1OOfRsnHt6 Wz5JpIRGQL/1S0BILDLpRAYrWNXXiOHHaNnEgUH+OpnMNlp4Ry08v8sqOE4se5HaXjCX Z42Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=KRaHeXy1exqFQBiMujDbrCEBG9X37XOQiJTsf8SyUJs=; b=K7470RN9JpwkzyPThQogdHtcLYP7oUBVn0kRmvM7kMu5Mwfb3C8R/uU1RnAML3k+2i lF7cnh4LqNDUJlMBl/9QN1ydLlvCm+zTcVIqOwDjSAk6Tze1y0EmPEOxlC2gNuEBuSHt sjFDM91J/T9i/nvte+BR3GdFbYwS/5CWDvC3FXJkRw/vNdeWqnj01Pdtq03UhjAZwHzB upXB9cjfBCmzvM9zp5BlZf1aTFkwb5S0sezacmoh/LoGux0UG7fEe3rvq6MBrAmdeCMw 6MfvyiDyGKdNEynvkaRIm25S4ggImK7axbCaL3XDbUf6+tz0hc2mtEv4vnWK64XiK4WC uM5w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=IKDag9+V; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x535.google.com (mail-ed1-x535.google.com. [2a00:1450:4864:20::535]) by gmr-mx.google.com with ESMTPS id h21si757790lja.5.2019.11.15.14.15.46 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 15 Nov 2019 14:15:46 -0800 (PST) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) client-ip=2a00:1450:4864:20::535; Received: by mail-ed1-x535.google.com with SMTP id a24so8707414edt.0; Fri, 15 Nov 2019 14:15:46 -0800 (PST) X-Received: by 2002:a17:906:b80f:: with SMTP id dv15mr4479302ejb.188.1573856145730; Fri, 15 Nov 2019 14:15:45 -0800 (PST) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Fri, 15 Nov 2019 23:15:34 +0100 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_Sad_news_=E2=80=94_Erik_Palmgren?= To: "HomotopyTypeTheory@googlegroups.com" , constructivenews@googlegroups.com, Categories list Content-Type: multipart/alternative; boundary="0000000000007e7165059769f00c" X-Original-Sender: p.l.lumsdaine@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=IKDag9+V; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --0000000000007e7165059769f00c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6RDZH_6cKs5hD1M4wOKA%40ma= il.gmail.com. --0000000000007e7165059769f00c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear colleagues,
Some very sad news =E2=80=94 Erik Palmgren passed away une= xpectedly this week at his home in Stockholm, after a short period of bad h= ealth.

Besides being insightful and influential in= his own work, mostly on constructive mathematics and related topics in log= ic, Erik was also a generous and sensitive mentor to many students and youn= ger colleagues, first in Uppsala and then in Stockholm.=C2=A0 He will be de= eply missed.


For any academic business regardi= ng Erik, please contact either me <p.l.lumsdaine@math.su.se> or Jonas Bergstr= =C3=B6m <jonasb@m= ath.su.se> (head of the Stockholm University mathematics division).<= br>

Sadly,
=E2=80=93Peter.

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-k00GTNS4jm3vgvJoAK5mUuJU6R= DZH_6cKs5hD1M4wOKA%40mail.gmail.com.
--0000000000007e7165059769f00c--