From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBD6ZB6H2UUJBB5FKR7OAKGQEMRLU2EY@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,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.1 Received: from mail-oi0-x23a.google.com (mail-oi0-x23a.google.com [IPv6:2607:f8b0:4003:c06::23a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id f117994f for ; Mon, 27 Aug 2018 10:41:57 +0000 (UTC) Received: by mail-oi0-x23a.google.com with SMTP id l14-v6sf14422731oii.9 for ; Mon, 27 Aug 2018 03:41:57 -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=Oc2k675BlXCIavXcg+VPHkQWO/zsMMFnNFaKEXM0H4Y=; b=dt7PTSPvmjvm9ub9gq5k0AdHptAZMTi3Ke7Q9yJ70LPLneMoyuspITRep9JCNT/ZIx XkhFWUb4B8aEhwaJBDEXnAT31/aj1YajqHkmktqi605qNQ4A2TvXlQKqHF37n45dwKeJ Tsz9Pmyh8RIlbPg6z4gVq7TTMz6s5Y9P9nud1vn/rWW/QxWoVN0w6hVR2Vdz/3621eFC B9msgwBI15tn/RdKW4MX7macc7TRAXhUWVEIlLLNKnnBgsCGtCwxpWr995yA3VHJ1N56 FO+MSIOg7u09WQWmHsSXQ+M+epfHTRVDl0Hqf9zv9QgK2Z64H/e4lt+RgZfYBW1NkqiR je7w== 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=Oc2k675BlXCIavXcg+VPHkQWO/zsMMFnNFaKEXM0H4Y=; b=Z4svKZcEhVzd8CgfwNkakV/bgyZcwEtNi07RnmJqF8odr7htY4WX8VUWYLT1jGlhn5 QQDLlVAtRgpNuFEiNebEJ7i81hRfl+zzEP+HlizHwEX76TT1iGd8XZvYZUsUjH9afeDQ ABjkh7Qdni9wx/uapBzZYBzp/bT7wbPuzB8byRHuXEO6jq7Ql5zFwGsUbqcGJvkDVPpj Byv6pTp7qaL4REwil+GnUpQwQLfrDNOobZK9xle9Co/CdZmY2gJ0EasgcmrSLXnAksqx u/F1scyKzJBQtmn2vvkcMxphUg3nxQaYePvYBktmhEmeFog6bZdeqJINd+Kmcc8MaV+q Re0Q== 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=Oc2k675BlXCIavXcg+VPHkQWO/zsMMFnNFaKEXM0H4Y=; b=PMze1W70EDS7yKDcx3lkBV3DwFvclg3DFcSo/xtMnf2igWcVdsl+ySOwpU7njQPrPM ohoUSEVU5+Smv69yerYU1vHg7XFGuiQAkM7ZsKB5IE1IQ8rfRse68KDNgVmuvTYh65R0 wDMWNkT7dwpK9E9hkOpJVJiiL4dIJlRRPn0NOEqE7A0TT4473SO/vWQeYYSOaY9JFPrl UyA+8DGMIWQAW14HcQFKNC4DTqcj0KMsdqLwQZjnjhIkTd5oaLIDuXZb2qTIuh0e+rpe jRibirKfhne/UrbWhxsmvWu856pp9Qgc6zmdg6oEgdTIAuUh/TmoC3ohAMMFwwmOpT5u dIMA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APzg51DrjQMrjzUFKiAVwajA33hyMkCii+kK7nbGF7ddS5qDi9+JaUuK +mNEp9QJyD7JxGy27MCdfEE= X-Google-Smtp-Source: ANB0VdaqCmxNYSnpJdyMbt3VHgf0GPXwrBmlTorArtYucZVZ2ryf46nFaipmPzzlDvfgKE3KPpYXvw== X-Received: by 2002:aca:ec87:: with SMTP id k129-v6mr268849oih.2.1535366516670; Mon, 27 Aug 2018 03:41:56 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a54:4388:: with SMTP id u8-v6ls11875178oiv.6.gmail; Mon, 27 Aug 2018 03:41:56 -0700 (PDT) X-Received: by 2002:aca:af15:: with SMTP id y21-v6mr276242oie.6.1535366516201; Mon, 27 Aug 2018 03:41:56 -0700 (PDT) Date: Mon, 27 Aug 2018 03:41:55 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: <3538ecbf-543a-4a8e-8130-1e5d21fd00dc@googlegroups.com> Subject: [HoTT] Final announcement, Vladimir Voevodsky Memorial Conference MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_787_1917695624.1535366515574" X-Original-Sender: danielrichardgrayson@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_787_1917695624.1535366515574 Content-Type: multipart/alternative; boundary="----=_Part_788_1340491653.1535366515575" ------=_Part_788_1340491653.1535366515575 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear mathematicians and computer scientists, Vladimir Voevodsky was an enormously creative and wide ranging mathematicia= n whose insight into topology and homotopy theory greatly advanced the fields of algebraic geometry, motivic homotopy theory, homotopy type theory, and univalent foundations. We invite you to attend the Vladimir Voevodsky Memorial Conference, September 11-14, 2018, in Princeton at the Institute= =20 for Advanced Study, to help us honor his contributions. The speakers are: Benedikt Ahrens - University of Birmingham Joseph Ayoub - University of Zurich Pierre Deligne - Institute for Advanced Study Eric Friedlander - University of Southern California Daniel Grayson - University of Illinois, Urbana-Champaign/Institute for= =20 Advanced Study Michael Hopkins - Harvard University Andr=C3=A9 Joyal - Universite du Quebec a Montreal Mikhail Kapranov - Institute for Advanced Study Daniel Licata - Wesleyan University Alexander Merkurjev - University of California, Los Angeles Fabien Morel - Mathematisches Institut der Universitat Munchen Emily Riehl - Johns Hopkins University George Shabat - Russian State University for the Humanities Michael Shulman - University of San Diego Alexander Vishik - The University of Nottingham Claire Voisin - College de France Inna Zakharevich - Cornell University One of the lectures will be a public lecture for a general audience. There= =20 will also be a=20 conference banquet on the final evening in the Institute's own fine dining= =20 hall. You are welcome to register for the conference and for the dinner on the=20 web site at http://www.math.ias.edu/vvmc2018 . One may also register separately for= =20 the dinner or the public lecture. We hope to see many of you there! On behalf of the organizing committee, Thierry Coquand Dan Grayson Marc Levine Charles Weibel --=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. For more options, visit https://groups.google.com/d/optout. ------=_Part_788_1340491653.1535366515575 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear mathematicians and computer scientists,

Vladimir Voevodsky was an enormously creative and wid= e ranging mathematician
whose insight into topology and homotopy = theory greatly advanced the fields
of algebraic geometry, motivic= homotopy theory, homotopy type theory, and
univalent foundations= .=C2=A0 We invite you to attend the Vladimir Voevodsky
Memorial C= onference, September 11-14, 2018, in Princeton at the Institute for
Advanced Study, to help us honor his contributions.=C2=A0 The speakers a= re:

=C2=A0 =C2=A0 Benedikt Ahrens - University of = Birmingham
=C2=A0 =C2=A0 Joseph Ayoub - University of Zurich
=C2=A0 =C2=A0 Pierre Deligne - Institute for Advanced Study
=C2=A0 =C2=A0 Eric Friedlander - University of Southern California
=C2=A0 =C2=A0 Daniel Grayson - University of Illinois, Urbana-Champaign/= Institute for Advanced Study
=C2=A0 =C2=A0 Michael Hopkins - Harv= ard University
=C2=A0 =C2=A0 Andr=C3=A9 Joyal - Universite du Que= bec a Montreal
=C2=A0 =C2=A0 Mikhail Kapranov - Institute for Adv= anced Study
=C2=A0 =C2=A0 Daniel Licata - Wesleyan University
=C2=A0 =C2=A0 Alexander Merkurjev - University of California, Los An= geles
=C2=A0 =C2=A0 Fabien Morel - Mathematisches Institut der Un= iversitat Munchen
=C2=A0 =C2=A0 Emily Riehl - Johns Hopkins Unive= rsity
=C2=A0 =C2=A0 George Shabat - Russian State University for = the Humanities
=C2=A0 =C2=A0 Michael Shulman - University of San = Diego
=C2=A0 =C2=A0 Alexander Vishik - The University of Nottingh= am
=C2=A0 =C2=A0 Claire Voisin - College de France
=C2= =A0 =C2=A0 Inna Zakharevich - Cornell University

O= ne of the lectures will be a public lecture for a general audience.=C2=A0 T= here will also be a=C2=A0
conference banquet on the final evening= in the Institute's own fine dining hall.

You = are welcome to register for the conference and for the dinner on the web si= te
at http://www.math.ias.edu/vvmc2018 .=C2=A0 One may also regis= ter separately for the dinner
or the public lecture.=C2=A0 We hop= e to see many of you there!

On behalf of the organ= izing committee,

Thierry Coquand
Dan Gra= yson
Marc Levine
Charles Weibel

--
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_788_1340491653.1535366515575-- ------=_Part_787_1917695624.1535366515574--