Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Final announcement, Vladimir Voevodsky Memorial Conference
@ 2018-08-27 10:41 Daniel R. Grayson
  0 siblings, 0 replies; only message in thread
From: Daniel R. Grayson @ 2018-08-27 10:41 UTC (permalink / raw)
  To: Homotopy Type Theory


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

Dear mathematicians and computer scientists,

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
    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 
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 .  One may also register separately for 
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

-- 
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.

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-08-27 10:41 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-27 10:41 [HoTT] Final announcement, Vladimir Voevodsky Memorial Conference Daniel R. Grayson

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).