From: Steve Awodey <awo...@cmu.edu>
To: "Daniel R. Grayson" <danielrich...@gmail.com>
Cc: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: Re: [HoTT] Vladimir Voevodsky
Date: Sun, 1 Oct 2017 10:48:30 -0400 [thread overview]
Message-ID: <F4FEC099-009F-4536-8726-7B85A3D0365E@cmu.edu> (raw)
In-Reply-To: <ab74b6db-d7aa-42cc-aa78-87d3c90c998e@googlegroups.com>
[-- Attachment #1: Type: text/plain, Size: 1760 bytes --]
A tragic loss of a great mathematician and a profound intellect.
Vladimir was the founder and leader of Univalent Foundations, and his loss is a terrible blow.
He suffered for his gifts and he gave us much to be grateful for.
I personally enjoyed his friendship and suffered his scorn, and the former was worth the latter.
Steve
> On Oct 1, 2017, at 12:25 AM, Daniel R. Grayson <danielrich...@gmail.com> wrote:
>
> 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
>
> --
> 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 HomotopyTypeThe...@googlegroups.com <mailto:HomotopyTypeThe...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout <https://groups.google.com/d/optout>.
[-- Attachment #2: Type: text/html, Size: 4607 bytes --]
next prev parent reply other threads:[~2017-10-01 14:48 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-01 4:25 Daniel R. Grayson
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 ` Steve Awodey [this message]
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=F4FEC099-009F-4536-8726-7B85A3D0365E@cmu.edu \
--to="awo..."@cmu.edu \
--cc="HomotopyT..."@googlegroups.com \
--cc="danielrich..."@gmail.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).