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-oi1-x23d.google.com (mail-oi1-x23d.google.com [IPv6:2607:f8b0:4864:20::23d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id a589d9f6 for ; Mon, 26 Nov 2018 17:02:05 +0000 (UTC) Received: by mail-oi1-x23d.google.com with SMTP id w128sf10691031oie.20 for ; Mon, 26 Nov 2018 09:02:04 -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=7HF81rqzJYl6RM5hCETGdSN7YkyvC/bTsh5HRlVOPhU=; b=i3O1I60UplJ9HqCsp3Jwg1P8De+OVD+jD8yub9Gsv7wRv/iPeoNxlM9LadgQp/0ySP YNY5I/IAIUYqV8UIESzzkeKHnqEKiMcQktz+0p/kPWSbPvlO/DwVHrDbFQW7cfKO1wyM yOuK/i2Qxt6ZLkEN7wQCYkVMYS2uIh6TeabIXddy3eJf1BxXeUVvMdECYpfJqQ05ZQbb 4+MhrrjCnNeNRzmmpaVSBWT4m0UptefIfbvp2k1kOiO3f5j5P973ReaHrTYk0HlEQ1MG gSeTLOuAvy9iFTgbEhCofczwcRAEGgMdXv7WsbyrlH9xNai5UZYe8UcxQ8SMjEhuFZup 5Q+g== 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=7HF81rqzJYl6RM5hCETGdSN7YkyvC/bTsh5HRlVOPhU=; b=T7YmbN8p34RMrWia95KYlobF0lOpmjhCe1FcvqzJ8k7CKEVGarbT8YkphT5uLE4u7P MRLZR8fBajf003avdV6/rA0bh4cqaTSzCd9H9+BcNlyZPHjo2md/9uAI6Dmw9b3PIsr8 8mgEhzDb1t8QM6Rp8TSv/RLM2OABKxfkPbUMNhrwlar2ZWKH/5aKlYBu+nMcx8+hXMSf yjRYkalHjWxTKxayC/wer2utFxn6KAmJ4N0v2rRL0ypr+/qu6a5Rc9f6JNW4E/HHfJYz RER8v1mWwyvUl8O4AQdawogF5koPD7toyppl98E8kazRwlx23vbb7npSWVZPtXm0LSuA JDcg== 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=7HF81rqzJYl6RM5hCETGdSN7YkyvC/bTsh5HRlVOPhU=; b=Mgan3tEUBnquBDinnVXAurf2TC09ROffyNPT2jmzAYjkGAlFdgJ04CsuT9aBKfkqat /ZRgS/3akgGChL0uDWj8gnBJw2hpOfE87JB1pxVcrM3GE8DNwe8oSfyvjaEdcs4O33pM Oo/DL8/yvRxiV/7hcyk+RWilUjXoetof+rCnzNi5YG9Z6eRT0pA+/C1qEALtrepcAijp b+VeKR/OujxuZpGEjV4Dah3SuF8VEQtADxGhXpNK81kRMJeLVp56W6E4ibnfsye5q5Vb 31MN9oQEPggKC6H4n+F79N1KsncZ8WBaKJXP1Lbn79GDKjjNN5zU7wA1Tgb8O0Qp6Cig lQhg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AA+aEWapEgV6g6k9IFtJfCqhpswBXbI2ZwGQvs/Ms6yyq2nzP3PAp3fH Ktl9rJoDwNQDfzasEYhuSXY= X-Google-Smtp-Source: AFSGD/X3hOOa/5QOGraaCowiYV/NzDJ8R1l9x7gwy2sI5jVx6tkdoZAnbzZBLUGWbZBUwnVGKR8m5A== X-Received: by 2002:a9d:6f9a:: with SMTP id h26mr226776otq.0.1543251723363; Mon, 26 Nov 2018 09:02:03 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:bea:: with SMTP id 97ls9157098oth.8.gmail; Mon, 26 Nov 2018 09:02:02 -0800 (PST) X-Received: by 2002:a9d:bd5:: with SMTP id 79mr449361oth.7.1543251722333; Mon, 26 Nov 2018 09:02:02 -0800 (PST) Date: Mon, 26 Nov 2018 09:02:01 -0800 (PST) From: Felix Wellen To: Homotopy Type Theory Message-Id: <056b0931-cdfa-4ced-903a-9845ca612e73@googlegroups.com> Subject: [HoTT] Workshop on Geometry in Modal Homotopy Type Theory MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1375_33918202.1543251721817" 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_1375_33918202.1543251721817 Content-Type: multipart/alternative; boundary="----=_Part_1376_967958588.1543251721818" ------=_Part_1376_967958588.1543251721818 Content-Type: text/plain; charset="UTF-8" Dear all, there will be a workshop on Geometry in Modal Homotopy Type Theory at Carnegie Mellon University, Pittsburgh taking place March 11-15, 2019 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 and instructions for contributing a talk, 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_1376_967958588.1543251721818 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

there will be a workshop on
=C2=A0=C2= =A0
=C2=A0 Geometry in Modal Homotopy Type Theory
=C2=A0=C2=A0=C2=A0=
at

=C2=A0 Carnegie Mellon University, Pittsburgh

taking= place

=C2=A0 March 11-15, 2019

Homotopy Type Theory (HoTT) i= s one of the tools to reason within a higher topos. The recent extensions o= f HoTT by modalities has led to stronger relations to the use of higher top= oses in Topology, Differential Geometry and Algebraic Geometry. This worksh= op is about the development of Modal HoTT and its applications to Geometry.= =C2=A0=C2=A0=C2=A0
The invited speakers are:

=C2=A0 Peter Arndt<= br>=C2=A0 Ulrik Buchholtz
=C2=A0 Eric Finster
=C2=A0 Egbert Rijke
= =C2=A0 Urs Schreiber
=C2=A0 Mike Shulman

For more information and= instructions for contributing a talk, see:

=C2=A0=C2=A0
A= ll 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_1376_967958588.1543251721818-- ------=_Part_1375_33918202.1543251721817--