From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.31.167.67 with SMTP id q64mr20550932vke.12.1463404552847; Mon, 16 May 2016 06:15:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.36.208.144 with SMTP id m138ls639918itg.42.gmail; Mon, 16 May 2016 06:15:52 -0700 (PDT) X-Received: by 10.50.150.35 with SMTP id uf3mr12569348igb.13.1463404552389; Mon, 16 May 2016 06:15:52 -0700 (PDT) Return-Path: Received: from mail-io0-x232.google.com (mail-io0-x232.google.com. [2607:f8b0:4001:c06::232]) by gmr-mx.google.com with ESMTPS id pn4si410802igb.3.2016.05.16.06.15.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 16 May 2016 06:15:52 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4001:c06::232 as permitted sender) client-ip=2607:f8b0:4001:c06::232; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of k.kap...@gmail.com designates 2607:f8b0:4001:c06::232 as permitted sender) smtp.mailfrom=k.kap...@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Received: by mail-io0-x232.google.com with SMTP id d62so208001873iof.2 for ; Mon, 16 May 2016 06:15:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=3BFPEMfscx9/3manQyp3c84fXp15WYAqwxkKoipzDcU=; b=S+hpN79fa1HvETaGHggKwIxYhdw17c3Q5PYEcxk1Zd3sLbnjW3OfaY3x0wvqf2GY7a Ra3o2l4yDvS6g+sJLCkaSd1v/5kUjF3D6XFNDXuzrLGDsuKouw+b3aJ+WzSNqT+PEQzH UF7RfX0u4wRrxPvCrUA2iJE06IKgvrrcNEGrDIETJCnYfb5miSDhImHF277Hop9Iw9dY hajFQLtMdStDOhBEOKk/l6gCV2vDowmvcddCeeE2NesKrYUCS1RzbSIlZ+lAiGoj2RIb JWcP20J2wKfNzmoMQYUE2TI5FcITjE+BSlKueAYJqbpJ8nV0sdKCgKkiyQITLJNamBuy EkTQ== X-Gm-Message-State: AOPr4FWzeW/7QuPF3kQk/5FMWQCFDeZYV8ZuiMI4PSHfE8tDBgsXJnEmvLGuzSK6R/wRwSIwFnLrjs6auCyBMQ== X-Received: by 10.36.25.83 with SMTP id b80mr8940301itb.29.1463404552225; Mon, 16 May 2016 06:15:52 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.162.81 with HTTP; Mon, 16 May 2016 06:15:32 -0700 (PDT) From: Chris Kapulkin Date: Mon, 16 May 2016 09:15:32 -0400 Message-ID: Subject: Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute To: Homotopy Type Theory Content-Type: multipart/alternative; boundary=001a114401827f8a6d0532f56c6f --001a114401827f8a6d0532f56c6f Content-Type: text/plain; charset=UTF-8 Hi everyone, Hopefully you're at the Fields Institute with us, attending Mike Shulman's mini-course on Synthetic Homotopy Theory. If you're not, you can still enjoy the workshop using FieldsLive: http://www.fields.utoronto.ca/live Have fun! Best, Chris --001a114401827f8a6d0532f56c6f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi everyone,

Hopefully you're at th= e Fields Institute with us, attending Mike Shulman's mini-course on Syn= thetic Homotopy Theory. If you're not, you can still enjoy the workshop= using FieldsLive:


Have fun!

Best,
Chris
--001a114401827f8a6d0532f56c6f--