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 [2a00:1450:4864:20::13d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d9a0d6b1 for ; Sun, 1 Mar 2020 11:32:08 +0000 (UTC) Received: by mail-lf1-x13d.google.com with SMTP id u9sf1086700lfi.22 for ; Sun, 01 Mar 2020 03:32:08 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1583062327; cv=pass; d=google.com; s=arc-20160816; b=UDr4rzKcu3H3JOPfZ2U2X65CQu1PtNUJBHiA69q2/qbKBaba1rAkpbfu9xP4hkOtwg SXBEW04c26hnL6vESOBdmm2oviEKw29MC7wetUUZCqj5c3iwY5SSmoU3IDcA44Zn6k1A JJGaOP74nuytrUbH7eQ/AN+QzaWvXa9s2bdoLMt0hN+LmOL/4lJPnS1XAfTOtz9t6IXq qMaTb5yHvojLvNojwXys8mjJ044ZFY0MFK/DLBfmz8axLmYclzzFZPXMC1n7l8X/8+RX 1nMTOQ4NQ8yuMfADUQRvzf55Cl6GVhEtYyJ9TFvq8zn8vKcfMGAQdEDTVwHLgBcH4tls YDMg== 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=ekl9j0RDdx9c0iOELC54KJJGO8oexRURCv88M0s5A7I=; b=0ePNFhvfk1goB0Aa++Uen26+mbiq8G2pWEI4IzX5ygr33gDHB0tvoGz/33VjYBoKbg kenkhq8dI8OByKGJwF553pi9RKmihn+cAfhDjsmJmhEsq63R80i64+NH9w3xT0GLshbx KNBAJ0EWmOf1F+1cg1/obEqnJWRk2tCbnSGP2Lski7UJo13eLz5tld8aY+JcrPKb0Dg2 /oW9+DS0gSQgqdouMWZ373t9WhpNoiGbKZQb6UiB9kWoYJr1T7pGZSGgvAXdZPV87NRW /kDAz8iSN4w7ZSOn6I4X05ph2AwKcPWJYd16uS7Asx/pLk4mF/M6Dm5XbCTkDVV/ypqu Spnw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=hCsUBZPZ; 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=ekl9j0RDdx9c0iOELC54KJJGO8oexRURCv88M0s5A7I=; b=SHjmEwtgPc7sRJ+8KWIL/pt5Jc/nGnjm4cXx9uxt7jtMBl8i8NHnYbwUp5Ksc91IpO C1hiqcsjp/+UC4bbQCDvBenA/tFh7e4+K+mAZvX30DDETPJgTwSBlFR2Y7S1CUI3kNUX XJy0Ern7g8xcepDDNUk0fzYZL6o672i9d/ijcnR/IvlOdM8zSu+TecWmrSgdVxQnPhE2 bXhlh/lBtj7Q5HOjEv+SupVzebelcfLAkuUc3qvNST0ZpY7oVKmxb5BXkqvP2wNKVjBD /zPVoyHU+GOwnI1Vxz2xAAkgFleFy7WMtx5xiqJGCoCVp7k1TcAXkKIgY50jevzCMvDp 8tDA== 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=ekl9j0RDdx9c0iOELC54KJJGO8oexRURCv88M0s5A7I=; b=nHAtFRjcuNu9Xo+S90gg6rIOUk0hSy9hk9INWB6HFR3aFtniaSbrez0TCkhFwanYOg A6CauSg2mD5xTfApQ8Dg/qZhizDhM09Y3qvd7I8NhOpQr1v6R3BBtl6UkCaQZhc+5jhx xaj0Axe0UqBoPR8Y4Nzuh7ynoTbqLqNMzT2Mc3kq5KYYb+DqPahYODXl329bAt93g7+e PJdcW6+7TbTtuQscpQ0Yy+yBkFk7fDAyIcz2YV8YXqRf0LANrAvwqF1zNUy5qZ/4zqnX ZXWGTKAKlvJLWP3TDYuEYYiu761APehYNq/I0T9DLgStXeXVUTzRj0ukmDW9zE1548A1 YEAQ== 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=ekl9j0RDdx9c0iOELC54KJJGO8oexRURCv88M0s5A7I=; b=WTd98NhtHyQSdMQT8linwYvzBe9qKqH7W937BAPSCPtan+vGtdE/dX1uuZi4vN5buj MIEqAi+h84TgTo5aSOU21UfGdqDS/uFkMjMRDxAkzE6+HsD5vAyrco51A0AIBZcpRayF wgNr5AuBAi1Ajg17EcOirI/tyLCsQNkhoIOFQbOungMqFo20a3cZgCX5kOpde4okdbn+ DH3X4Iz3WhAqjqqa0mdU5VoJSCBw3/wdZPPJTSKEdUjJCXHUbUHxlT5rzxlHzpa85W1X 0eyJjsHbvjKb0FSnPnMmOJC27a6x9nbs7jygCk1w3unNI9CmGC6yy/6E0hirvAtXFz/X aF3A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANhLgQ3NORzepSHQF6HTNZUZPQBBhhdMnJDF/LAVqk3my/HSylWknUHw RKHn8ca1gtX0TlKFwtDMp38= X-Google-Smtp-Source: ADFU+vtvZ7akHYhYwnVKf+7g5bZK3o/P+X4ubL5CVwQj524I1ESzwlnZIB2HO0yy+b2jXzFd+dBdWA== X-Received: by 2002:a19:9155:: with SMTP id y21mr7789077lfj.28.1583062327622; Sun, 01 Mar 2020 03:32:07 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:55a3:: with SMTP id y3ls882507lfg.9.gmail; Sun, 01 Mar 2020 03:32:06 -0800 (PST) X-Received: by 2002:a05:6512:322d:: with SMTP id f13mr7611240lfe.24.1583062326743; Sun, 01 Mar 2020 03:32:06 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1583062326; cv=none; d=google.com; s=arc-20160816; b=M51Mx1ArYa8RilHRbIf169n+ugRlrRHa0qb+ICJOrmybDvBTRoCW34HgAmG0ADN/TK LmG/lcKMm1fZuC+TK+ijWx45+zaHoBtMoX58SeEzPXYsyHyfFqvLgU6m6jltITaCS8U2 /UcA3rc8EsO8i1AHBO9seKuCiZh3jOX4BrctobnHZdTFHI8YMUBzzsg5KcStyNVBSfoS F0YO3ATCANZDB0IlrbNQN35U0MK2SDbH7i0mMLKzDyAS64NLLP9vmo/sOW9B9qzvQNNY P+pHPD5cYBr0QAaWxTZvE1h+KEmFYvdbDDgcX7Xen//SzVlSmFTPGOrtuoSIF6/zTlw9 8s0g== 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=KlvvwRENT6/nJWLgpKmMxEo6kmla9nZrJy4JsC1zykE=; b=oy71BcEph2SXl/LSMCX4qEqqQxUNbJG4JRIYfOLqIyd5SrtrRejxFeHHmLlqBFUcBq k0lhXj+0bHSHHQOCxMV816rLywrzQ2H9K0fEybiv7vzhMLHDL7DTQRSVtcw0ySRTrLIX b0lgHhJuKD3Gx4G+v0GpEtjrqCcMUxQ194l98Gyeu84bXV72Bk7xqfUz+ewTBTn0J2Tg qh/cqs+mirdNXNPmAgSiJeHN6he9tqfKd36bAg+Ht4H/13GBJYtWELebHUzMyTVakIlp dheZc48n5sNFuPuLDaeQnzlAMBcT73bStv8KOCg0lDxoSwasXjOyC5THVi6IgmKuo7Oa 9spQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=hCsUBZPZ; 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 o20si232502ljp.3.2020.03.01.03.32.06 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 01 Mar 2020 03:32:06 -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 c26so9463346eds.8; Sun, 01 Mar 2020 03:32:06 -0800 (PST) X-Received: by 2002:aa7:cf07:: with SMTP id a7mr11931107edy.381.1583062325953; Sun, 01 Mar 2020 03:32:05 -0800 (PST) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Sun, 1 Mar 2020 12:31:30 +0100 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_Reminder_CfP=3A_Palmgren_memorial_conference=2C_7?= =?UTF-8?Q?=E2=80=938_May=2C_Stockholm?= To: logik@math.su.se, Categories list , constructivenews@googlegroups.com, "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000009886ac059fc96b0a" 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=hCsUBZPZ; 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: , --0000000000009886ac059fc96b0a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 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 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 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. --=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-n49zVQjYUMawqHPRUTDTMNc6PWJ1c2m9rh8a5%3DrOnOqA%40= mail.gmail.com. --0000000000009886ac059fc96b0a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

This is a reminder for the memorial confe= rence 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/ =C2=A0(Full original C= fP forwarded below.)

In particular, if you would like to speak, or a= pply 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 messa= ge ---------
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, Stockholm

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 its mode= ls, categorical logic and foundations, constructive mathematics and proof t= heory, 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 Maiet= ti
=E2=80=A2 Ieke Moerdijk
=E2=80=A2 Peter Schuster

There is s= ome space for contributed talks.=C2=A0 If you would like to speak, please s= end a title and abstract to <palmgren-memorial@math.su.se> by Friday February 28 [NB now ext= ended to Fri March 6.].=C2=A0 Contributions are especially encouraged from = those who knew and worked with Erik. =C2=A0

Registration is free; pl= ease email <palmgren-mem= orial@math.su.se> by Friday 3 April if you plan to attend.

So= me travel funding is available for early-career participants.=C2=A0 To appl= y, 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 Stockholm University:

=E2=80= =A2 Guillaume Brunerie
=E2=80=A2 Menno de Boer
=E2=80=A2 Henrik Forss= ell
=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 https://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-n49zVQjYUMawqHPRUTDTMNc6= PWJ1c2m9rh8a5%3DrOnOqA%40mail.gmail.com.
--0000000000009886ac059fc96b0a--