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.7 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-wr1-x43e.google.com (mail-wr1-x43e.google.com [IPv6:2a00:1450:4864:20::43e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b8417fc4 for ; Thu, 23 Jan 2020 13:40:20 +0000 (UTC) Received: by mail-wr1-x43e.google.com with SMTP id b13sf1686804wrx.22 for ; Thu, 23 Jan 2020 05:40:20 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579786819; cv=pass; d=google.com; s=arc-20160816; b=ArreSUXfWU0svhjE5a+rt5NpZkDzIhD1S12vfDd25QUU2sDQLOT1IdkY0i5EpU07sE 4jZ21WG1y8A5DpHuAHnzXIhGXZmnaoeNkOPZjzOcP2CD7eDqyHPYxMhSPj24onP7eQcz B+ihWs0KhH6m/+sXFSPjFjzUx8y5QRYy0WtT39OlP9lJ8FE49YCwTY9KHn5iR9muKnLj VuzlpSKOeJVRpP8JiLRJ9vEr6xNsKobep3h5lkvXn/j8ORxNsU/LJXZaVAw53t+ca+Po 6C+ySu/qQyzYfMTDetAxUptMD7pF6gvcZogpJQl/+3eu5lPh827wdY2vu+GuKMY5frnW DUzQ== 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=DGHiCGXNXiqiwEbFmwYompKPS2ewiGQOAMrL3wZIYTU=; b=ROC7MDzQBH8F6VfVklDGa5qNKNQuzVDifRmlwjsUhC7vYNYOzd7OEXpCIZB/O9jWRu W6Aew6MYmsvvpaYv8+RGAYV4NWmCiaS1sKNUwPYeO9IP1SK6QreiaYmSNqfSW8yBZqXC Wxkm7MFYwHq6W8IbRk1yQDVmg5XkDfmaRrVj3FLQ4TkQp47b77B0Fgb9K/nyLImrnBSp DqXQzG89bMbxI4ZHd/iOaLEC5USANZBp9bEOJ5SMRNXgWlh46z+NCwh0h4k60jUIPuJ0 3mjQdKmVRNTM0f1XuiQbjK4ywoeDQHy7QejFlnaMfe6Lja+i0lLaIIBDvficmrYogCYx N1MQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=scCpkyQJ; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::529 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=DGHiCGXNXiqiwEbFmwYompKPS2ewiGQOAMrL3wZIYTU=; b=isU/nDM78h7xyfjPFGcbeTv34dO7Kj/FHbyv5FwbSkNtvj8Krj5TauTMOgY2fKUvZ1 ob9qA2pmzOq7BQsdiwLjmdwqAuELu+KpWdpm/IbXbmCT2DwPdudDGADF9Xl7eJoZxKN7 hkzg25hnU1E50YfuuwEm0aQByhwGnxiPsu0X34GP1QdlFO5UdOYA8uiqbp1NbTidzHb2 QGhFAdUGOCiiwxSVnPG6cFQYnwYwgiz4Nnh1OkbX958146sMcBGteVvNq0MshZHG14Js p/13J88fy9FCfyXgefbltJGCDrp+CEkY4P5jHvxH947cXZIsakZtUtauhY3dIfBr4p0V ALkA== 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=DGHiCGXNXiqiwEbFmwYompKPS2ewiGQOAMrL3wZIYTU=; b=rk7HIA8OX6yB/0fMGK+eP0/ouUcmCFVbn3JMVVelxTG7tpX+TP8csYKBs36FAq1UuG wozg8EiZY6iFXr8aqNU/dO75tJfwd+8HM7cGkSTim3gUZ1OgpbfWU6nYmkn4Cgd8RZHF ecfuxKXKsw1uFxPjbc+Y6WbRa56KlKVBScIBLxFfE1xHJGuUlKwENHZGdZeTIz26fATA g/hD4pnAIDy0OGmArBqUg2O/UgISNPi9hRfi1DjgESVBCQd0OSYUfSvbB1HqgDNQXN/e WZTsZb9OMz0hzSYeoZjh9MJIo1ZdDBSvSvtD9ZZYpVskIqp9uP4RUdjfx31ge+Ft47Fj jpuA== 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=DGHiCGXNXiqiwEbFmwYompKPS2ewiGQOAMrL3wZIYTU=; b=HW00qzI8/L90LoNDxe+J5NjpBzjY0hpEDF7VVTWVIqNELVdi47JU+xP9N9GGV1Usod qMiEUiIYj34CupyWuuTtQAhdIf9bRtnPqOsCUWXsiM/FqdQkP5Rld9Ka75X5Dad09lAy yrbGOHaM4ITudAdIHiNzGjoPtPhdLs5WjQIbREwk93tHl7v2GqQ0hIg1ahxPmGVsixg7 5qLMA6bDH5dpyJYuZmnuuVXTXx9AbqQdQOdd4+MzOEx1G5VS0GtzsO+YuSJhfELezEvH JExcJ6Z+oqK+SRtUXMHGoeV3EahxANoXLAKeRTFRMSdvdUUlaLRZA8Zbfq7MW870KIrd ocwQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWp8nVeF5pvH9NOoT+VeHUzo+hdc0UcjsXnN/4qSdv7bOO+7XFT EsMH+BSj1FIFkGh0xP5fuPk= X-Google-Smtp-Source: APXvYqwwxVHElszV2G9ZMI+f61M+Er5uiZgsZEwm4UTt0sKIv6cWDnlJNjY/6jlaYYwDTVtzASI7wQ== X-Received: by 2002:a5d:5345:: with SMTP id t5mr18951674wrv.0.1579786819094; Thu, 23 Jan 2020 05:40:19 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:65d0:: with SMTP id e16ls8471449wrw.1.gmail; Thu, 23 Jan 2020 05:40:18 -0800 (PST) X-Received: by 2002:a5d:5704:: with SMTP id a4mr18752640wrv.198.1579786818339; Thu, 23 Jan 2020 05:40:18 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579786818; cv=none; d=google.com; s=arc-20160816; b=vdSJ7VLjUovlFedavXBISOBFRDcfMveMNpZcVgqJ72x/HZDoc5tBdZGsb6xL7p50p7 8CcHchr2Z1UYPF4YriYQOVCfY7PlwZpc25b6i8lNUnV+3rMIwYLWC6GmjjReiNsyvTXu 1enrZDA7+GSjW7WLQJtw1UgftGUSANwm4xLcG8lg9Sp28Wl8HyYSIxdBRvUlc6MyrHZN 8ODFKNg02jqYc4uDhJtgVNO+EVKNUo1zDeFjMfEhcK9om7jecMP9fHLREHSHhAROb56y H80erwR5UpYgEyDoySnTfxKnWFKiR37w2DThLLK7ONQMxIwr7ggcnp3al8HBNCdbPhwV TFSw== 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=cHQkXZ6cXTaWY2IXKIxBeIsme8DkQ0SfiGBWsuPqiyA=; b=gSj9AWJCS9kEnI+DP2x8ObQYaO3O0atN+d8Jz48VXrG0pf1yEtSGCcwONB2ReR8rSm WHS2sN8q7WUwbUAfqHY0KcW9IWiCBMFeCwl1rsxj5CBetavCbnmjYAVnt/K4uv6OWwA3 AvIshtoPuDBPCeER35X+ld2UHYR+cY6+K/BEsy3PbLkOggon3ZaefkSHp/c+E/uU6eSt 9P4vkEFTTZn01L25bETzqtmEkVQ6QrIgJNHn6MHwQ8b+2sNYfJEtC7vyWf/04QgmR1sJ fqMaTgtAVGtzCB9pXSvW+kN+0sN/1qSH/H58QJhEjrnMwGdTc+ztX/axuQ26KrQcgYT/ 0WXQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=scCpkyQJ; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::529 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-x529.google.com (mail-ed1-x529.google.com. [2a00:1450:4864:20::529]) by gmr-mx.google.com with ESMTPS id u9si84528wri.3.2020.01.23.05.40.18 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 23 Jan 2020 05:40:18 -0800 (PST) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::529 as permitted sender) client-ip=2a00:1450:4864:20::529; Received: by mail-ed1-x529.google.com with SMTP id f8so3347477edv.2 for ; Thu, 23 Jan 2020 05:40:18 -0800 (PST) X-Received: by 2002:aa7:d897:: with SMTP id u23mr6758795edq.50.1579786817905; Thu, 23 Jan 2020 05:40:17 -0800 (PST) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Thu, 23 Jan 2020 14:40:07 +0100 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_CfP=3A_Memorial_Conference_for_Erik_Palmgren=2C_7?= =?UTF-8?Q?=E2=80=938_May=2C_Stockholm?= To: "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000001a29e5059ccec88f" 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=scCpkyQJ; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::529 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: , --0000000000001a29e5059ccec88f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 by Friday February 28. Contributions are especially encouraged from those who knew and worked with Erik. Registration is free; please email 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=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. --=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-nM%2BP2N6TZHqD%3DLNFao59OZVzAoJ%3DpCoPM24xt85y%3D= Ejg%40mail.gmail.com. --0000000000001a29e5059ccec88f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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/pal= mgren-memorial/

Topics may include all Erik=E2= =80=99s academic interests: type theory and its models, categorical logic a= nd foundations, constructive mathematics and proof theory, nonstandard anal= ysis, and the philosophy of constructive mathematics.

<= div>Invited speakers (confirmed):
=E2=80=A2 Douglas Bridges
=
=E2=80=A2 Jacopo Emmenegger
=E2=80=A2 Christian Esp=C3=ADndo= la
=E2=80=A2 H=C3=A5kon Gylterud
=E2=80=A2 Hajime Ishih= ara
=E2=80=A2 Millie Maietti
=E2=80=A2 Ieke Moerdijk
=E2=80=A2 Peter Schuster

There is some spa= ce for contributed talks.=C2=A0 If you would like to speak, please send a t= itle and abstract to <pa= lmgren-memorial@math.su.se> by Friday February 28.=C2=A0 Contributio= ns are especially encouraged from those who knew and worked with Erik. =C2= =A0

Registration is free; please email <palmgren-memorial@math.su.se&g= t; by Friday 3 April if you plan to attend.

Some t= ravel funding is available for early-career participants.=C2=A0 To apply, p= lease let us know in your registration email by Friday February 28.

The conference is organized by Erik=E2=80=99s students an= d colleagues at Stockholm University:

=E2=80=A2 Gu= illaume Brunerie
=E2=80=A2 Menno de Boer
=E2=80=A2 Henr= ik 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.

--
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 htt= ps://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-nM%2BP2N6TZHqD%3DL= NFao59OZVzAoJ%3DpCoPM24xt85y%3DEjg%40mail.gmail.com.
--0000000000001a29e5059ccec88f--