From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.13.207.129 with SMTP id r123mr20435328ywd.26.1506869311453; Sun, 01 Oct 2017 07:48:31 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.37.119.12 with SMTP id s12ls1454730ybc.0.gmail; Sun, 01 Oct 2017 07:48:30 -0700 (PDT) X-Received: by 10.13.231.196 with SMTP id q187mr20503664ywe.9.1506869310654; Sun, 01 Oct 2017 07:48:30 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1506869310; cv=none; d=google.com; s=arc-20160816; b=DU/vuJHxQRwMF0NTHGBG7g0dqLQT41FeLG6r7owdPyn9BmRe+BJCIS1AV04aDhjt03 qdjGDVufbb8T5djD+c3FUW8w+euD4KGZPu3g3zKsV5q4QNUPKMQcmRzuHrYiWQ6Tp0jI 5z6AL6YF3iMxuAkljmWeQLLZrCXfFBqIlSXYkgNt1twRNLVkgvia21w1QP39gZ5J2bTu YYmKth/fiFneeAOZa6wJEQMtA0rrSZMA2mpQVLHrXG4ka0z44nsClvGzM5gtwdCtsfIQ MDlq9nrXmSCjy3Z/OsEMd9trdmnPXGpVnKGuneKU5oF0nzG2M4JZ5MsNXK5SscUG28Lb QSGA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:references:message-id:cc:date:in-reply-to:from:subject :mime-version:dkim-signature:arc-authentication-results; bh=kjiGEdfNZ7MO71Sy5XeEIt7PC1Ic36OEWqHo6oDMOTw=; b=jQY62PrZruuFGoCt7lT4CWSnibgsgQ+8ropipKZ+ON1rSJjk7B6psKr2iv7T/hD5ux AmXhEk4OXQrenEqJVuOq+r1tU6TOo/0yegh+RLWqOZ/5EmaVHz04Xcl/J8WwTRXd5Ud/ u5+nYVHlMaAZAV259/LPFTOrOUl9Q/Nf9NNANYDZXfVIjjfy19d+pKaz3OdwcnPjpJvz jIXXCwJY1IKxLqv7SYRMjd4Vu9I9wi/vL7KKC1RsQZhwRu8mNBWr1BRNBQgJVp+Ky0o5 aqdUBCnk8UKvfK8QmaM1Fwn9GA87eF6OqbWT95jaJF8N/AkT77GDsZ5+E/2dqdFJ0YVP BpqA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=dixUpIFP; spf=neutral (google.com: 2607:f8b0:400d:c0d::22c is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) smtp.mailfrom=awo...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Return-Path: Received: from mail-qt0-x22c.google.com (mail-qt0-x22c.google.com. [2607:f8b0:400d:c0d::22c]) by gmr-mx.google.com with ESMTPS id f5si71355ywa.11.2017.10.01.07.48.30 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 01 Oct 2017 07:48:30 -0700 (PDT) Received-SPF: neutral (google.com: 2607:f8b0:400d:c0d::22c is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) client-ip=2607:f8b0:400d:c0d::22c; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=dixUpIFP; spf=neutral (google.com: 2607:f8b0:400d:c0d::22c is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) smtp.mailfrom=awo...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-qt0-x22c.google.com with SMTP id i50so4639224qtf.0 for ; Sun, 01 Oct 2017 07:48:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:subject:from:in-reply-to:date:cc:message-id:references :to; bh=kjiGEdfNZ7MO71Sy5XeEIt7PC1Ic36OEWqHo6oDMOTw=; b=dixUpIFPzC5Neax/0GyihN72HGvzhgNrK/tQKAgfWgyeDbouoagKZgvmi4wuGFdS2t gG/LhREusaGsqmNKQqQ971Ax/9RMWtBUvzQ0gVqjoTNUGIZg0PPIx8QFTxZ/KIAlEFPy pQodC1kiFBJtxhMrxW0IL3A2a1caoqPDEIfIx0Uyy/YdgR4KaeOoJsUfwZZrTSjiD/SQ 7FdwZi+0orzl7PUqDjC0NQmjpfTzFGceOwKVcHTPz3T1+XUcoRRRNop33Qdu5P7YyqS6 7sjXndckVt1VRJuNIs82R5/5wDJmkGqp7YJZjJ6JyGqdo3BTyq2TCgW8NSRDpcNYUPwT lMNw== X-Gm-Message-State: AMCzsaVq1X28PDqcTKfs+dnHiURTvMMhL+VHHtkxNE+pzehv6i2b1aNP JU6RxOC7d53mEdAEbL33Jn0YZKLq X-Received: by 10.200.49.87 with SMTP id h23mr15182417qtb.13.1506869310377; Sun, 01 Oct 2017 07:48:30 -0700 (PDT) Return-Path: Received: from steveawodeysair.home (pool-74-98-213-110.pitbpa.fios.verizon.net. [74.98.213.110]) by smtp.gmail.com with ESMTPSA id h40sm5736739qte.73.2017.10.01.07.48.29 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sun, 01 Oct 2017 07:48:29 -0700 (PDT) Content-Type: multipart/alternative; boundary="Apple-Mail=_4BF28C89-87A8-4697-A89B-650F9E539F7E" Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) Subject: Re: [HoTT] Vladimir Voevodsky From: Steve Awodey In-Reply-To: Date: Sun, 1 Oct 2017 10:48:30 -0400 Cc: Homotopy Type Theory Message-Id: References: To: "Daniel R. Grayson" X-Mailer: Apple Mail (2.2104) --Apple-Mail=_4BF28C89-87A8-4697-A89B-650F9E539F7E Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 A tragic loss of a great mathematician and a profound intellect.=20 Vladimir was the founder and leader of Univalent Foundations, and his loss = is a terrible blow.=20 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.=20 Steve =20 > On Oct 1, 2017, at 12:25 AM, Daniel R. Grayson = wrote: >=20 > Dear Colleagues, >=20 > The following message from the director of the Institute for Advanced Stu= dy in Princeton announces > sad news: >=20 > ---------- Forwarded message ---------- > Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT) > From: Robbert Dijkgraaf > Subject: Sad news >=20 > Dear Colleagues, >=20 > It is with a heavy heart that I write to share some very sad news. Our de= ar colleague and friend, Vladimir Voevodsky, Professor in the School of Mat= hematics, passed away unexpectedly this morning. >=20 > Vladimir was a truly extraordinary mathematician and integral part of our= community. His death is a tremendous loss for the Institute and for the wo= rld. We will all miss him dearly and extend our deepest condolences to Vlad= imir=E2=80=99s family and his many colleagues and collaborators around the = world. >=20 > We will soon be sharing more information about a gathering to celebrate V= ladimir=E2=80=99s life and legacy. >=20 > Robbert >=20 > --=20 > 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 . > For more options, visit https://groups.google.com/d/optout . --Apple-Mail=_4BF28C89-87A8-4697-A89B-650F9E539F7E Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 A tragic loss of a= great mathematician and a profound intellect. 
Vladimir was the founder and leader of Univalent Foundations, and h= is loss is a terrible blow. 
He suffered for his = gifts and he gave us much to be grateful for.
I person= ally enjoyed his friendship and suffered his scorn, and the former was wort= h the latter. 

Steve
 


On Oct 1, 2017, at 12:25 AM, Daniel R. Grayson <danielrich...@gmail.com> wrote:<= /div>
Dear Colleagues,

The following message = from the director of the Institute for Advanced Study in Princeton announce= s
sad news:
<= br class=3D"">
---------- Forwarded message ----------
Date:= Sat, 30 Sep 2017 17:38:57 -0400 (EDT)
From: Robbert Dijkgraaf
Subject: Sad news

Dear Colleagues,

It is wi= th a heavy heart that I write to share some very sad news. Our dear colleag= ue and friend, Vladimir Voevodsky, Professor in the School of Mathematics, = passed away unexpectedly this morning.

Vladimir was a truly extr= aordinary 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 d= early and extend our deepest condolences to Vladimir=E2=80=99s family and h= is many colleagues and collaborators around the world.

We will = soon be sharing more information about a gathering to celebrate Vladimir=E2= =80=99s 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 e= mail to H= omotopyTypeThe...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--Apple-Mail=_4BF28C89-87A8-4697-A89B-650F9E539F7E--