From: "Daniel R. Grayson" <danielrich...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: Vladimir Voevodsky
Date: Sat, 30 Sep 2017 21:25:35 -0700 (PDT) [thread overview]
Message-ID: <ab74b6db-d7aa-42cc-aa78-87d3c90c998e@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 917 bytes --]
Dear Colleagues,
The following message from the director of the Institute for Advanced Study
in Princeton announces
sad news:
---------- Forwarded message ----------
Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT)
From: Robbert Dijkgraaf
Subject: Sad news
Dear Colleagues,
It is with a heavy heart that I write to share some very sad news. Our dear
colleague and friend, Vladimir Voevodsky, Professor in the School of
Mathematics, passed away unexpectedly this morning.
Vladimir was a truly extraordinary mathematician and integral part of our
community. His death is a tremendous loss for the Institute and for the
world. We will all miss him dearly and extend our deepest condolences to
Vladimir’s family and his many colleagues and collaborators around the
world.
We will soon be sharing more information about a gathering to celebrate
Vladimir’s life and legacy.
Robbert
[-- Attachment #1.2: Type: text/html, Size: 2706 bytes --]
next reply other threads:[~2017-10-01 4:25 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-01 4:25 Daniel R. Grayson [this message]
2017-10-01 4:54 ` Daniel R. Grayson
2017-10-01 8:07 ` [HoTT] " Thomas Streicher
2017-10-01 13:18 ` Peter LeFanu Lumsdaine
2017-10-01 15:06 ` Joyal, André
2017-10-01 14:48 ` [HoTT] " Steve Awodey
2017-10-01 17:08 ` Andrei Rodin
2017-10-01 20:06 ` [HoTT] " Nicolai Kraus
2017-10-01 20:08 ` Chris Kapulkin
2017-10-02 13:20 ` Marcelo Fiore
2017-10-02 14:00 ` Andrew Polonsky
2017-10-02 15:22 ` [HoTT] " Andrej Bauer
2017-10-04 22:52 ` Martín Hötzel Escardó
2017-10-05 4:52 ` [HoTT] " Gershom B
2017-10-05 6:08 ` Timothy Carstens
2017-10-05 10:41 ` [HoTT] " Thierry Coquand
2017-10-05 13:38 ` Daniel R. Grayson
2017-10-06 5:41 ` [HoTT] " Michael Shulman
2017-10-11 15:26 ` Daniel R. Grayson
2017-10-11 17:47 ` Daniel R. Grayson
2017-10-11 19:06 ` [HoTT] " Steve Awodey
2017-10-12 19:06 ` Daniel R. Grayson
2017-10-12 19:24 ` Daniel R. Grayson
2017-10-12 21:55 ` Martín Hötzel Escardó
2017-10-12 22:21 ` [HoTT] " Michael Shulman
2017-10-14 21:12 ` Martín Hötzel Escardó
2017-10-14 21:20 ` Martín Hötzel Escardó
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=ab74b6db-d7aa-42cc-aa78-87d3c90c998e@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).