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-pl1-x63a.google.com (mail-pl1-x63a.google.com [IPv6:2607:f8b0:4864:20::63a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 4cb7538e for ; Wed, 4 Sep 2019 13:03:12 +0000 (UTC) Received: by mail-pl1-x63a.google.com with SMTP id b23sf11765606pls.8 for ; Wed, 04 Sep 2019 06:03:12 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1567602190; cv=pass; d=google.com; s=arc-20160816; b=Jn5kEX0QAT3nsv/G1uEfGMkadpTJZywqliHhyVejU+t1VPAAXXcQijEmchkte229OO tkSvfGfhySPAltsdLKl1BXQD49pazd96lmrF7D6pUNFcggCwh/gAhfAGK38EH38uV536 HSLy5CC9wau7iC0NdNvFAvmg8Pgb8dqSZH494UMMJPmSaYTOqu1sWCBb0rJTclEZoKk5 tKG1NbPx3HnQNdrFLF2o6d7zl39i/piTFjKTA42dwU/7gmLTCczl8620eDEACSo2spg7 PuitqTWefvLzY/va10NY9igZLxMMEcYzlNHcdBLSPV1npC+5bWb2G9Ip61l8YcYf17WE GplQ== 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=86x8Cgm6/QfLjpf5+vNHSaau6ec/p2nHjZEOm1yAstU=; b=A10WRHsb1OmCny3RBAvKmw75MEFD6WaAONA6x7x3Do/Pf3E1gRvpWho1iw+/p38QTo MA3MdnX65WhvkEe3GTT71Z6rAY4PEBcPb41ytImeB4gMlfCoHZW+uQRna5xCMozhh0mX /grZDbaaGLlpdCsAiQuaO7PmMqpf1d0H6qD4mP7d4O/TJ+cm/3mIY7xDM8Ggs9Cv4+xY 2effTgNfHYPpKkuH2tqbVsF+Qxm2Siofud8WG8BeyDlj71+ZL70+gmzPdVqmXXLf7hWx Rqe3Y321u5f6yv8sbOQxRksEuWj0j4ViOlrJ0mhdIsHsN3JlWyUVmgxjpPH96Etf59d4 JS7Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=JYhcnsmp; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::c2b 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=86x8Cgm6/QfLjpf5+vNHSaau6ec/p2nHjZEOm1yAstU=; b=NvhZIwS1Y4BR/+oYegPwpK9X0oCXTHAL0+HnUpc7v/06saWxeu0jIw8lWbw09JzWCP nZxFAEWVYTCwnOQ+IFArI5qTfZOXuAfL2+qdXQYfnwwXUn/DICg+GRNvtir7e8E33vZw SR16orrKCSaZEkfnDfbBwUBF8OZqMYdhwnFhQZQJ7m93y6KhR8biDdCmcU6KLEg2QleF 7GiDw9tTBk7fXeleXMgQ5buQkD12m05uAPW+LXGVIC7dEKaT8kSNHlv9W16LMGjAgJy6 Vjq7XmRZPKETtUqCQIn2kJWap/2sxJNCYIkttDcAbYZeQpXsSn3N6J8YSijbsGQeklgI uBsw== 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=86x8Cgm6/QfLjpf5+vNHSaau6ec/p2nHjZEOm1yAstU=; b=Ok62h4QKXFQ/SNlsnQdNS+L6tsg7Q7mCtr+G7pew4s5u6JxrIbIMoCF6mPHmWhnMbK qynUec5WnzbkNQZx6BquUMHSz87yLKl+plC5gpPzdfFsy+TRMXn69Qgte2pyjUdRwifq QqXUBSceqCBoV0i5OuL710UXckspY+yuP2IZ/+4F8gaJOottpR0w3/VqFcBpMMw6P34R vwCPxGoiWUQ13JXmhnfXA88gS9q8o7ofkIs0aphirnGlo7BSW7R8Ou2L1OmmH8rdSJGN sPFQ25AD5HqeSBoZuvJyU/DeeuF0NeqfIR+4H6a7oB+Q0dM2EayiE96IhWSrNkbdk5FC NFzQ== 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=86x8Cgm6/QfLjpf5+vNHSaau6ec/p2nHjZEOm1yAstU=; b=njLEdKPa8oechHUbO+0tIwd8a/rgWWZ2dRM19Js16CweRxoyFKnRB4JfXzwkmVWhG+ +DbBAF7ZN7tfkwz3SkKjvhjl2P3QLavLyJAkIHUfO5yikHQXefMSoAp78bVoHhcQ3FPi yKiz8cgmB04dmsE8kbcep2BTcXEGBR8DuLHI9Zx6J1SBEjkzIBvtdKT0tNIswrcfulyO Y+ed74VwXRVReQNhwcUzQTYLQCKpD15M5NtHnauRIQleeWOAQPgU5lZaQvl8fFH1O/dM 8X1+OCoYuJ0zfssf+Ke6v8WhGDBXuoPBFduKYVT9HwU+iNQYD40VTVObFgsuLaopPRDL gFMg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUIqjsFFKPijGI+lt/qsn95uHJ8Fsv39A68QzRbWKaHFh+USA4R TXUennQ6hrgt1pQGXN2u7t8= X-Google-Smtp-Source: APXvYqwvL2hmLbOMKQcieG1ndsnys18NDPTINWUT+jPS14tuWLnlLaiERDc2mNoORBqOj5HypKVkMA== X-Received: by 2002:a65:62cd:: with SMTP id m13mr34789252pgv.437.1567602190068; Wed, 04 Sep 2019 06:03:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:9a81:: with SMTP id w1ls2133987plp.2.gmail; Wed, 04 Sep 2019 06:03:09 -0700 (PDT) X-Received: by 2002:a17:90a:3aa6:: with SMTP id b35mr4888604pjc.94.1567602189738; Wed, 04 Sep 2019 06:03:09 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1567602189; cv=none; d=google.com; s=arc-20160816; b=ZNy1coiuJ7voZL/x1CU0G6RusDZdrTK3MjrlxHcT8Vxwn/phK9ck9Vku56dqaejo1D uh27q3ACLsY0Jj84SLCEScWOq2+Q2aZivN57P5UkbSXG+pfgXkH1Mj9ca+hsDgCgkrou 5PceMxSIMRY95vOjnPRUB4XJqewP801uHJTKEZn7KrUYPRaRBmUHoVmlMhTv50KV6cCX IgU/HkOouFu8xeJ1pmER0cDlBYgtcwZskEV6+CAHg6qCCJE02s62naRIue+NcBZBOZIN eHKJ7v3RkuTAQ14Mx3rkcvBFewp9TrntJOQ7+/31cS4l0HFTvXoxub7nxzc+SL3ZKK0J F7KA== 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=IxlDqwiVweeY+051M67bMJQLF6zBnX8BQxFWMAj0+OI=; b=NV9M49vjCMGc8n7OrX043dDI5wWD4sfr9X/E7TEMxnpLTlYbt3fsI9bVAzFobart2y iXg4PM/Hru0kor2aVofhDt1XEcebMNane1QpMinOnD75tkkuSelIGSa6EK9lTL3BLgkk AQDkpRfmxrA9xZdyZdi+moWYP8NUEi53TCwcbP6FaQR3QNNbR4Dtr92L2lSgWH6l1F5/ ryLCI2hoATlOyl0Bo1w5FE4m8zBWLpTHs3KMvLOrkkAVcGo3myejZYBAZR20SLhuxiIs Bpgn8oMS3mDF0tc+LsHYcz2YelbnbXd9NBkAPhxek2EcVl+KVzZg9+xDZi3ea+PrKeIR kNdA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=JYhcnsmp; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::c2b as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-xc2b.google.com (mail-yw1-xc2b.google.com. [2607:f8b0:4864:20::c2b]) by gmr-mx.google.com with ESMTPS id c6si682282pls.5.2019.09.04.06.03.09 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 04 Sep 2019 06:03:09 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::c2b as permitted sender) client-ip=2607:f8b0:4864:20::c2b; Received: by mail-yw1-xc2b.google.com with SMTP id n126so7255701ywf.1; Wed, 04 Sep 2019 06:03:09 -0700 (PDT) X-Received: by 2002:a0d:d44c:: with SMTP id w73mr27812989ywd.322.1567602188837; Wed, 04 Sep 2019 06:03:08 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Wed, 4 Sep 2019 09:02:55 -0400 Message-ID: Subject: [HoTT] HoTT Electronic Seminar Talks in Fall 2019 To: 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=JYhcnsmp; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::c2b 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, We are pleased to announce that the Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers are: Oct 9: Andrej Bauer Oct 23: Anders M=C3=B6rtberg Nov 6: Andrew Swan Nov 20: Benno van den Berg Dec 4: Christian Sattler (TBC) Dec 11: Richard Garner This semester, the seminar will be meeting on alternating Wednesdays (not 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/CAEXhy3Pdi4TfpmCyTPSw_p-brqiFxM9zJXsp4rj2NqB7KpWmog%40ma= il.gmail.com.