From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Wed, 4 Oct 2017 15:52:43 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: In-Reply-To: References: Subject: Re: Vladimir Voevodsky MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5552_643882755.1507157563231" ------=_Part_5552_643882755.1507157563231 Content-Type: multipart/alternative; boundary="----=_Part_5553_37955799.1507157563264" ------=_Part_5553_37955799.1507157563264 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable During the Types 2011 meeting in Bergen, I went outside to have fresh air in a coffee break. Then there was this guy, and we said hello to each other without asking for names or formal introductions. He apologized that he was trying to concentrate on his talk to be given after the break. I nevertheless, perhaps impolitely, asked what his talk was going to be about. It was going to be about a homotopical model of type theory (this is what he said, but in the talk the topic was size). Then I said I was looking at topological models of type theory myself. He asked me to explain, which I did. Then he gave his talk. And after that we met again and had a long conversation, we went together in a boat trip with the conference crowd, and then we had dinner in the same table, with many discussions. I never suspected, at that time, I was talking to a Fields Medalist. He was just somebody giving an interesting talk in a conference. After the meeting, when I was back home, he asked me, by email, what the topology of the universe is, in the models I was considering. M. On Sunday, 1 October 2017 05:25:36 UTC+1, Daniel R. Grayson wrote: > > Dear Colleagues, > > The following message from the director of the Institute for Advanced=20 > 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=20 > dear colleague and friend, Vladimir Voevodsky, Professor in the School of= =20 > Mathematics, passed away unexpectedly this morning. > > Vladimir was a truly extraordinary mathematician and integral part of our= =20 > community. His death is a tremendous loss for the Institute and for the= =20 > world. We will all miss him dearly and extend our deepest condolences to= =20 > Vladimir=E2=80=99s family and his many colleagues and collaborators aroun= d the=20 > world. > > We will soon be sharing more information about a gathering to celebrate= =20 > Vladimir=E2=80=99s life and legacy. > > Robbert > ------=_Part_5553_37955799.1507157563264 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
During the Types 2011 meeting in Bergen, I went outside to= have
fresh air in a coffee break. Then there was this guy, and we said<= br>hello to each other without asking for names or formal
introductions.= He apologized that he was trying to concentrate on
his talk to be given= after the break. I nevertheless, perhaps
impolitely, asked what his tal= k was going to be about. It was
going to be about a homotopical model of= type theory (this is
what he said, but in the talk the topic was size).= Then I said I
was looking at topological models of type theory myself. = He asked
me to explain, which I did. Then he gave his talk. And after th= at
we met again and had a long conversation, we went together in a
bo= at trip with the conference crowd, and then we had dinner in
the same ta= ble, with many discussions.

I never suspected, at that time, I was t= alking to a Fields
Medalist. He was just somebody giving an interesting = talk in a
conference. After the meeting, when I was back home, he asked = me,
by email, what the topology of the universe is, in the models I
w= as considering.

M.

On Sunday, 1 October 2017 05:25:36 UTC+1, = Daniel R. Grayson wrote:
Dear Colleagues,

The following message from the director o= f 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<= /span>
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 S= chool of Mathematics, passed away unexpectedly this morning.

Vladimir was a truly extraordinary mathematician an= d integral part of our community. His death is a tremendous loss for the In= stitute and for the world. We will all miss him dearly and extend our deepe= st condolences to Vladimir=E2=80=99s family and his many colleagues and col= laborators around the world.

We will = soon be sharing more information about a gathering to celebrate Vladimir=E2= =80=99s life and legacy.

Robbert

------=_Part_5553_37955799.1507157563264-- ------=_Part_5552_643882755.1507157563231--