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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ua1-x93b.google.com (mail-ua1-x93b.google.com [IPv6:2607:f8b0:4864:20::93b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4974ca7d for ; Fri, 17 Jan 2020 15:47:01 +0000 (UTC) Received: by mail-ua1-x93b.google.com with SMTP id i12sf3930342uak.21 for ; Fri, 17 Jan 2020 07:47:01 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1579276020; cv=pass; d=google.com; s=arc-20160816; b=Fmup4emEXIQmatzVBdAhBVuymNXEdtsZI5XhruOBnN7/5PMOS6QpTwWfAq8/wL/Fq0 visEfjVRrJ8EsCZ+yXfR5E+fTR9h287y9ML5/iDRpFJ7dh13SvMwqi9kaCBMOcELoVKD ePs+tdjx7zzxZiKs28agFwGkdrULkZRV0jtWSRQ/2E5udUeQwAewEj95uADn+Il6y2N3 pKrF0OQn4ql8yb8/oKyGRanYO+lyn2WwLdhOQuWmH0IPUcQJwJ/ETuGiRV4SOIVNvoTZ UiPWZoFIRioI1PbITmTT6PlgM7Vs04TwOvkDOxdUfkJFp5r5m7p7+jfBFkcjzQSaU+kC LX8g== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=B5c674w6imGC2T11G3CrEKO2udzYrKe9tJIDSgeXHvI=; b=PRcKdwD8WeE8AaHioDI01s7UEbEfPhUpscq7W8DkoTd3IS7ftQYVUD4LBUpKuFIM9a zG1EGGKOFob9KJyIX8hiRCudfQ3KzuKnbSfqVzTOso2QJV23cEvSEWV0+bE4Ob6ZAKOI eFcsWNAss2ncr69VunPiQtGaGe7PiVuTCwydDxZbUWzSHGG5ARRKPfQwbmSDJe07inJk +cM8nGsUSHR7lFxE5ZIU+p+F/sKPKzd2NvEcDAMJ+QQCTiepqgqzYdFpNXtVLd3b17z2 iMuHKavQql1vE1PntbBJ5vqAdk2ZPKQM3kykzdN+MgVZYgcIZeZkVuuucKF7qHAiW2jd scOw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=p1b9BTLg; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12d as permitted sender) smtp.mailfrom=k.kapulkin@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 :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=B5c674w6imGC2T11G3CrEKO2udzYrKe9tJIDSgeXHvI=; b=HEzDemToqtf/lj+J5pb8Mq9/4ditM0FegPVG5qGypXX4Rtzg72Ea6eoJt7OUe2iUoo /eYGCo/2ubW3tTjULuAVs4kZGoQncwgUiuB9ZRizkj5ueUR+1/923arjyK7WEUrnV+D4 vEUF4CEeREikjrCRob0Il02yu3QBjxlSnDmg0lGzksIUPdCVmhHOK+riEkSpo6MwGhyT WX7WLItpfOBolRJBjR/aHcJsUH6pK0cSOUDjz/C+nL9KtVhJ4dbpJpLt22ED3qo8mQm/ NQGWSqKe9+AJwxtEwmKC7LRH56g02Nh+NSgSKbNywoot4ZN2aBDXN8DQ7MQ4vHmlBv1a EnXw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=B5c674w6imGC2T11G3CrEKO2udzYrKe9tJIDSgeXHvI=; b=rW4I1kScac5kHqDgVfPmWI8N2dIDf9NOsd3PPV0GDT0A9Uzp/LwlVVieRbVB/UKo7s cMVHlm3jmHsLMze/clBsQ6Ub3Ln2Ij7DV738SLsSWVy7paF4Hw2hEyzojfQvBXz4dMtZ J57dqjbZ2At4i+73EN7OmBo2AJlE7NzXKITdYnA3Ka+Jlv6FrRcKqoR1XtkhBigpEBxK 01DFQhz5UqJASA1vhgRwp1m0Cu6HlnOhfkBXC2odeyc90NLtLhJR2eSoFn/taCuTeygz jPlSb1Kw2YQ/yzEAK3FujUUIex+gDjQagUES44F4KVxv1TpJrxT4CsA8o+MpyxRBM/1F 6EzA== 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:content-transfer-encoding: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=B5c674w6imGC2T11G3CrEKO2udzYrKe9tJIDSgeXHvI=; b=XQOkydunPiDRfTEYHQPgb3fgLwDh5LJyDPjbRPrJUG2gNRvEaEEpueoD+I8C/Gb5Nb ZpGHzYQMne2PsvoicM3Z25hcXfC8s0Cs+doHtTB6/QHie4MeSYytB91jPcaVtg/UzuDH LQYYuS/li73TOFfLINHtzG/TQD5rU1J6Cdpd66fzRn794PwZ/4FH1gX+QF2+W2aJs3YX nA2/qT24VEudxH7mEp8Q+9llcYg9bfMZrYustugifh01QdC2sUnzKYDp/wG+O3PiCiH0 Fd2TwHO1PacQHG8Q5kvIQGO0cDkkNrc5Xoj6lc+YMLaENmfrRF59/X3pbQXUm2QXVdFW koyw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUOERz57+bEqv0B3JfrABh43WO1wHkcH3GQhy6Lwr0e+oLAtcGi aBBuLGLQF6jagHvkZIROTSM= X-Google-Smtp-Source: APXvYqwJ1TVI+0b2Jh+EUSEHQywG73I1sws2w51DWUlYJHefDEOmins2nN45DHT0JftcvwmXAUVSxg== X-Received: by 2002:a1f:3a8a:: with SMTP id h132mr21720065vka.95.1579276020767; Fri, 17 Jan 2020 07:47:00 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ab0:2a83:: with SMTP id h3ls1489718uar.11.gmail; Fri, 17 Jan 2020 07:47:00 -0800 (PST) X-Received: by 2002:a9f:3ecc:: with SMTP id n12mr22691803uaj.45.1579276020223; Fri, 17 Jan 2020 07:47:00 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579276020; cv=none; d=google.com; s=arc-20160816; b=Av5beptg520v8KFmC7UVnfftP3PiGJhOzhge7j5Khrsr/6UuDHMFRFDhz5mUWe21CM eHWbFM45OW8LSIXujusWsxf4AiMpx3oftkh3Jz2V3QVvny8pDs1amod9nYPonR+ASkaS WolVRbbNzbPE//32yYnxUuT4jVW/W0hrh1dQVjFle++LTjFE4eL0KNI8x/SoywAiZxD/ j0OhSCLovhCgNIeDD9YOVCWf7K4BKPZ8YEY9U6dOZ3I+fOCQA7plG2im9l2CpM61B+nH cbP7OsPOlZkmXCg3J0op8T3wfvEaIwIjLmt4tB/OOMAn1ZxO4axwS6vjw+1jic0xCz1m lSwQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=4GOMBWqJ7qOi6vrqzbWXqL6odcyacCFrbC3PKMIvV50=; b=1J58X76P2QTkI3us+pxOa0F9QD36TRGrDqWAQdSjw4SMY0iAiSom9wPGcLwzTvTsPl UKurn+fY4p56W91TeR7uZ2FGoKsqm4eU4iuBk7f/OKN1Tnb/D9PggKmKXAw1T2DqVCfH j27plQSml5syfqnN3PZAEksuomDi75i+3h4Q5lzYCb5j10Fwa2jdftOkbPtkN+fJJqt8 hyXjf5at2cwZzBG93qEAdip8pnmTjhBqkyj6CX8g9T1HVxakY438JKdZr8SOWowxz1B4 JeLbU52Go0YbJv1BQBwxJdjkOSzAiTWQQp9EDutq2qd1nAvh3BnljQCzXN/TfSS6MQhV gQWg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=p1b9BTLg; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12d as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-il1-x12d.google.com (mail-il1-x12d.google.com. [2607:f8b0:4864:20::12d]) by gmr-mx.google.com with ESMTPS id i27si1109636uat.1.2020.01.17.07.47.00 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 17 Jan 2020 07:47:00 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12d as permitted sender) client-ip=2607:f8b0:4864:20::12d; Received: by mail-il1-x12d.google.com with SMTP id t8so21647315iln.4; Fri, 17 Jan 2020 07:47:00 -0800 (PST) X-Received: by 2002:a92:910b:: with SMTP id t11mr3478366ild.195.1579276019929; Fri, 17 Jan 2020 07:46:59 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Fri, 17 Jan 2020 10:46:49 -0500 Message-ID: Subject: [HoTT] HoTT Electronic Seminar Talks in Winter 2020 To: algtop-l@lists.lehigh.edu, categories@mta.ca, Homotopy Type Theory , HoTT Electronic Seminar Talks Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: k.kapulkin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=p1b9BTLg; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12d as permitted sender) smtp.mailfrom=k.kapulkin@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: , Dear all, The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are returning in Winter 2020. The speakers are: January 23: Simon Henry February 6: Niels van der Weide February 20: Karol Szumi=C5=82o March 19: Jon Sterling April 2: Denis-Charles Cisinski April 16: Matthew Weaver The seminar is back to its usual time of alternating Thursdays at 11:30 Eastern. For updates and instructions how to attend, please see https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html The seminar is open to everyone, but some prior familiarity with HoTT will be assumed. Best wishes, Chris Kapulkin for the organizers --=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/CAEXhy3PLLqMvaFZnOFFLFk2QF681KuDMC%3DMLd32kHg%2BwAqgruA%= 40mail.gmail.com.