From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBDWYNQEA54IRBMM23HMQKGQEJ53P3XQ@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from mail-pf0-x23d.google.com (mail-pf0-x23d.google.com [IPv6:2607:f8b0:400e:c00::23d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 394ac0ef for ; Fri, 29 Jun 2018 15:16:03 +0000 (UTC) Received: by mail-pf0-x23d.google.com with SMTP id h71-v6sf2657116pfc.17 for ; Fri, 29 Jun 2018 08:16:03 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1530285362; cv=pass; d=google.com; s=arc-20160816; b=dkMyDOGxWcVm5pbLtDSrwLaqbIUU4hvwkfU7g7ZQzgRY8kyNXSCPvGjiXYDaRQ/y47 JHYFc4e/xz0/5eUV67HJdLJBy2HBg77+jytmwZu7ktexQPdGdpErf8Zf02nqzYPa9tz/ 3qN3dmWaquNs41Ap+4oPYMVsn73iatIr6wDD3pCDMyg5SYKXs1nwGo5tHDr1ttjsUbYW j5vnSWQJLa10QzVPMvMUWy2KDywhDS7GxlKJgkC+9ASk0eul9qWSL5iNe08LNkAZ4UG0 0BSd75ECKEACr3n9dppRp3i8DnEQ2RV6A4pY7MywypszbXSaJ/NpZuFLPu53myDKolO9 CKpg== 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:cc:to:subject:message-id:date:from :mime-version:arc-authentication-results:arc-message-signature :sender:dkim-signature:arc-authentication-results; bh=0U1cCBR5A8Z9BZZOGTufKbfSrMEZRob9VuH8WLukF04=; b=luL3Ombsiw0fIhF42aCtj3rnjfDhMHqTf6Sd2MxEUN6DklGJ/7BReeG2Uv/iKlEggy SMDS6CpUr2XuuAp8dLmKVM95LBwTJ/hBaaFPynxbPckGPzXS0MprIqVnfaOQBdlxo4s7 BnHOFRSp/3ohMR5DOH3SZhbdipoPMX8sRsskAVeeJbPXyRFXoKqK8Nku5tW6qRobLb6t wYfVRyOsJAgDBqBC5q8MvYY5nL0/wUi9D7zNYPADmxmmVGEc7s1ZqBVhrGaOlpaD7Boh dc1ULvD9gJE7zssWLD7syOCRIuZsmTx1oe42pVkl8afRho3TFIJa2PAuWjAKo5LPNVNa Bb1Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=p1uQLYgW; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4003:c0f::22c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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:cc :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=0U1cCBR5A8Z9BZZOGTufKbfSrMEZRob9VuH8WLukF04=; b=HhOxVV43t2Ln1om7R385f/Zmn0B+8eNNjo7Up/+DdD+iKkLS4WVDl2GdJEpAqwtuZ4 srrkh7Xk89XI44j1mI5S3aZdvE2ezxx68IByE6ObWmaSLGSDkg3IEEt2p1YbXCh8Q4MV gWSovITZiRmIiYKMQkvO9kpmfXbuzSIVE2eVifFj1VUUsHOKiph/Ai+YfNDopOoABBUP /NZnBHrET02jVZ2tdIIsdI5iLRt+MkSdpiRjAL8zzsspEUcGwxa/x+IHqV/Iz29JdQVe 51r4omOfDsaLj1Ji10pAxecnjK+LUhWoKsa54HaV+N9skQ/WVSGdpKS1NmGD2ubL84K4 vEZg== 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:cc: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=0U1cCBR5A8Z9BZZOGTufKbfSrMEZRob9VuH8WLukF04=; b=PYWmqRL9csVZ+Li4vszoLAZtN9By0DjCDmgjiCrgmu5Zmexc7AQ8jvIHextE+IEtJf Ri2cd+9U0pYdbZOqg6+r0Xmt/GBm51NKB4Os+4YB0VjIeGMm94k49Jwh5qFgKutD2+Hd v9xuWahqGXbHfPv9SZBF9gRgGSx/e2EqcA7s3Oio9djSpFGus58M2QyV0ece9CrqVUXO eMQBjvTrwCQq5yikHBW2hNwxuitN8vi11vM+6Dk9Dif8Kt9wNnPy8iSNCmYKwa2z5EdJ xCkrmOj5ajN1DKHt9cmZkoIqqY4pYn+/5jNvbmq2BgHtEgFkoc9tggmi0lwvi/Odn7s0 GLfw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APt69E16/ra0bJ8roxgLJY9Y59mE4t58BgddFEjpH2n+goj5oupgaVFT al30OcsAWe+Ptb5fHLQq7gg= X-Google-Smtp-Source: AAOMgpcXwl7UQbX1KaO1equ3BvpKXVZwNXeYYr+bzE9gmRYgr3+9r4CXJzXU7A+oc1dOUuVYiZiNpQ== X-Received: by 2002:a62:fe04:: with SMTP id z4-v6mr57775pfh.3.1530285361810; Fri, 29 Jun 2018 08:16:01 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a62:a31b:: with SMTP id s27-v6ls2561443pfe.12.gmail; Fri, 29 Jun 2018 08:16:01 -0700 (PDT) X-Received: by 2002:a62:cc5:: with SMTP id 66-v6mr3110685pfm.16.1530285361337; Fri, 29 Jun 2018 08:16:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1530285361; cv=none; d=google.com; s=arc-20160816; b=wCQH6MEA1AvHhpFyUebtxm3N/ikuyPZ2r106I1grj914HF4m9MoF446eI0q7VBYPtp fmM/W+6gbFDBDcVKyn8JCDX+4nPx2LXgo6E7+PdsbUlW7fqhEH24waed+NbImIyEAqHa AS8fb9YyBkMNIHd0O6WCrCfaI6EEHoWFX91oHdADopZM7BzMfgodex2/NMjgYBo6UmIy zIhqIT78YYka5vM5lyp90t+y7wQjNJUT6gX/BiWzS+ckbv19z2NiHX2J7rjrkIAvI1t7 gN3S0co8a+a1YVAhPCJebntq67YxZlSGh7LmWAW0uusisHoI5HD1agU20ljAzloXt0uD TwuA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:mime-version:dkim-signature :arc-authentication-results; bh=Aiux0N05GsppEuokd2V/O+3xjTry0ou5TZCg8mhzguk=; b=HlxRn5ghMo9p2mNEhLSShkjeYsRV2941p50Lwl+5nnCUnpMeBwMF69D4d6/v7rMqQa n/MAyeFqp1EnT8Jce1ENlEB8MG2KyC9n3pYkGQ4Z3nf5KwBNc3zLPuTXSYRJjSTajook sMfiSYRoySkOrVbSUPWBkpmZBfePj2KdH0tD+r2C87xdvf0x7uvY0d4oH/XGWyiF1yNK n/06aJlq3/eQ7pPcnomiGkKb904Vt6FZM69GuIlEGgFxE7hBJBgwHbePFkjcqcVPRMJq h2Woc/YlBg4V0/h7onlgjbUYW9VACLIXTQQ879fvjAnyeWAEFlvbq+/nfZm7y9hSh2by 4QAw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=p1uQLYgW; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4003:c0f::22c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-ot0-x22c.google.com (mail-ot0-x22c.google.com. [2607:f8b0:4003:c0f::22c]) by gmr-mx.google.com with ESMTPS id 6-v6si114032pgb.4.2018.06.29.08.16.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 29 Jun 2018 08:16:01 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4003:c0f::22c as permitted sender) client-ip=2607:f8b0:4003:c0f::22c; Received: by mail-ot0-x22c.google.com with SMTP id n24-v6so10288503otl.9 for ; Fri, 29 Jun 2018 08:16:01 -0700 (PDT) X-Received: by 2002:a9d:1350:: with SMTP id q16-v6mr8529076otq.6.1530285360728; Fri, 29 Jun 2018 08:16:00 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a9d:2875:0:0:0:0:0 with HTTP; Fri, 29 Jun 2018 08:16:00 -0700 (PDT) From: Steven Awodey Date: Fri, 29 Jun 2018 17:16:00 +0200 Message-ID: Subject: [HoTT] Hausdorff HoTT Workshop videos To: Homotopy Type Theory Cc: Greg Langmead Content-Type: multipart/alternative; boundary="00000000000054e4cd056fc9532d" X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=p1uQLYgW; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4003:c0f::22c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , --00000000000054e4cd056fc9532d Content-Type: text/plain; charset="UTF-8" The videos from the recent HoTT workshop at the Hausdorff Center in Bonn are now online! They are here: https://www.youtube.com/channel/UC2F-j2KMho0zVWIPFKWoXoA/videos -- 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. --00000000000054e4cd056fc9532d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The videos = from the recent HoTT workshop at the Hausdorff Center in Bonn are now onlin= e! =C2=A0They are her= e:=

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit http= s://groups.google.com/d/optout.
--00000000000054e4cd056fc9532d--