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

[-- Attachment #1.1: Type: text/plain, Size: 2100 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 
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.  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

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: 2710 bytes --]

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

only message in thread, other threads:[~2018-07-25 10:50 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-25 10:50 [HoTT] 2nd 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).