From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 27166 invoked from network); 4 Nov 2020 15:28:14 -0000 Received: from mail-lf1-x13e.google.com (2a00:1450:4864:20::13e) by inbox.vuxu.org with ESMTPUTF8; 4 Nov 2020 15:28:14 -0000 Received: by mail-lf1-x13e.google.com with SMTP id o7sf1995054lfo.9 for ; Wed, 04 Nov 2020 07:28:14 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1604503692; cv=pass; d=google.com; s=arc-20160816; b=XEDHcShzljEIdOFnjyPSMkksd/bD3HcgB5YRCzopCVfoTBo2w3zHH3loAjKfjFOhTk S0jjp9NEfX8LlqtgyBo2NTGOLja104O7esVQQuzAFbbY3n6V0F4Mp7zCv2WuZj4hRw09 yi7uTz/vdeWyGX5JPfDt/rr+D7oyUGaH/RlRnRWE9wfyzOWcqLcwrXa2Qi3pZ5E4yYKA B3FUljd7Cx4oX3Rw00Ptt4OQnbVOaM2AEwewWNw58bBeI54g5DCyS33MBrHyr13SPgM8 UNLjiA1yY4ObGxoF9hhv+MZbN3Ybkb0LoTga1Fa9jx3/BKPKF+MloreF2NlbKswJfaYU bkxQ== 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=15Gy2mYpqZrhHXoUeeLncQylkOo2JzaWmwqGwl57bDo=; b=S32LWQzAMW++DoeK0YQIwBC8ycsgu9HCh7FCsszRigDoIF0NuueL13xHjffVrWGox1 zqBnfg6/DB5uzMpg1Mm3/8kFzCzI7nCoUsce1vpLY0qwJI7eiqT27VX1gMnkIqpBOzvP 4a5B9IkToPgk/DUGeCS6VjZcsz6a+sf1TuA6nSZ/PM370iF5L3wy01AjICLBtEFAqqTr wIR57kvifVjZAy8dlZ9zNpaEzZWDIl9llbbBHmBynKy8dEZzfocFQMKSc1i7ToMl41+C htUjZ4jIcQ8m7Ac461M7vqn8TnTvVwu5MV2OKGxXUp5i+4UGrXyBqg/yk7Lp//7vlucW MJWw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MruBHjBt; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::132 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=15Gy2mYpqZrhHXoUeeLncQylkOo2JzaWmwqGwl57bDo=; b=WO5/3O99gsHkBVf7m82SxJ40lZgdKrDFqEScsJnqEXouyfXyE5AypkHUnuC2Ht2txC MCI5JiYaxO6HwTJ18wm+e70F+uYrIPNFV1uCZMpIonyfN/yUR9t2T7KnNCXzFVcO6BTR pRWTPHLbf+zlySijD8pt7jcE6940UL0b3TwQP+soxCKER1v1s+BA5L+nQE/TAXZWoL+8 4vStcBqVtCanw/MoPNE1TQJ4UlTAbDWstPcYcZK2qr6+XKy6jJ1cFhVCRPQR3gS8kArM 9MhOedhM1dF/0yFGkp/rpTOg4A5GIxoY7pZauasecVNgQ6mlgxqtBSPmvU+gsOtgz2ZD UdYw== 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=15Gy2mYpqZrhHXoUeeLncQylkOo2JzaWmwqGwl57bDo=; b=O4oaEg21AS+jmdINFLvYHnny3mtrMWRZzO0ovRqsLT3oS9uNBB5CD4IG/3V23Vwqca UImfxbu4PtRaLmUL7uWSw3Ur7+rNS3NN40XSHUOuzziX66QMpcdxkWxJj93JccyAK/n6 3nIyQyVZ+EMjsO6m8JSuImdX16WgFhd6T5wf5R3fC9zbsZcYP58MclsfTZ2zEN/AVGsO KiANaxoUYZnrIaFU0RSx8vdgG6owmza8/aYYTJAM4mO9tBqhDVBBhxSXBGJt2i3y6jMr 62QUVbMetAgamQaOnfwYqM2DqdVJII2a62Er3X8KItuJFSdGh6xPLs2sqDzHNEHaNaBj T7YQ== 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=15Gy2mYpqZrhHXoUeeLncQylkOo2JzaWmwqGwl57bDo=; b=Iw8TrRwgqu1f3ngEsJKe5quXGGWzqFieZ1lM+DTW44fC1Ga8SUdPYwOTOTMetusY5/ PRHsdQwL42p+JKh8lHviLZ+3+MI4qMlhlJmni/lwPly+CL9LyBPmfD5G671cNPySeJU3 g9hKkJQzLQ9lBommvCtwZMLcssroHTFgcZdv3AvnCgfx9U2MFCSCKz8puq80TE5f6cWH 3v+kHMBareo2HlutcIpNLzunfsbS686vGUBc0zA4s6sOKSkVKbY4K76PSAzyg3eY9pw5 vCr4DJjkF7Fy0KdCkJY+uR1F9yN2zoh9zORNaTPfixpWWuw2c4R76W4mcazfst+lSX1u v5xg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530dLs9RRrGeTwJtew3/Z3+Ks8Rga9g9xRxVE+N9uQgoCZcY/Ay6 o0e2xd0PA5+y8pWCBm7soHQ= X-Google-Smtp-Source: ABdhPJzaq0/x/6sXrZjYijyRwYqh/NI0pw6MVX9FHp71ysne4jHiElH/DxMhe81qkd3ENIWnFRBJCA== X-Received: by 2002:a05:651c:112a:: with SMTP id e10mr11590031ljo.411.1604503692068; Wed, 04 Nov 2020 07:28:12 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:8848:: with SMTP id z8ls473890ljj.5.gmail; Wed, 04 Nov 2020 07:28:10 -0800 (PST) X-Received: by 2002:a2e:884d:: with SMTP id z13mr10268995ljj.413.1604503690603; Wed, 04 Nov 2020 07:28:10 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1604503690; cv=none; d=google.com; s=arc-20160816; b=LuNYZoHSzDKLTvwETSD266Yj+jzGeaH57slmIoee4P4YKjZOgBCEycVnQabxBcwrrQ VM51STvxbDOUzfzbNVgmwL1/gZk+nxHgVImPjIClFSMKztYkRs4RRvOvWHr5Wan3EO7w BjbtLktar1+mGUdxk3cogCRZANplrqrEYFuSUggSWiiRx3IVU/PqkDHFjm6E2Fq6ZcDB oFhe/mNNK8zIUrvn+hLd+/q1RE1UrcG6QdQyCDDgcAy5DiS1ds60l0iHasmXBJvP3YQ5 Exrauaa5AP0SCm89YdBJdZJ4JEHeoran6jsHpjyu/9VoW2E152jE6KiRwk4UjHjywDHt pebg== 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=qUyQsni+gMNwH6mSM9Qsfe569qGZBJ5a/WgU7yQ6jWw=; b=xSwsVriZUrKsheVQgZzTQLoxedUBksce3JySdP45eq2UT598C52xTefVALP6FQ4acS egKXh9G0lJansnjCN8Na1Ea26GU7b42+/V0waVtvG9XXVp1xoEKtv/+8xKqSmO1xPwOv UaKqnXx97MyY3NTeGpV17d3KQpiaoJRYZMO/mbjPXgfYAb/jmhaujEcTowpGm9qjEeAo YvagftCT+ugEF3JtVBEigpVdU5zqOIoHskS3YNyg+OxPdPgyA/BeE4xEUa7nWm6nI0RU lQAnubhP03CD9vTY3L7bO256wEJOBAzZl/nc5+VVysL6ejs7qcJPPRYNsC5YwIcaAe/c jpqw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MruBHjBt; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::132 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-lf1-x132.google.com (mail-lf1-x132.google.com. [2a00:1450:4864:20::132]) by gmr-mx.google.com with ESMTPS id x20si76082lfq.12.2020.11.04.07.28.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 04 Nov 2020 07:28:10 -0800 (PST) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::132 as permitted sender) client-ip=2a00:1450:4864:20::132; Received: by mail-lf1-x132.google.com with SMTP id b1so27593459lfp.11 for ; Wed, 04 Nov 2020 07:28:10 -0800 (PST) X-Received: by 2002:ac2:4d58:: with SMTP id 24mr9399936lfp.32.1604503690155; Wed, 04 Nov 2020 07:28:10 -0800 (PST) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Wed, 4 Nov 2020 15:27:59 +0000 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_Erik_Palmgren_memorial_conference=3A_online=2C_No?= =?UTF-8?Q?v_19=E2=80=9321?= To: "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000007e1bae05b349a060" 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=MruBHjBt; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::132 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: , --0000000000007e1bae05b349a060 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The memorial conference for Erik Palmgren (1963=E2=80=932019) will take pla= ce online, on Thursday 19 =E2=80=93 Friday 21 November (rescheduled from May d= ue to the coronavirus). Talks are to include various topics related to Erik=E2=80=99s work and inte= rests, as well as reminiscences of Erik. All talks will be held over Zoom; the sessions will be within 9:00=E2=80=9311:30 Thu/Fri morning, and 13:30=E2=80= =9316:30 Thu/Fri/Sat afternoon (Stockholm time / CET / UTC+1). Invited speakers include Douglas Bridges, Hajime Ishihara, Steve Vickers, and Maria Emilia Maietti. A preliminary schedule and other details are available at http://logic.math.su.se/palmgren-memorial/ . If you plan to attend and would like to join the mailing list for further updates (including Zoom links), please let us know by sending your details to palmgren-memorial@math.su.se in advance. Best wishes, =E2=80=93Peter (for the organising committee) palmgren-memorial@math.su.se http://logic.math.su.se/palmgren-memorial/ --=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-noYteALgqFTOHA01bEQ_ZW3p_eyoD8vGezwK8zDFU0yQ%40ma= il.gmail.com. --0000000000007e1bae05b349a060 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,
=

