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.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, 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-x340.google.com (mail-ot1-x340.google.com [IPv6:2607:f8b0:4864:20::340]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id fb1f9798 for ; Wed, 23 Oct 2019 09:33:01 +0000 (UTC) Received: by mail-ot1-x340.google.com with SMTP id f26sf10498326otq.17 for ; Wed, 23 Oct 2019 02:33:01 -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=u5dN6rFcOZ5XI7mz5iqVTXaDZoiFeYq3D7EgnrnWOHc=; b=fRlTYS3UsMndM3sZw2vo5AbqhIxzmMp6iYgnlgcvvujZGj4B97gLDRAUZBLTgNZAaE uEfbMNiw38/BFYsIpW3NzIwUFMac4OTynnPL0yxaNt8JAoe3mRq8gFH2r2/U2ISAEr5I ajpR2gORldH29AeJTGFY+8268ZSqufJXntRoGe+QLk77iBdNkHNC3s8MxzsVsI8C+2YO DCHz8BOJJjjV8AG5for7tyKhYnC2kgMFcxNukbxrL850L4ClFO7lN+HaXKK643g5aFNE W+mM0ZKRPizOZmd+GYGCisaWNKyLTMdzXmCFhd8YMOWPIoC/iWGXWPU/c0MffaGIBMAi 1mkQ== 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=u5dN6rFcOZ5XI7mz5iqVTXaDZoiFeYq3D7EgnrnWOHc=; b=Hdmt0x9LyGwDBbpPYE/tJKUNx0nMA/dXQHCp0Y6PSlg5Tbf59poqjcBlx4ymdIIKe0 zf40DRDdHgq3D185VbDk7iRsGFqEr99bVfbt4fnsP51tP64soXTxzTCryy2rNQ1SrVXx k3Vprac6BpMgKRIZmMWTG1A4IbYB1a/QdMDR+1UZ6V0q979XXzISBWeJr4WMZLO+/RnQ qi/fokP8jdtt0vOOi8J2iKPghkkPCMvP321dJNwkdtEOBz9nx+ZzH52TR1NIFZUlWqZf BtpeVLB2tQ2JPZWv7ENW01bduBnB51VmlXkyOi+NTrbao322sEuZMpFtmjKZC16+LApf sVzw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXbLOLcF4/z4Vhw+hqrzKXvTgW497zIY8wzp1Vvfvs/ZdtgOssq eRWXPBDNFhdg2qa0tZFGg4g= X-Google-Smtp-Source: APXvYqxqcMDYRS4u5z0rdDjAnhaQuWUOkDy6793U7vBHsW28aNXQtqUVl9y+r6EpmJYoKSLxMa5pAA== X-Received: by 2002:aca:ec90:: with SMTP id k138mr7093383oih.126.1571823179694; Wed, 23 Oct 2019 02:32:59 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:6acc:: with SMTP id m12ls649836otq.4.gmail; Wed, 23 Oct 2019 02:32:59 -0700 (PDT) X-Received: by 2002:a9d:65cd:: with SMTP id z13mr6712293oth.22.1571823179107; Wed, 23 Oct 2019 02:32:59 -0700 (PDT) Date: Wed, 23 Oct 2019 02:32:58 -0700 (PDT) From: Chuangjie Xu To: Homotopy Type Theory Message-Id: <17c8531d-6649-4796-9e3c-6dd1245c9709@googlegroups.com> Subject: [HoTT] Workshop on Foundations and Applications of Univalent Mathematics, 18-20 December 2019, Herrsching MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_433_212816211.1571823178421" X-Original-Sender: xcjstyle@msn.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_433_212816211.1571823178421 Content-Type: multipart/alternative; boundary="----=_Part_434_80431350.1571823178421" ------=_Part_434_80431350.1571823178421 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ANNOUNCEMENT AND CALL FOR PARTICIPATION Foundations and Applications of Univalent Mathematics 18-20 December 2019, Herrsching (near Munich), Germany http://cj-xu.github.io/faum/ This workshop focuses on both the foundation of univalent mathematics and the applications of the univalent innovations. INVITED SPEAKERS ---------------- * Benedikt Ahrens (University of Birmingham) * Thorsten Altenkirch (University of Nottingham) * Andrej Bauer (University of Ljubljana) * Ulrik Buchholtz (Technischen Universit=C3=A4t Darmstadt) * Thierry Coquand (University of Gothenburg) * Peter Dybjer (Chalmers University of Technology) * Mart=C3=ADn Escard=C3=B3 (University of Birmingham) * Valery Isaev (JetBrains Research) * Nicolai Kraus (University of Birmingham) * Fredrik Nordvall Forsberg (University of Strathclyde) * Paige Randall North (Ohio State University) * Anders M=C3=B6rtberg (Stockholm University) * Iosif Petrakis (Ludwig-Maximilians-Universit=C3=A4t M=C3=BCnchen) * Bas Spitters (Aarhus University) * Thomas Streicher (TU Darmstadt) * Benno van den Berg (Universiteit van Amsterdam) * Andrea Vezzosi (IT University of Copenhagen) The programme will be updated in the workshop's webpage later. REGISTRATION ------------ There is no registration fee. To aid planning, please contact Chuangjie Xu by writing to xu@math.lmu.de for registration. This workshop is supported by the LMUexcellent Junior Researcher Fund. Hope to see you in Herrsching in December! Best regards, Chuangjie Xu Mathematisches Institut Ludwig-Maximilians-Universit=C3=A4t M=C3=BCnchen Theresienstr. 39 D-80333 M=C3=BCnchen --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/17c8531d-6649-4796-9e3c-6dd1245c9709%40googlegroups.com. ------=_Part_434_80431350.1571823178421 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
ANNO= UNCEMENT AND CALL FOR PARTICIPATION

=C2=A0 Foundations and Ap= plications of Univalent Mathematics
= =C2=A0 18-20 December 2019, Herrsching (near Munich), Germany
=C2=A0=C2=A0http://cj-xu.github.io/faum/

This worksh= op focuses on both the foundation of univalent mathematics
and the appli= cations of the univalent innovations.

INVITED SPEAKERS
----------= ------
* Benedikt Ahrens =C2=A0(University of Birmingham)
* Thorsten = Altenkirch =C2=A0(University of Nottingham)
* Andrej Bauer =C2=A0(Univer= sity of Ljubljana)
* Ulrik Buchholtz =C2=A0(Technischen Universit=C3=A4t= Darmstadt)
* Thierry Coquand =C2=A0(University of Gothenburg)
* Pete= r Dybjer =C2=A0(Chalmers University of Technology)
* Mart=C3=ADn Escard= =C3=B3 =C2=A0(University of Birmingham)
* Valery Isaev =C2=A0(JetBrains = Research)
* Nicolai Kraus =C2=A0(University of Birmingham)
* Fredrik = Nordvall Forsberg =C2=A0(University of Strathclyde)
* Paige Randall Nort= h =C2=A0(Ohio State University)
* Anders M=C3=B6rtberg =C2=A0(Stockholm = University)
* Iosif Petrakis =C2=A0(Ludwig-Maximilians-Universit=C3=A4t = M=C3=BCnchen)
* Bas Spitters =C2=A0(Aarhus University)
* Thomas Strei= cher =C2=A0(TU Darmstadt)
* Benno van den Berg =C2=A0(Universiteit van A= msterdam)
* Andrea Vezzosi =C2=A0(IT University of Copenhagen)

Th= e programme will be updated in the workshop's webpage later.

REG= ISTRATION
------------
There is no registration fee. To aid planning,= please contact
Chuangjie Xu by writing to=C2=A0xu@math.lmu.de=C2=A0for registration.

This workshop is= supported by the LMUexcellent Junior Researcher Fund.

Hope to see y= ou in Herrsching in December!

Best regards,

Chuangjie Xu
M= athematisches Institut
Ludwig-Maximilians-Universit=C3=A4t M=C3=BCnchen<= br>Theresienstr. 39
D-80333 M=C3=BCnchen

--
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.
To view this discussion on the web visit https://groups.google.co= m/d/msgid/HomotopyTypeTheory/17c8531d-6649-4796-9e3c-6dd1245c9709%40googleg= roups.com.
------=_Part_434_80431350.1571823178421-- ------=_Part_433_212816211.1571823178421--