From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: homotopytypetheory+bncBD6ZB6H2UUJBBQU4TDNQKGQEQTCHSRI@googlegroups.com X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from mail-oi0-x23f.google.com (mail-oi0-x23f.google.com [IPv6:2607:f8b0:4003:c06::23f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 7255c8b9 for ; Sat, 4 Aug 2018 20:36:20 +0000 (UTC) Received: by mail-oi0-x23f.google.com with SMTP id w185-v6sf8067620oig.19 for ; Sat, 04 Aug 2018 13:36:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=ACHf0RNbr/UaJ649hqh/D0GuH6xp4mgdnFOoFOGQRI0=; b=AVDmE5bpPUHFVg7vpbQXoczCT82yFqz1JeGphEL7P9cLGEzVJEV5WPj3MGYewNE3Nx xU8/Klb8CopyZFIDS6HUsD1byJQJrlLehblMToytJzcwMVzD5lCPhioxWb1YOFf+xGk6 yD7zc1M4Px2UG0p7joYyC29CFccoJIjXcUiaKyNGdFdD/hX4MFQ4JlHoa3mY9aKUoZAH N1Akdu377XW8wj2rxxeiLQCxrWy3hdTI9gz1viD4fMEaB8MlQlJUA0w0nAEp6PvH4ZV5 SAG4TbFoKrQ+RW/8FDgnfd/4U3iX42wG4tfoqGAy+LeLrzvcyaupXAcOu+UgE+/VrSQv S3zw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=ACHf0RNbr/UaJ649hqh/D0GuH6xp4mgdnFOoFOGQRI0=; b=VniODSpGCKiKEyAcQUpmXT2FpO8cTwkFncSo8kc/OR7NhtgqIFlevqZVKOyemvK3oF iq5O3UPOtTUUyVfTZFqRya486JResLWfhU/McKIg7jAkdTMcCNKyakhzPbPJrH9gTKfe Pilxf6DykFwdDfHipjo1EejPXQqVtDZ2kUWzWqAncAuev6x/fejPDqEIFvU+FvqINhZ5 cWax9hZVxY2vYKiveZJuPNZKBQQbieaXkPQ0B02MfecMbmLXmnzRWGFaVA5xCCAaGpyi 6PMS7Albmk9DtTXWT9C/+ssF0dl/Zk5muLdv2gezpvtKw11GXd7pynlOrhU33B+cJYc8 kpEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=ACHf0RNbr/UaJ649hqh/D0GuH6xp4mgdnFOoFOGQRI0=; b=mRUmAploWv5oEc3ATKhYi2wA5rEk01wYaBxYDsEuRz/ZzM0ud98pO0DCdvpQYrV1VU 17EDxl/LiEgk2UgBysXcKaxpW7CYJ2NhwKd23RrKidjhqcm2/XHkthLHJ7hwbbIshupQ IKtxUHbNQ0iuaKXYHQO2WnQOHs50ygM+ZwWOklecYjyGsfGCZlzG1yKATNC9rFhgPp54 Z8PRRiJtpaJVfq8IesR6dEAA9JHb32Y8x70r7BzQkHR8VsXLZzHfofVDzVeOrGVT+tNR r1o9V1VwsB2FVfxtUnLB7U/uic3JG73MNxa2CWhtRpGOh1W+JUJWauAoB86judlIjoIq J+4Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOUpUlENvuJwPvC6AtbUXEZVAZwdskdNWd8IYXaPgvmnnOa3NqG3GyBY Fku/eNN28T2FF/0fTqp5nQ8= X-Google-Smtp-Source: AAOMgpdQTC4wKUN7mUMiAEBC37zYQ+1iotywAmuCJrXQ8I4TKAS7ZJ/Qm+AwDnPmjkKhuUhKKkaq8g== X-Received: by 2002:aca:c6ca:: with SMTP id w193-v6mr302474oif.1.1533414978766; Sat, 04 Aug 2018 13:36:18 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:1702:: with SMTP id j2-v6ls2429016oii.8.gmail; Sat, 04 Aug 2018 13:36:18 -0700 (PDT) X-Received: by 2002:aca:de07:: with SMTP id v7-v6mr298330oig.5.1533414978271; Sat, 04 Aug 2018 13:36:18 -0700 (PDT) Date: Sat, 4 Aug 2018 13:36:17 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: Subject: [HoTT] In memoriam: Vladimir Voevodsky MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1020_390994514.1533414977677" X-Original-Sender: danielrichardgrayson@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ------=_Part_1020_390994514.1533414977677 Content-Type: multipart/alternative; boundary="----=_Part_1021_1910461117.1533414977677" ------=_Part_1021_1910461117.1533414977677 Content-Type: text/plain; charset="UTF-8" Bulletin of the American Mathematical Society https://doi.org/10.1090/bull/1636 Article electronically published on July 26, 2018 In memoriam: Vladimir Voevodsky by Eric M. Friedlander http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2018-01636-4/S0273-0979-2018-01636-4.pdf -- 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. ------=_Part_1021_1910461117.1533414977677 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Bulletin of the American Mathematical Society
https://doi.org/10.1090/bull/1636
Article electronically publi= shed on July 26, 2018
In memoriam: Vladimir Voevodsky
b= y Eric M. Friedlander
http://www.ams.org/journals/bull/0000-000-0= 0/S0273-0979-2018-01636-4/S0273-0979-2018-01636-4.pdf

<= /div>

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_1021_1910461117.1533414977677-- ------=_Part_1020_390994514.1533414977677--