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.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x33f.google.com (mail-ot1-x33f.google.com [IPv6:2607:f8b0:4864:20::33f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id da88bdcf for ; Mon, 18 Mar 2019 16:53:16 +0000 (UTC) Received: by mail-ot1-x33f.google.com with SMTP id 94sf4897213otm.7 for ; Mon, 18 Mar 2019 09:53:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=WZV+YkqqkpcbroMBgnGJXkeUWrEwUP8b3fdMi5G2vKE=; b=PTkan2IolPi9dyPqbuaRq+PtH7qKwo1l5ZYnW086SE2in2NSFiDG4s2n8rqhW0EPZk MrkVh5qe+MfAGS6hrd5A8m3UuFcoI0NBxwHvfwtDXtHSPBiROq+WSH+jDTc6nJonZQhc FkXdvK13wjB9O6MO/Jc6pg0OI3Z6I2/hE2NO8iNG6YUVlnecWnNJutuz6fHTqq0ELM8b yBBIZsoHlN9uK4O0P2Vmt4K2Zr/c3B+reBz6aREICei9zlIy3aHIdObQv4PUCwGdHNqd 2thPZwUQhVr0z/CAv9pSXlkTJOxGEEl1WhPgOtIHYwAQ+iSZsw1ZKdhKeOExcGjth2oJ MAxw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=WZV+YkqqkpcbroMBgnGJXkeUWrEwUP8b3fdMi5G2vKE=; b=BPel7DCsRLVJAJsrKffwRwmOhLqG3GuVS2Bgx8PvbFj6GahQ9XClzXWBUlcHKwbQ0O UyIicgKBcJg0QOe50ai30i1M3Jn1HePNRV9HCOcTzCEXH6pszCK3rbxNuShsY7cucygs 37pSvHXlE7gCkZ+n1uHgHKIAHY3SGh2uo63484TuGv4ID/HdY1+Bc5PKnTzMrM/SiDF/ Elq0LDHFnjRKjZc9wDT2oOEEqeGmhjyF3MWoOrgvP7rJW6Uf23ZzwW5JBtck3fHtKTf6 Y4QnNYF9sDoktzwyz8rSOq7ScOW+H/d+0L9mpul7g2TDKh9i081ksH+rgL7UWUUmCrmx m/+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=WZV+YkqqkpcbroMBgnGJXkeUWrEwUP8b3fdMi5G2vKE=; b=QAEmkW6RNawxSuNIFyHidn6aTO3dJgWONzp4bCOzcNQ5sxyf7NbK+Nb90yCGmKvca8 qBRDvKnlRfbeEjLk9PfPGi8SrbMntrqFOGoLnK0BSWs2hiNfi7lEPke2iq7QtskFnEqf I290dNO5FQICfjHqHPzu6iUHzac899qQKw/NDZ8NcxfpqT+0R+u0WY8D2f0aveB7IkkI qkGAww78oEM+GmGXCHtZ4jML6co2zQYGvj4TV9cgMT/zmRgFjhpO08LImGwProBdIS5I NDRT+EsEDkk+WunTM/p/heYki16bultTn88U7pYks0EHqF1ys87jdYjGyUpagqODK8E5 77NQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXbg1apEH9YkenFGA12HiMWp5+XcvH4+q1SRHrpvDcissGz266H xhZLYG7YXc2F8NHYsQ7T0WE= X-Google-Smtp-Source: APXvYqw0sx32naD1tLIs6pGBWc4tiTL0MhtXHTsVWCHhQPUTmNJf1dTpAJtq7MonlqJO+Y7AJe3bOA== X-Received: by 2002:aca:d841:: with SMTP id p62mr11074343oig.56.1552927994065; Mon, 18 Mar 2019 09:53:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:3189:: with SMTP id x131ls935209oix.2.gmail; Mon, 18 Mar 2019 09:53:13 -0700 (PDT) X-Received: by 2002:aca:fd57:: with SMTP id b84mr6994956oii.137.1552927993460; Mon, 18 Mar 2019 09:53:13 -0700 (PDT) Date: Mon, 18 Mar 2019 09:53:12 -0700 (PDT) From: Felix Wellen To: Homotopy Type Theory Message-Id: <76b61890-3a9d-46c0-948b-454c2a7040dd@googlegroups.com> Subject: [HoTT] Geometry in Modal HoTT now on Youtube MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1703_2027682566.1552927992836" X-Original-Sender: felix.wellen@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: , ------=_Part_1703_2027682566.1552927992836 Content-Type: multipart/alternative; boundary="----=_Part_1704_1857221966.1552927992836" ------=_Part_1704_1857221966.1552927992836 Content-Type: text/plain; charset="UTF-8" Dear all, I just finished uploading the recordings of last week's workshop Geometry in Modal HoTT to youtube . I'm afraid the audio is not good, but with enough volume it should be possible to understand everything. You can get an overview of the talks on the abstracts-page: http://www.andrew.cmu.edu/user/fwellen/abstracts.html All the best, Felix -- 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. ------=_Part_1704_1857221966.1552927992836 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

--
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.
------=_Part_1704_1857221966.1552927992836-- ------=_Part_1703_2027682566.1552927992836--