From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBD6ZB6H2UUJBB6VL4HNAKGQEAXUV44Y@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.6 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-x237.google.com (mail-oi0-x237.google.com [IPv6:2607:f8b0:4003:c06::237]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 9470aade for ; Wed, 25 Jul 2018 10:50:37 +0000 (UTC) Received: by mail-oi0-x237.google.com with SMTP id w12-v6sf7077155oie.12 for ; Wed, 25 Jul 2018 03:50:36 -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=HDNgcJV1rZr5xGFMszzj1t17E0dahsy34ovzEMeaZVU=; b=QMuEWJJbsMQl7JYYt6Qk8z3qor9uF08cIniZyTPTd0SJFFctiTaeyJCEv8xZXjwq0/ AMQVk7hBmVF47EOfwmEy3FtZVh04ctTUxPwEOgHiO3q5Euua7CvKFz3/oKX4bREMhKXS cPDw3Agkr9GQs1ksoqSnQeQG69kYWKt7kngC5o7SrnP4e/Y/SPEjWqo+nSxBRFoB8O2J L7qGif1XP7sPlK94PRp05IZRkH/d8bgjy6RKIgz/ima2gjcckhpVUkhCrQZvCDqAkjw6 t9pY+HD/OXOmolA0G4bQ/xCs/WUcp/TH5TRVe9I3Jr06RFDQxMa4n7Ju5CM6Ir6DN7OT Le+w== 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=HDNgcJV1rZr5xGFMszzj1t17E0dahsy34ovzEMeaZVU=; b=P3jzxXBeDHApdjCtVnha/zhIKeHKWPR/o9gOknBq+ZiIeuO9tbwOPDbOuJUo5BQNsA 1m0KjuHGT384OQmyQmWCh/ZhN+oC4wEMZXkHKRN8oOnAZ6H+36yaCkgluPsagiur5thB 4+HV+gPuvxIJ/8ApYY+0tE329LMZcRyxCq3VHc+wOKgilt4r/wqWjKVmXDoAyLAx3Tki f6riwTUTXnMAPv1TFsJ3Pq+vTmgK5i+WGKvsEtJSIXM76rR+fGlG66Bk0Pm3IJ9JigAh 7vo4CcGtgV0UC0TOfT6tvBqFvM9BCCnil128TeXh1727VGEiJ7XdhofXPPPJehoPgoBb /nQQ== 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=HDNgcJV1rZr5xGFMszzj1t17E0dahsy34ovzEMeaZVU=; b=Rm4QcpK3F64CCdqwombQgoS+rlIIdrqH5CGdmplbCZEj0dOO5yqQNWdeS+UCaUqjcv 0gqJSfZghOalv8jqpxu4F4GAlGrLB6xpi7DxVg0HQOSkP8LuBEUK6Av/2IsIT8iVidR7 j5XCli9UPnPMLQGzkWPVwnHytTHlhgVF+o8LvN9xDvwN0L39XguHple7D6wgDcaSJ8FZ eBBNb9xKDuv4qcHUhcUumDWow7udiPPRX9qbNHwZmQp+T0pN0prCtGIdT9ydwCkQyEuS IrC8ATjIe9MDGW9jMd/K3LZgvUCeA+ITiZWcn0MF24zscqciqrtE+JmF4Pkf54d6tTpB Tq8A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOUpUlGbc9RCmXNPj1k5Aj6ssABoSytNP2qPOWVx0z+AYiWERVMHjJmJ Zbsyk42BOiVFSTiZK+P/TXU= X-Google-Smtp-Source: AAOMgpe5TQ375V/oqrG2M9JygsPgpHHEuv3vLudMKp9uQmeDYWX4GJfXunvYz5VjPmININrpCg/Lyw== X-Received: by 2002:aca:c744:: with SMTP id x65-v6mr86344oif.2.1532515834958; Wed, 25 Jul 2018 03:50:34 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:4dc3:: with SMTP id a186-v6ls6552950oib.21.gmail; Wed, 25 Jul 2018 03:50:34 -0700 (PDT) X-Received: by 2002:aca:f495:: with SMTP id s143-v6mr85504oih.7.1532515834306; Wed, 25 Jul 2018 03:50:34 -0700 (PDT) Date: Wed, 25 Jul 2018 03:50:33 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: <09af1c2d-60cf-4c5f-be6d-f7e53aeb829a@googlegroups.com> Subject: [HoTT] 2nd announcement, Vladimir Voevodsky Memorial Conference MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_16399_507260492.1532515833709" 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_16399_507260492.1532515833709 Content-Type: multipart/alternative; boundary="----=_Part_16400_648521112.1532515833709" ------=_Part_16400_648521112.1532515833709 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. There will also be a=20 conference banquet=20 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=20 web site at http://www.math.ias.edu/vvmc2018 . 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_16400_648521112.1532515833709 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear mathematicians and computer scientists,

Vladimir Voevodsky was an enormously creative and wide ran= ging mathematician
whose insight into topology and homotopy theor= y greatly advanced the fields
of algebraic geometry, motivic homo= topy theory, homotopy type theory, and
univalent foundations.=C2= =A0 We invite you to attend the Vladimir Voevodsky
Memorial Confe= rence, September 11-14, 2018, in Princeton at the Institute for
A= dvanced Study, to help us honor his contributions.=C2=A0 The speakers are:<= /div>

=C2=A0 =C2=A0 Benedikt Ahrens - University of Birm= ingham
=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/Ins= titute for Advanced Study
=C2=A0 =C2=A0 Michael Hopkins - Harvard= University
=C2=A0 =C2=A0 Andr=C3=A9 Joyal - Universite du Quebec= a Montreal
=C2=A0 =C2=A0 Mikhail Kapranov - Institute for Advanc= ed Study
=C2=A0 =C2=A0 Daniel Licata - Wesleyan University
<= div>=C2=A0 =C2=A0 Alexander Merkurjev - University of California, Los Angel= es
=C2=A0 =C2=A0 Fabien Morel - Mathematisches Institut der Unive= rsitat Munchen
=C2=A0 =C2=A0 Emily Riehl - Johns Hopkins Universi= ty
=C2=A0 =C2=A0 George Shabat - Russian State University for the= Humanities
=C2=A0 =C2=A0 Michael Shulman - University of San Die= go
=C2=A0 =C2=A0 Alexander Vishik - The University of Nottingham<= /div>
=C2=A0 =C2=A0 Claire Voisin - College de France
=C2=A0 = =C2=A0 Inna Zakharevich - Cornell University

One o= f the lectures will be a public lecture.=C2=A0 There will also be a confere= nce banquet=C2=A0
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 site
at http://www.= math.ias.edu/vvmc2018 .

On behalf of the organizin= g committee,

Thierry Coquand
Dan Grayson=
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_16400_648521112.1532515833709-- ------=_Part_16399_507260492.1532515833709--