From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7225 invoked from network); 15 Sep 2021 14:52:22 -0000 Received: from mail-yb1-xb3a.google.com (2607:f8b0:4864:20::b3a) by inbox.vuxu.org with ESMTPUTF8; 15 Sep 2021 14:52:22 -0000 Received: by mail-yb1-xb3a.google.com with SMTP id b9-20020a5b07890000b0290558245b7eabsf3707691ybq.10 for ; Wed, 15 Sep 2021 07:52:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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=2iv7Nt22wPQ9E3v4ZcQqypbdF4Fw/ci8iK7epko7ADE=; b=GMffVT34WyA/+jLur5t11IHvbWa+tUQGlyrPGMrrkUbehE6mDTNn9DzDTMW1/GkmFY 4W1zI9p3oM5s8mZdBF351vcyVG16xkCxpKWF8Yj2zquoXlae7le4Z+jF2rae9wdCUdxJ HmFCfyHJUK1XWx612v1Jh9BTQyjVG7x9CUFIx1iR/Jt8dL1AgTpMZb8y1pXJZf7mIj0G Wn9+q1zepPueJD4lWYuZIxFQFkAyE0BWC+hW38RyJUaGmGkggIcEqsHAx5puKEZpWHDq x7jg9RZcOUIhx2q+3vkv8Lg3MI88K1d6sGQbsYON1SG6giYkC2xh3R6HYssYcKF+OBeG TLkQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; 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=2iv7Nt22wPQ9E3v4ZcQqypbdF4Fw/ci8iK7epko7ADE=; b=RwmlryOyjbxdLvwrG4XgurLOyOqYFWUm43Ev1Hor5HZ9JqeOWBZUCCVDWrijlmZFKX /9AIEPApsWhbfmMMXZPDL+C+cGpFPqPcNL3XFrTCM068vM0g5lrWFPqo1MOm8gynrI1P faQ65kXzp+cjUN7bxqUmfFPyEuAXGuEtBtmFuwDTcxuNj+M+CtAtu9PU28jELXJcScvS PhULMNEZlhS9fC3bRzJYs8XLKiBIQw4wB66rL7WfOfgUErKHgcrCHMxTM81LdsbmOvQW eCqMGI3gKVKovPAWS+Hsn5gnQ3BfeZP+PoqkLMhromnu1MYQN+S1rby+z0zjoriFiEws F1bg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=2iv7Nt22wPQ9E3v4ZcQqypbdF4Fw/ci8iK7epko7ADE=; b=THgkEYa0kXZsiKgJTEzn0OVghS+KGOOoYn8c6QULjM9Rijx9HI0AlyTLzlMbTW6vJF 6F1sy2jH8Q1szbwlYnda4OfIwqgCUgtZ8LOU13cifE69hAmY1xiqr4DvCuxcNVC1zhTF tlX/TeQ25H/YYZvHe7VoHOEBFoMscLKA63PM3pe8a9kenJ2cLKNdKHQdglTD30uiFtsP szaUFmrAfErBe8Q50vhV4p5UQ4t7AAy9/nJTZTdcmdc69N1lM0/Ce3eE8af1dNjxE8OT VU1E/txKasrQeDMk+MKY3K7p+MZZP0M/Qc7N+dZFFjSfrGc6uYg1l3CBgcU94P4D8yTO xu6A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533miXaT0rhCHWxW3dj5fpKjM5W+OiLJWgRqxngWQmg+CGv167Mh pl9i2r1MoUe2v8GQiukvQD4= X-Google-Smtp-Source: ABdhPJyfw57RC8yuK6MqzJGwixaB7xl1uqOsG/172Pv7rXrz4UpMZZMVK/mtsn9PHgNlXzZ/YONMyw== X-Received: by 2002:a05:6902:120c:: with SMTP id s12mr543596ybu.84.1631717540638; Wed, 15 Sep 2021 07:52:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:d7d3:: with SMTP id o202ls156728ybg.3.gmail; Wed, 15 Sep 2021 07:52:20 -0700 (PDT) X-Received: by 2002:a25:b48:: with SMTP id 69mr475951ybl.258.1631717540026; Wed, 15 Sep 2021 07:52:20 -0700 (PDT) Date: Wed, 15 Sep 2021 07:52:19 -0700 (PDT) From: "Daniel R. Grayson" To: Homotopy Type Theory Message-Id: Subject: [HoTT] a special issue of a journal dedicated to Voevodsky MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1135_1731778966.1631717539300" 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_1135_1731778966.1631717539300 Content-Type: multipart/alternative; boundary="----=_Part_1136_1867578318.1631717539300" ------=_Part_1136_1867578318.1631717539300 Content-Type: text/plain; charset="UTF-8" I've just become aware of a special issue of the journal BioSystems entitled "Foundations of Mathematics and Theoretical Biology", dedicated to the memory of Vladimir Voevodsky, edited by Elena Fimmel and Andrei Rodin, 2021. See it at https://www.sciencedirect.com/journal/biosystems/special-issue/10PPLLRFK11 -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/a687963a-5d15-413e-bd26-f169d46fb5adn%40googlegroups.com. ------=_Part_1136_1867578318.1631717539300 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I've just become aware of a special issue of the journal BioSystems en= titled
"Foundations of Mathematics and Theoretical Biology", dedi= cated to the memory
of Vladimir Voevodsky, edited by Elena Fimmel= and Andrei Rodin, 2021.

See it at https://www.sci= encedirect.com/journal/biosystems/special-issue/10PPLLRFK11

<= /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.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/a687963a-5d15-413e-bd26-f169d46fb5adn%40googl= egroups.com.
------=_Part_1136_1867578318.1631717539300-- ------=_Part_1135_1731778966.1631717539300--