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.1 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-x33d.google.com (mail-ot1-x33d.google.com [IPv6:2607:f8b0:4864:20::33d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 95d649d1 for ; Mon, 4 Feb 2019 15:03:35 +0000 (UTC) Received: by mail-ot1-x33d.google.com with SMTP id n22sf116331otq.8 for ; Mon, 04 Feb 2019 07:03:35 -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=VO5+m6Do+nEBmA6RFznnMAbxobDuQPBcv4tE3g0+aTg=; b=nhiDm5lCIb3M5TfmKf/0e6+CXNuh7t1AtIyDfq0qFXLJUsZE0vjkLWw4VGD039w9UF ZoUmnddIyv5/xyoSgUprQ1eQNiP8HIfK3cy1YpQcydIBXFJ2bl2E3oiTs83C+I7zS1lB xFaf8ogGxu8+ctsZHAZSmDS6GLpMQ7XXA5MAZcLoSBxKbIi0k+CLXOvDJsCJyZe+KsxZ d0/XulimPKuOw4erak4yRcXijjoXLsioFM/yr6ePwH8GBgDTJ7H0xbB+dQiNQCx4/Mgv QQ87xhT1GbEIOnvR6gdLWnqkIlediLHQ1YEKJ0loCosKHXWWjmo2i5GF9C4035kCkbCa 0U/Q== 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=VO5+m6Do+nEBmA6RFznnMAbxobDuQPBcv4tE3g0+aTg=; b=qlUPeEJuECY8MO4kT/oJjXXXWKpMvO6pr+YdMmBnSNZp5WoYRgYrF/3KnDgrxmOQUv mQchGkMu0U0f/h65u/5PcoRMtzE8Z50orxA5YHox3PVC88YertiuIJsgG+0BPo8yHbU1 RISB2RqV7gak0xqYIv4NpxPzRqMM9+YqOoMSj1ohfI1nMSCzCoQ/TT9t2dSftmrEBOVC lvPINPZErH5xH6cNDGSMwuPKvN3/y/nUy94rQwJuFc/I4YW/ZnMMsiPQ734ek2NmFD3I XufxlHUPOTECzsBq1cxw4Mr0d5qoG0FD83C6c15KPE4rvqoWME+8CHsDTeAsOlk4yIet BJuw== 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=VO5+m6Do+nEBmA6RFznnMAbxobDuQPBcv4tE3g0+aTg=; b=k4A6/3I5jJQSl65jxbQPO5E95X5q1Um8PXc735j4xDkt0ORpanhOyJz6vg+bBgfMjW 9PmF4rTkxEbu4MZOAes2rRSHOvM042UenAvu1ZOd383+rwNIQ83gOR+bQIPcO1NMr7BL gDQAGcocR13Z/fhW6r22e7s2FEqLVoxB5G8NN5OXBHwdxIZD/vnru7rV9Gv/7eaojoa7 lYOUX94EWamgYJaYDR264wBeaMSeSB5KNQpyH8V0Xchr95T5s+Y9pQp0elA+L5rKk6aT 5OJd9sSGKcrKpDKNeVkRdsTXnPHHuAT6i/95gwKyymQ6tCIIXtBuId19gX4Lc7BfP/PK eJkA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AHQUAubCH9ZCBCGy7U/YdMZz9sP4vCcbpToZ+yJhzX7jLcJeLV6KX6C+ zuwiprBVymRLveA49IWvxJk= X-Google-Smtp-Source: AHgI3Iaz67VgQKNETbun19Aqb9jXfi8P68P1jLHarnrtDevbYegew+VgfINiv+mwp7KDJAbvXUoE4Q== X-Received: by 2002:a9d:6f14:: with SMTP id n20mr427869otq.2.1549292613934; Mon, 04 Feb 2019 07:03:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6808:28f:: with SMTP id z15ls2185203oic.4.gmail; Mon, 04 Feb 2019 07:03:33 -0800 (PST) X-Received: by 2002:aca:c703:: with SMTP id x3mr476383oif.5.1549292613172; Mon, 04 Feb 2019 07:03:33 -0800 (PST) Date: Mon, 4 Feb 2019 07:03:32 -0800 (PST) From: Felix Wellen To: Homotopy Type Theory Message-Id: Subject: [HoTT] Reminder: Workshop on Geometry in Modal Homotopy Type Theory MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1158_1636854317.1549292612252" 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_1158_1636854317.1549292612252 Content-Type: multipart/alternative; boundary="----=_Part_1159_1794635927.1549292612252" ------=_Part_1159_1794635927.1549292612252 Content-Type: text/plain; charset="UTF-8" Dear all, this is a reminder for the workshop Geometry in Modal Homotopy Type Theory at Carnegie Mellon University, Pittsburgh taking place March 11-15, 2019 PLEASE NOTE: The deadline for registration has been extended until the end of the week and there is now a list of participants on the workshop's website. Homotopy Type Theory (HoTT) is one of the tools to reason within a higher topos. The recent extensions of HoTT by modalities has led to stronger relations to the use of higher toposes in Topology, Differential Geometry and Algebraic Geometry. This workshop is about the development of Modal HoTT and its applications to Geometry. The invited speakers are: Peter Arndt Ulrik Buchholtz Eric Finster Egbert Rijke Urs Schreiber Mike Shulman For more information, see: http://www.andrew.cmu.edu/user/fwellen/modal-workshop.html 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_1159_1794635927.1549292612252 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

this is a reminder for the workshop
=C2=A0 Geometry in Modal Homotopy Type Theory
=C2=A0=C2=A0=C2=A0
a= t

=C2=A0 Carnegie Mellon University, Pittsburgh

taking place<= br>
=C2=A0 March 11-15, 2019

PLEASE NOTE: The deadline for r= egistration has been extended until the
end of the week and = there is now a list of participants on the workshop's website.

Homotopy Type Theory (HoTT) is one of the tools to reason withi= n a
higher topos. The recent extensions of HoTT by modalities has led to=
stronger relations to the use of higher toposes in Topology,
Differe= ntial Geometry and Algebraic Geometry. This workshop is about the
develo= pment of Modal HoTT and its applications to Geometry.=C2=A0=C2=A0=C2=A0 The invited speakers are:

=C2=A0 Peter Arndt
=C2=A0 Ulrik Buchho= ltz
=C2=A0 Eric Finster
=C2=A0 Egbert Rijke
=C2=A0 Urs Schreiber=C2=A0 Mike Shulman

For more information, see:

http://www.a= ndrew.cmu.edu/user/fwellen/modal-workshop.html

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_1159_1794635927.1549292612252-- ------=_Part_1158_1636854317.1549292612252--