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 6816 invoked from network); 17 Nov 2020 11:29:26 -0000 Received: from mail-wr1-x438.google.com (2a00:1450:4864:20::438) by inbox.vuxu.org with ESMTPUTF8; 17 Nov 2020 11:29:26 -0000 Received: by mail-wr1-x438.google.com with SMTP id d8sf12841328wrr.10 for ; Tue, 17 Nov 2020 03:29:26 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1605612562; cv=pass; d=google.com; s=arc-20160816; b=qO1Wd8H/3edZErmg+ILf6+fg5c5jg3vjxRztm9XMguMfjoaCW8xhSlNSCpT0BBa4Dn 4JfJR6STXwLxGjaYkXn+ufW17CU3rqu7sOPuzVxkK7pcAhvHNTESOkjrocBpH4MqBjq0 mOr5AmCfuXxy046czdYaabhki5a+6y5i4rXzNWS0a/iOqxaf2IWkebuKal1HeokyEppr FLH5rl3CXICg1hYIeW0w4Vl0YbMOsJibkT80X985NCIH9gRzyoUppPnKT4tfmbyRO8td 9dpKVZu1TgH/jvoWLcFO204zL79i7fji0iTGABXMCNKBFXPdrmwJe52wWygtB5E+WEHj 5WUA== 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=fnIryEdki03wbIUPs7WukMVvx/c4RhcHQLS8XpkY6EY=; b=P6m5pvn0BSBD2UORCFC1Yu+/F9MazGLzWyGb4vNUPQVYzWxN1Ra9dHV2JOX56IU6tU Onsqmb14VvriBxz9yxq8AEfFBEAJ5hpmZgt9iyFGTpe32WZXx6WwtwpEAHeG+lnTo12C 7rqOi4sbcrVn3FIhC06M57WTv0/0ZnPnUczr5oeq1f421A6cNkY3kpNZYCk6q98V7x9e Vln/ldE7wMnmX3rXEhIQYt6P8FmsTL/OcgmxoQDRYSAf188BH0zXUpnfckMBluDbOQ91 YpgVw6ENVJ1STZKK6Xtggp3acx/ZVFWL2Sy5Ezc1F0HxEh9H334L03zsqCKdcu+nVqIh vK2A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ZE9kEdWR; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::236 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=fnIryEdki03wbIUPs7WukMVvx/c4RhcHQLS8XpkY6EY=; b=Oi68QQFj+RDPQf6e3YlC0x259cyQekoHFwwr1vHe8gEelroqklUjXlTFi4vbuwWM21 oyyJNGp4DxScnKG12DlmWS6TFzrG4ySYjtMPPHrv2O6eNUzGy5PeXsB0VvJFoZOIq3Rl TjvTZr14Xy2LPhdu2RRytFpLW3D+8gJQ1l4izNRy6N8Sh+VtS8EcUyzLzCMsMCYkHqcE tXlmw8grgsmXv17ptkECjj3AuY9gH78/VD5VQNaUlVg7LQ+jGuNiL+8t8YynjmwLVGHg aqvuBMfM/aKZgBLz1Al1wPsA8Pz5KGcjQq8dVECsNsxMweDVKW7GxaJNHFUFwF/BmAsa zLMg== 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=fnIryEdki03wbIUPs7WukMVvx/c4RhcHQLS8XpkY6EY=; b=RThYzclkJFzcyuSUJcyjmZrwcFFYXr5jVFGJfoifaRWCBEtAO3Rogte7ucOWHpmVIW /wD2khqhpRXesZpzl/igO7sWxOuWcD/1YuJQjScwvbJhdqThcV2ygKKyBpDUEVBP1VOL ohDDyVCR3JQfy8De38zlmKkN57tUwE+xzJEQyJlCbhfQuFkLVO8Xt5QzZVbZFFU4iWMA 5S74haxgPl5iURGlNyhuxTjm/z5W+SFfKd8t7MkSqbbFGPbBWxXmW44xl3vw+hE97GlM 5/ZK7BMsB1ee66ZVfwKQCrrY/wZB8Yu2ETDpulbK/2SVigkKtRbSoP7i2wFverCFjny1 IyAw== 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=fnIryEdki03wbIUPs7WukMVvx/c4RhcHQLS8XpkY6EY=; b=nC2ObslGL3Tf+o6+apvQQJTQS1qe7mR6D0cTvbaSbaXNgYK22LlaNn5eCetJzOGmWk PmYiqg+lxZrWWFV68yIcAVJKHNHeJueymtnTC2pWTavceGSEpcacuMqaHPtebigskfA4 96EpNt7VK1QK8Q/sv0CN2+g99grit4rfB5xk0dCP08wHMuajqmyztddx82QHfJytm9Nl GzPq5ZXfU8qrj/FcDbmIlWJkvUcLyWQeWuOR8IkuMh5ZAeQGi4g8U37ANobPE0ZQ5uOn 5YzUi6VI+mwXyLnhIdmAknupdlQOJbUbkiNkPQjedxzRBp4Z49sVq712uV7XNGQzBCmC n2ig== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530i/+EP5LVItdI9WFWoB6rtXSUZnZHKpiJchlfvmFSG2CwD6V2J WawNBf3D9KM9q7HA4FMP9Dk= X-Google-Smtp-Source: ABdhPJzlueqa5L5bQNX9Ht49ZQegyIvyULFw3tqXVZNcOvbM5RP5akxx2ekOAdky9Ici9ZaUosdkAw== X-Received: by 2002:adf:e6cf:: with SMTP id y15mr26018385wrm.403.1605612562555; Tue, 17 Nov 2020 03:29:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:2348:: with SMTP id j69ls1047998wmj.0.gmail; Tue, 17 Nov 2020 03:29:21 -0800 (PST) X-Received: by 2002:a1c:e286:: with SMTP id z128mr3935989wmg.33.1605612561385; Tue, 17 Nov 2020 03:29:21 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1605612561; cv=none; d=google.com; s=arc-20160816; b=lK42Y7wN8eMKUIIWROAYPwqmyfftv75ECGgu42yWAUb7nV6uz9DSdjFNss659URUbN /Bs5u3g0PMWKg85e1npMi6dQZUKD5iymJ4Z94yoIkiCOW0QPakRKCBq9EnawQacY9D52 /+tEdjN0FoFl/VBCNghyO7XCIiLhBSFvtTnemBE4TeDtXm+6ExSmuFlDXOcD9fwbTnuw I2z7vSFzyMmCRlj66tahqsU/F17K32FBci9ACV0pBo5aQGFm+SQ68fM+LgHiw9VqCetd VmhNRhUFKp2gns4czs/Q0Z7uytxFSbMjmzWxSR8ZU6YLs/wDN0j3LW7ihNiduTgaN8co ZDUw== 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=LQVuB/CnnyDK32ER1YoqHBL6vngBoSi+P67RP/Ri/Vg=; b=h+HqSf1LgudzFuYI/W2eGs8CCdr46USTRdz4dA7HLVJ81Wv9o6Ukc/dZwsKS7KTlnJ U2UjI4QsU+0FuIB84UNLfdcJnWO2ZGRs83UsIo9cmA2qNWtRVRQ8AtNmYKp9B5X1mXAl bY57HPE+rf4WWwE/o95dHTMhwmHcB2MWMOO+GtloD3mXZIFiZRVOX4Oy5XGLtYKA+oQ+ QX3T2nOcrpdFwhijzni2fhEtsHUDlGzYDc5KwB1yoJIbSrW970m5NHoI2VOF1vVxrnqr a3R14u5zf+N5dlT7m2RiM6YfLjTPa6tZvJH8VinP4T0FTTWZMaWHpXYGrBMFlKx3Wwuq onGw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=ZE9kEdWR; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::236 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-lj1-x236.google.com (mail-lj1-x236.google.com. [2a00:1450:4864:20::236]) by gmr-mx.google.com with ESMTPS id r21si850256wra.4.2020.11.17.03.29.21 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 17 Nov 2020 03:29:21 -0800 (PST) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::236 as permitted sender) client-ip=2a00:1450:4864:20::236; Received: by mail-lj1-x236.google.com with SMTP id h23so23822406ljg.13 for ; Tue, 17 Nov 2020 03:29:21 -0800 (PST) X-Received: by 2002:a2e:b170:: with SMTP id a16mr1699057ljm.92.1605612560678; Tue, 17 Nov 2020 03:29:20 -0800 (PST) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Tue, 17 Nov 2020 11:29:09 +0000 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_Reminder=3A_Erik_Palmgren_memorial_conference=2C_?= =?UTF-8?Q?Thu=E2=80=93Sat_this_week?= To: "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="00000000000053818705b44bce12" 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=ZE9kEdWR; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::236 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: , --00000000000053818705b44bce12 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, As previously announced, the memorial conference for Erik Palmgren will be held online, this Thursday=E2=80=93Saturday, 9:00=E2=80=9311:30 and 13:30= =E2=80=9316:30 Stockholm time. Full programme and other details are available at http://logic.math.su.se/palmgren-memorial/ . To receive the Zoom links, please register by emailing < palmgren-memorial@math.su.se> with your details, preferably by tomorrow morning. (We aren=E2=80=99t posting the Zoom details publicly, in order to= prevent Zoom-bombing etc.) 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-%3DCKieo%3D1ZENv-B9g2QHv4TJFdg30tn-hBxM2iBJPnCqw%= 40mail.gmail.com. --00000000000053818705b44bce12 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

As previously announced, the memorial conference for Erik Palmgren will = be held online, this Thursday=E2=80=93Saturday, 9:00=E2=80=9311:30 and 13:3= 0=E2=80=9316:30 Stockholm time.=C2=A0 Full programme and other details are = available at http://= logic.math.su.se/palmgren-memorial/ .

To recei= ve the Zoom links, please register by emailing <palmgren-memorial@math.su.se> with your deta= ils, preferably by tomorrow morning. =C2=A0(We aren=E2=80=99t posting the Z= oom details publicly, in order to prevent Zoom-bombing etc.)

=
Best wishes,
=E2=80=93Peter (for the organising commit= tee)

--
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:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DCKieo%3D1ZENv-B9g2Q= Hv4TJFdg30tn-hBxM2iBJPnCqw%40mail.gmail.com.
--00000000000053818705b44bce12--