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=-1.2 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-pf1-x43e.google.com (mail-pf1-x43e.google.com [IPv6:2607:f8b0:4864:20::43e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 35f48905 for ; Mon, 21 Jan 2019 02:35:39 +0000 (UTC) Received: by mail-pf1-x43e.google.com with SMTP id r9sf14942055pfb.13 for ; Sun, 20 Jan 2019 18:35:38 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1548038137; cv=pass; d=google.com; s=arc-20160816; b=UgMeXNeIt4FV7l+sGTAMlGLK4ovS47bNAIX8Cd0dgSGHh2uEpD03kOYGfHSf1gUTV3 UmIm+yExaiE9Y8dDkSdwJf1LcQd0rlHrRZxCkQCWG9wIVoCHw5ZAwI+9ArC6Jl9msm3H zuagtJPHKdGZldeUqn20fTM77SmeGJUqpirx6pGOzUnm2/+jFYVRpkgX62dCRzsMur5Y Tn/bAZp9h9HXLPD3OOTbaPGflzSAluuYcEPs4QU8rvYFSlloSRZO1lWa5J8mSt3rySv3 AUl5t5jCWTATwSVamz99Y2Cu0TMBfuN/HSQVai6U1toEbqQVSMdBOSwXzt81Ruvkl5Lw g7QA== 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=U3q8zIUAm5k3yCj1x5mc94bzFuruTUGP1DAa2WOVzmQ=; b=uQLR1cf8YcDReAWVEsnU6pxpHk0guUP5DV9MUDwCf00UTj+GqVo6ITs3Mlr4wFDHTK 6CTfOeXPoTmm5X8ZrEj3fkNkLZDuHyF1fzxpkhsIkeeMOq9lgcr8iFQ/7fAUiX8H/0m0 qqDOoiTKoeeZzjAkeQgugA0bxkWFfCV69qNOgHsGXzg2dD1ezcFTnQJpDLg/2mWN9nsr 5XhY0bjlWDqbPz9pvMQG54G6Q+bzOLb7BV5z4XZAdkThQaRnGybpGNKdPP7RFGVA06RB sAZ/9NEDV4Pp/EYbHLhyC5m5GxS8Bwz0YYhQr/x3SoaRrRRmZypbftBCyIFScYiAPvDS 4tIA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="s/4p2+Ne"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2f 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 :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=U3q8zIUAm5k3yCj1x5mc94bzFuruTUGP1DAa2WOVzmQ=; b=CENrrcCJLliKT0mVvHzCCgo7ewcDnMv2XdwUh1co1SFxenQoF4TA/2NxDS9/n7Zr2x nYfuEGODH3r/KFs7QPPzukBBGMoW0vAnf7wyuDZrpDvVvg+UO1MFpjPoJubSzf3rviBC l12awzJlJG/Y3LUb6Nyz64kVYdAI9sRKzHa6JqCQ0SvKGR3KFpOdCM1N+IH5D8tTCxbz xrIrp5RAyiXLt7BH19ll2chDGv7YRh75zPcNXCsrEpAxTGCA47ntutuUWvVT+JuRa1h2 qKNUHETVUsRl8UxiU6KCDztdVJUYsd8wGVdA1JB+rbFv7hozoN8xVu9jcaSwa0pQyNfK 5obA== 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=U3q8zIUAm5k3yCj1x5mc94bzFuruTUGP1DAa2WOVzmQ=; b=mJqeUJT2EFE/FZin5vfDFKqwCDEF34kjYHPH4RIspYDNi6smYCq3PFwZTW5565UbFV LlLg0X0SAMKWEHnPgeUORjoS5RlJ+poURnqMEUlFh4BIY+GJCm2d3PmvPYsOcUx1dEY5 fJoTLfYH7K9+ksMpjpWB9e13xziG7KjTY1YCz1O4HkHQtXz6nPi+jWPkmOSAU+c152m0 Qf3d7EADUT6iSW4h5IkLX5uZHwObOpu8isZgG+xpCgQE8PMUXYwyQc8UCwQNV8IIWHqG pRrL+Muf9PFOaeY28t2mRkNksFkvFkeNaOk5rGigiw24xOM9+/fn6T1xe3PTPtxP0fiI dGyA== 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=U3q8zIUAm5k3yCj1x5mc94bzFuruTUGP1DAa2WOVzmQ=; b=c/8TWjSYryNmCZHg6Z4tsqR10ZCLioICECQ+9su0vEVca6xhcFw9xNCiJdhLr4BL9i ySaytMDTxPNdeAAfWBzjJiUVmIKoVvyYDZkZbxz9QJ5wUKJakD0Qr+EpJv9UbTXQRywn VEzAX0EjAjI7NYnHyyyt4iPE+YPAV5nia6gtjUn1vloP+Oji8bWz3Tet6/pTeBghaj49 FHnXWiJIph+GW/Wr0/VOC8kq/ayngW+4+gvVgNzQHqeZij1T6OGpBDE+8mJ3Pw7icFSV p9pKzTOEMQTu+HhRu4Ev60B6DhbcVraxHvlOirmdXNTRtGR+8S9goPUTP0AH41bJdeMp NjyA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJcUukfiKwE+H0+SpmTFEb2wCR7JJol9gs4R1yyW3BXNK7DCKmUY4lyv zbfWzUWj6IkPSpK/TQ3NIc0= X-Google-Smtp-Source: ALg8bN6DN5b2lZAYlsqq98/hMQ3N4r6TMyTf4iQv1q3i33oFZaHWAajNOqZJn8WP82YSiQfQgtb32Q== X-Received: by 2002:a63:2a13:: with SMTP id q19mr120515pgq.3.1548038136879; Sun, 20 Jan 2019 18:35:36 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:b946:: with SMTP id v6ls7732680pgo.9.gmail; Sun, 20 Jan 2019 18:35:36 -0800 (PST) X-Received: by 2002:a62:8dda:: with SMTP id p87mr7963622pfk.36.1548038136535; Sun, 20 Jan 2019 18:35:36 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1548038136; cv=none; d=google.com; s=arc-20160816; b=q+kGzylaJq4/Rg1K+5ZDGCva/z9YqwEuu2uFo+j8zxMUqONZby7DGg98H8Sb+6z/sZ 3EwQJvsfFj1WA73h4U+hnJO0P8xr1XNzf6PI6P5+FJhmzGC5KuWTel6W9Rq8aq3k1R3f xz7FLP+yPSd4oNxMYZK8SkcJxCrjFRNJfsKvQuVvhdmSGRdFmQFwSFguxQr6gPf/uCJs zGCPSn8lWQ3YlxdXxsD+x6vDfpasmCV3w9EAe6cyYm7NJdxMJuxed4QLj+rskmWn79Wy cvhrbCE9j6GyjEqYO/Yw+D6qSqNgVXSeOPM8XkX7D0yZWQDMCOERu76HF4KIktTNz3xS QwoQ== 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=4gEyteZelIhXrjx3/O6+BEYbAJ5FyYHCw72RDN1mBLQ=; b=zPr72wBaHm9VOjokJpei6pnF85Ab8uO45xLpr/Z5UIgvs4uObuFMAzrMa7xkFXeEv/ 4H7WZEZrb36VXQQ4NtiVQYvecU1R0m12qS/fzdCctPi3sL1ng/Xh/eoCrRSqMNBI4PWs cezcxjvKszCNav3I/2Jeb665bAsTOygZL3EYWHr8d2SDHNaRP6bB/2cPk94wFN/BUMMs KM0IexJraf2lSIN30Xg9tWvSMi/eDnpQvWgad8v/+nLwtfDtiA7tjFB4X51oicK2ZIEP Ka2ggc2f6mcgKwawuMAHlQ4G3+M9c1npEJDVG3mmVTLQiu5XijebIF4onWetQY7S+jy4 Qegg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="s/4p2+Ne"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2f as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-io1-xd2f.google.com (mail-io1-xd2f.google.com. [2607:f8b0:4864:20::d2f]) by gmr-mx.google.com with ESMTPS id d10si681973pgc.2.2019.01.20.18.35.36 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 20 Jan 2019 18:35:36 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2f as permitted sender) client-ip=2607:f8b0:4864:20::d2f; Received: by mail-io1-xd2f.google.com with SMTP id g8so15280967iok.4 for ; Sun, 20 Jan 2019 18:35:36 -0800 (PST) X-Received: by 2002:a6b:dd0b:: with SMTP id f11mr13728584ioc.45.1548038135804; Sun, 20 Jan 2019 18:35:35 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Sun, 20 Jan 2019 21:35:25 -0500 Message-ID: Subject: [HoTT] HoTT Electronic Seminar Talks in Spring 2019 To: algtop-l@lists.lehigh.edu, categories@mta.ca, Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" 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="s/4p2+Ne"; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::d2f 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 2019. The Spring 2019 speakers are: January 31: Nicola Gambino February 7: Nima Rasekh February 21: Simon Huber March 7: Evan Cavallo March 21: Dan Licata April 4: Joachim Kock April 18: Paolo Capriotii May 2: Mathieu Anel May 16: Andrej Bauer Per usual, the seminar will be meeting on alternating Thursdays (with the exception of the first two talks, which are only one week apart) at 11:30 Eastern. For updates and instructions how to attend, please see our website 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 -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.