Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: 1st announcement, Vladimir Voevodsky Memorial Conference
Date: Fri, 27 Apr 2018 06:57:13 -0700 (PDT)	[thread overview]
Message-ID: <1509a7ea-2f7f-4864-aae7-56e3b008ccdf@googlegroups.com> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 1803 bytes --]

Dear mathematicians,

Vladimir Voevodsky was an enormously creative and wide 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.  We invite you to attend the Vladimir Voevodsky
Memorial Conference, September 11-14, 2018, in Princeton at the Institute 
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 
Advanced Study
    Michael Hopkins - Harvard University
    André Joyal - Universite du Quebec a Montreal
    Mikahil 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, followed by a public 
reception.
There will also be a 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 site
at http://www.math.ias.edu/vvmc2018 .

On behalf of the organizing committee,

Thierry Coquand
Dan Grayson
Marc Levine
Charles Weibel


[-- Attachment #1.2: Type: text/html, Size: 2253 bytes --]

                 reply	other threads:[~2018-04-27 13:57 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1509a7ea-2f7f-4864-aae7-56e3b008ccdf@googlegroups.com \
    --to="danielrich..."@gmail.com \
    --cc="HomotopyT..."@googlegroups.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).