The memorial conference for Erik Palmgren (1963=E2=80= =932019) will take place online, on Thursday 19 =E2=80=93 Friday 21 Novembe= r (rescheduled from May due to the coronavirus).

T= alks are to include various topics related to Erik=E2=80=99s work and inter= ests, as well as reminiscences of Erik.=C2=A0 All talks will be held over Z= oom; the sessions will be within 9:00=E2=80=9311:30 Thu/Fri morning, and 13= :30=E2=80=9316:30 Thu/Fri/Sat afternoon (Stockholm time / CET / UTC+1).

Invited speakers include Douglas Bridges, Hajime Ishi= hara, Steve Vickers, and Maria Emilia Maietti.=C2=A0 A preliminary schedule= and other details are available at http://logic.math.su.se/palmgren-memorial/ .
=
If you plan to attend and would like to join the mailing lis= t for further updates (including Zoom links), please let us know by sending= your details to palmgren-m= emorial@math.su.se in advance.

Best wishes,
=E2=80=93Peter (for the organising committee)
palmgren-memorial@math.su.se
http://logic.math.su.s= e/palmgren-memorial/

--
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-noYteALgqFTOHA01bEQ_ZW3p_e= yoD8vGezwK8zDFU0yQ%40mail.gmail.com.
--0000000000007e1bae05b349a060--