From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.107.47.227 with SMTP id v96mr4540199iov.41.1518014059881; Wed, 07 Feb 2018 06:34:19 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.128.22 with SMTP id b22ls401153iod.1.gmail; Wed, 07 Feb 2018 06:34:18 -0800 (PST) X-Received: by 10.107.12.227 with SMTP id 96mr4545413iom.106.1518014058881; Wed, 07 Feb 2018 06:34:18 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1518014058; cv=none; d=google.com; s=arc-20160816; b=NUpGtQmjSRGiOFJgKJ7jOquQfmMuVNNxjZepUxbYiuzEoAqMm24UjUN5KIhoF7isMT OF4O1Iq8Db71rZl2SV7K7C3zIJ/YTyeSzipCcgP0iC6cQ2GJo0h6y+4FleNxBOEtLYWi Jic/Y6m+WUFPGkv9y1DQBVJsVNetzKXTTLp1Hp5KHwXXZk1C6DgoJ73wVoKhHDexsAjp dVkRZlMd0Zv4q6xXyBrVXxU9pDyAqWDKlksK4aUQwziuOM/gWehfS3lGom3O/ZgW2Jpl FYrHBAUNynUZTeRPkWbturAgzpLTg2LLCyHhXqscFZZ25DrHvFgNVID5XFpR7PyRCVji iPoQ== 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 :arc-authentication-results; bh=dhld6HDaTkPqLZMLGtjGsVj1tnfDmD6VogGEhfgxUuM=; b=hjgry4e22dH67DWIeI9lVXwR+tUgMiqQtZuqlvnNof9esnVaTlzRCq2ut/6+Bd7J5u qIyDophx4DMvilbQ6kB9p1bqvcU3T3FryDKXlXjk4QBVO7a1reQSBmu2fj5mXAGCKfA8 PNo7AbufWTaIRIHYQWVpR2D1IcXNx3DsXUOp9a3GZ6763NhDZWvDXxTFlJoCP2161+V0 fudqOfxbY8fBRKdt966nNw66M5bX/3dvxUZUFxb/gXkU0sjZeLBF0MgtfQo6ws8l56Bq Xj+Pb7VzoAdjFSgblwHAS8KIr4JJulQ4H5IpG4W8wylEiqb7R4n0ij50/+4sbyVnY+/c zlrw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=pI7+gjmi; spf=pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4001:c06::235 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-io0-x235.google.com (mail-io0-x235.google.com. [2607:f8b0:4001:c06::235]) by gmr-mx.google.com with ESMTPS id p101si118622ioo.0.2018.02.07.06.34.18 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 07 Feb 2018 06:34:18 -0800 (PST) Received-SPF: pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4001:c06::235 as permitted sender) client-ip=2607:f8b0:4001:c06::235; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=pI7+gjmi; spf=pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4001:c06::235 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-io0-x235.google.com with SMTP id d13so2204634iog.5 for ; Wed, 07 Feb 2018 06:34:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=dhld6HDaTkPqLZMLGtjGsVj1tnfDmD6VogGEhfgxUuM=; b=pI7+gjmiCf9qozciZQsbnhJwFmFkEkJJwSnKlJs6kxsBiZLRs0sTzZAsKxNzJeLaLe isny8Ww3vW6k8OK7ZyDUDWiC5ZtwzwTXvNwWr8hs2E49I/ZH0ymEDtP77wirigss9D7o Ex2xiBy7KuBk5Yxiye++LRGJBsi88D1hONAgSokpZaT13zdAky3FYZOKZ5j7JXHMO08Z YMvZfzGV65qEOq6ouSQlnMKDwdoHEZjCS2jFKXLhDyb7YfxV3k+Ez22AvEoRaUZBecsI 3LH4L+hAd5kxvpiOO3LMwl7W8D8pIIeIZsWytosXmIrYUychnkUotzsb8VcZYzHp5An7 fKGA== X-Gm-Message-State: APf1xPBiganedeVq6wquw9n9n1JrxJ0pcFu6Wxl7U1vG91oDXjO+BLAM 1mJzsqBlmc839hq464UH1mWj3jgTAHbRCXMmzuKwPQ== X-Received: by 10.107.40.143 with SMTP id o137mr7703276ioo.72.1518014058282; Wed, 07 Feb 2018 06:34:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.227.133 with HTTP; Wed, 7 Feb 2018 06:33:57 -0800 (PST) From: Chris Kapulkin Date: Wed, 7 Feb 2018 09:33:57 -0500 Message-ID: Subject: Homotopy Type Theory Electronic Seminar Talks To: Homotopy Type Theory , categ...@mta.ca Content-Type: text/plain; charset="UTF-8" Dear all, We are pleased to announce the start of the Homotopy Type Theory Electronic Seminar Talks, a series of online talks by the leading experts in Homotopy Type Theory. The Seminar is open to all, although knowledge of the main concepts of HoTT will be assumed. The Seminar will meet on alternating Thursdays at 11:30 AM Eastern, starting on February 15. We will be using Zoom for the talks. Zoom is similar to Skype, and provides software for all common platforms and devices. For more details, including schedule of talks and the information on how to attend the meetings, please see: http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html The inaugural talks will be given by: February 15 Peter LeFanu Lumsdaine (Stockholm University) Inverse diagram models of type theory March 1 Emily Riehl (Johns Hopkins University) The synthetic theory of infinity-categories vs the synthetic theory of infinity-categories March 15 Carlo Angiuli (Carnegie Mellon University) Computational semantics of Cartesian cubical type theory We are looking forward to seeing you all there! Best wishes, Dan Christensen and Chris Kapulkin