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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-oi1-x23a.google.com (mail-oi1-x23a.google.com [IPv6:2607:f8b0:4864:20::23a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 481e9c3b for ; Mon, 4 Mar 2019 23:37:06 +0000 (UTC) Received: by mail-oi1-x23a.google.com with SMTP id x143sf3872665oif.12 for ; Mon, 04 Mar 2019 15:37:06 -0800 (PST) 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=qkr/zD+MM/l+QmiRRkX7WIPpuzEmfO8kfqI9x8sLLlc=; b=oXVZi3+tgZ+nxAvMIlSXA9WeR6TIZVwz9Uzs/xKnI5aCrFVmv7q4FOACEmk8qPBYRn ZOVLM4Bn6Vm1N3CXIi2r+E9RgQdxvPUhk0zkEA4grK5xDbDgpumQYPkeKu1l9bSsROU/ SymFaHU56slQ8b7p0QyvaBc3puQWmSmXJ+ycfnELIb5Wd8KyENVOJHvh2yNirmtWYtmw lDVjHSDfYdchMpaDiGnLA45adU8H7q6zm9NjRy36ikZxZJ/RszEK94QDVx1dc4uN026E hO/wNHoCnJsFUa47UJ/bdjhSzME3QdI42hNzlaFHvnShO0r9WqY/GpUr8i6odqpZEijx F4NA== 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=qkr/zD+MM/l+QmiRRkX7WIPpuzEmfO8kfqI9x8sLLlc=; b=J1Tq0H71YUqvXdb6Ohikc3Ykwj9OAWRq8dGU1Bul3CRrdbyG/rrgHlEG040MjxPAU8 w6gOfJODG9TLjDGE4whl8zKONRoIfJZTc5caJoTeLhfB68Oa1mzAaJbhVYCWKRIa4qzC MQUn6UIu54ky6T9/OssQmU+2EcEloAaDBnXXJP3137QdypLfx0EoLHkJLMX3Y2sdntww D6/jp45Jb6zUspQ0t69rxBC0J2tu9qDUpgWG9L1vJGMAokAhtDe9XwkUHJn94HA3whQp QxdP9Yj1lzCMAj/CGjH19KcI1vvTHZyezj0WUNKl49nnsLC65Ty5TW0nTmn94m6q9/AB t9OA== 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=qkr/zD+MM/l+QmiRRkX7WIPpuzEmfO8kfqI9x8sLLlc=; b=Gr+auLa8Yd5fXocph6UXbHBxdKL2EWqLzC7Of6xpPNIUqBEtUR7ZcF6JawlKGpXxGg d8bNwvSxy+t45ekEXhnBW1Zwbk9BJo+CR63o+4FHqf9XYBf+vluS921VH8oNvAOdKO3c yWfN1579vz4ofENTdQoZl49RxGiBd/IxOSdHZuij2whKyRDilg2RCSEW/eaTDz5G3Nh/ GOO0JHpseeffPCtjB0wRp963CK8frL0aNccC1V2kNkiJNWvPjS7g4jCumD4YUgy0S/rY JJwoHwEM7+mpoEhTI7t4aLos3oewI4wnJWlO/F8Bos/7tfJBYzxvvSZ01HCHCCHNTRf+ ErdA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AHQUAuZkNWqnlTGYIMwIx70hfGRIVfPjW8CyyyAl/I2PxUqdYjbEKvr6 GvtASG4G8FLAyX38sTCpj+U= X-Google-Smtp-Source: AHgI3IYTlBKhget6gG+Ua8BV0GXwvHp2ZfVLv9pEUytyryweu5Mj92DZLZK5V8UAjtuvIipg+PuHtg== X-Received: by 2002:aca:49cb:: with SMTP id w194mr13178812oia.13.1551742624746; Mon, 04 Mar 2019 15:37:04 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:3bb6:: with SMTP id k51ls8027298otc.9.gmail; Mon, 04 Mar 2019 15:37:04 -0800 (PST) X-Received: by 2002:a05:6830:1547:: with SMTP id l7mr13483639otp.196.1551742624024; Mon, 04 Mar 2019 15:37:04 -0800 (PST) Date: Mon, 4 Mar 2019 15:37:03 -0800 (PST) From: Felix Wellen To: Homotopy Type Theory Message-Id: <2d95d52c-7559-4fb5-a3d9-fc7f5b5e8767@googlegroups.com> Subject: [HoTT] Workshop on Modal HoTT will be on Zoom MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_645_1246591805.1551742623472" 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_645_1246591805.1551742623472 Content-Type: multipart/alternative; boundary="----=_Part_646_1079398905.1551742623472" ------=_Part_646_1079398905.1551742623472 Content-Type: text/plain; charset="UTF-8" Dear all, it will be possible to join the workshop "Geometry in Modal HoTT" taking place next week at cmu via the software zoom. You can look up the schedule and instructions for using zoom on the workshop's website: http://www.andrew.cmu.edu/user/fwellen/modal-workshop.html The zoom link is: https://cmu.zoom.us/j/892135990 All the best, Felix Wellen -- 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_646_1079398905.1551742623472 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

it will be possibl= e to join the workshop "Geometry in Modal HoTT" taking place next= week at cmu via the software zoom.
You can look up the sched= ule and instructions for using zoom on the workshop's website:


The zoom link is:

<= a target=3D"_blank" style=3D"word-wrap: break-word;" href=3D"https://cmu.zo= om.us/j/892135990">https://cmu.zoom.us/j/892135990

=
All the best,
Felix Wellen

--
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_646_1079398905.1551742623472-- ------=_Part_645_1246591805.1551742623472--