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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 27865 invoked from network); 13 Oct 2021 13:56:17 -0000 Received: from mail-oo1-xc3c.google.com (2607:f8b0:4864:20::c3c) by inbox.vuxu.org with ESMTPUTF8; 13 Oct 2021 13:56:17 -0000 Received: by mail-oo1-xc3c.google.com with SMTP id 125-20020a4a1483000000b002b6235864bcsf1089226ood.12 for ; Wed, 13 Oct 2021 06:56:17 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1634133375; cv=pass; d=google.com; s=arc-20160816; b=TnXyGfNw54lM6nOqPZlDwClhqiZXT/OPT7M6DM3Xq7Ri2TDacfVk0qzXHGUli+4YL+ AJvqXfIvCPcVa/danqx+Azc5zuC4l6vm3a0NXeWCkzRXPdEEHklDTb3itiGaijK0KrvR AcX7AzZdimuJE06iJuu8zLarZkbT1NdOksrFLGzVhLuqHGagiBa+nCpCsTJ/J5JA9x1g LkD0K47lVmRarSOKkXfHqS+gWIo7ZBXA9K5UCX7rKFcKhc3YBgWp87rLSR49+pkcQbR1 Aksb0lngnXm+Q+Zd1PXQ/3n95koynbqxm2VR7i/lZsKj2ADBc/udR8khSp4YKvFYRGXt zo7w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:date:to:references:message-id:subject :mime-version:from:sender:dkim-signature; bh=Y7gH2K0k04LYaij6P75BttWbolW0sO/mZy9B+NGh7AI=; b=I6nk7D1qtj8AQdoKK3/+kzcB4B1UD/jtoaaSV+aPAVILGc/B6/VFT79CwVrADwUoRM rndsnyAB7XLv+kA9syQLs02gSTw8m9W4Jv/tA4JvooVAnHJhvmbbUVG3gJOrgc+Gcyk3 OpNti+JdKnRR54MNu0oDTf/fDM3Gobqaa1fB82qcxnm3h6X26olO8nU9t88P1K36y/JF eVpUJlifvmL5aq3xbM6yCpNMYdW65TdQDgMpXSniybH03MuV+Iva8v19HC2+FeMqt1gm pNf3Ux0Vl6U2u7kmo66/kywihWYrgU8OU2DZyjs7zkGbH/W8FXgNwecaBAQqlwTQfrrP cTrA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=ZoiSJWwh; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:mime-version:subject:message-id:references:to:date :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=Y7gH2K0k04LYaij6P75BttWbolW0sO/mZy9B+NGh7AI=; b=q61s+pxzBudOUJIuAOoPLGPg4kX02YFsw6AYsvTr64NRHbL/KeW/80YUWweW8usrew WYgjSDQftLRoEdqBEJbVXpsAGwbf42KNgSicr/fOLvj8ppr1XmNOAz45KgCgEwaCh8v8 ya1od7SwKIhdwgMpQDTUtBZXryPLWMVlpEkEaH3DzUk3VmAAegoADjdvideCfE/YIS// AhPUU0k+uLANqRlkKK74oyYeKwoQfWpvi5KH4d+KR8DJ7iYB6FC3FSkbRDp3EE2eJRnp 2M+qgilyosQZAfYWge5/5tT7gQ36u0A+qV4xjnHQn+lJZxqfck7Q2dC/Pyo8zPA13ypr oaKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:mime-version:subject:message-id :references:to:date:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=Y7gH2K0k04LYaij6P75BttWbolW0sO/mZy9B+NGh7AI=; b=Zjv0AhWHR1k1ZEAP3mC+FiqHkLctYkqWbns5VriQblka4S1JDTj7lJ4SQW4JL1jyeU 4Zaz3oVijWHoxdzMBuO3DLRe10hh2IBssEByVwIKqFk2vaAweTwe8z/einUqjZDnhMC0 I55edSMVm4I6A3EIQD/diD9H7cnOklf6iWV10HyiHhygXgE7liHyM82UuzCGz7U2L3fQ dwC3hUIzLmsmOx1wO3ewSH/xcMBjxMc5zsLLLJZwHGxkUAHCBqV+rOH6G3jfe6wyA72z GDE1gjcWl9HTt5Qrxej5ldbx3W++BRDNVISav2TveJRUmpRU7O+EsNKguu10s7gOrR/5 vLow== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533Ko1rm6U3JK0DXD/krJjsLGl7v0bhFazgD5OHAvVoWiVESM+GD B04MtF1ClawOrBcbogg+Rz8= X-Google-Smtp-Source: ABdhPJy5SuXgqQ+7TEkBOgwO920RdwjVhSTLdNR0qm/oBAGpsKQxlrW/ooAKuov0HqJCcE52jvwNKw== X-Received: by 2002:a9d:754a:: with SMTP id b10mr7803001otl.182.1634133374558; Wed, 13 Oct 2021 06:56:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6830:4486:: with SMTP id r6ls761359otv.3.gmail; Wed, 13 Oct 2021 06:56:13 -0700 (PDT) X-Received: by 2002:a9d:4b8d:: with SMTP id k13mr11078797otf.103.1634133373893; Wed, 13 Oct 2021 06:56:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1634133373; cv=none; d=google.com; s=arc-20160816; b=plKofirNbDOgMoPO5WaIe2D41Ix7J8wZfh5Yki6A2fjga3KVghvnm4bBm8z6kxu5si 4fIW0Jg4pdrIwQjz7XlzgB7YUvD7h0yTedpisBF88eooxcFHXnrbfGbvZCe2/Pev8NAm dAiTByTFfIbLCP0cwqb8gQ/kfnRsPXUqLH2onyverIoe/NKHQquv2r7WJAI+e+LbdY/n G5Yv0RY6vhigSuLXbPQzuOlOId338Ctk4AbTRI6EdNjv7RZd5oKDJ7HQTS1S6WyOu4qn IZ2B+g0udYHxRAMWUb6Tc6wFIIuI4PY2v8e2UbXpDJvHTqWbDRHeYtKn7TdBy7cha77i 3hSg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=date:to:references:message-id:subject:mime-version:from :dkim-signature; bh=/tF0trcSZj60mNli+5XAbZ7wOTuRo30Vl32ZTUre3x4=; b=k/xIg00irktpEH4GovHxZdfFDDLNJ7vdtg4C2zFfarWdb/KpbNZ80wjyHAdSqQ1uOE MxoHDr6LmTYqElFnbJjmWBsJtUAYb/iWx7S5C+D15KK8zWHtsTTsPrIKzNrCkPwV6XL1 KI7pmXQ/fJHF8IxZILPR1B+VNqUlj6Ij3/CHtZuMEH0jtBhJGzqnPcqQ8B22RrELmaoL rbOX6z9thRQexwGp5TfoIptX2O4TTOGiqzFhOiMosNk+x1FCZiZnNrixOD0zXRBYqh9n giZFXu1t+5QOjvlGfV8psRin9u+lxksStC2y2+mUZT9wjijGm+6P3VUGkTvkRdD369qY wRPw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=ZoiSJWwh; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qt1-x830.google.com (mail-qt1-x830.google.com. [2607:f8b0:4864:20::830]) by gmr-mx.google.com with ESMTPS id m30si1114772ooa.1.2021.10.13.06.56.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 13 Oct 2021 06:56:13 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) client-ip=2607:f8b0:4864:20::830; Received: by mail-qt1-x830.google.com with SMTP id c28so2541642qtv.11 for ; Wed, 13 Oct 2021 06:56:13 -0700 (PDT) X-Received: by 2002:a05:622a:1301:: with SMTP id v1mr16853896qtk.233.1634133372943; Wed, 13 Oct 2021 06:56:12 -0700 (PDT) Received: from smtpclient.apple ([2600:380:592a:a449:146a:cf68:c7a5:f6e8]) by smtp.gmail.com with ESMTPSA id y20sm6602542qtj.94.2021.10.13.06.56.11 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 13 Oct 2021 06:56:12 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_9B34E145-93C8-4A44-9650-D433400F3FFE" Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\)) Subject: [HoTT] Fwd: Conant Prize 2022 Message-Id: <8900BC17-1A60-41E7-9323-F389A849016A@cmu.edu> References: To: Homotopy Type Theory Date: Wed, 13 Oct 2021 09:56:09 -0400 X-Mailer: Apple Mail (2.3654.120.0.1.13) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=ZoiSJWwh; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , --Apple-Mail=_9B34E145-93C8-4A44-9650-D433400F3FFE Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Let me add my own congratulations as well! >From the linked: article: "The Levi L. Conant Prize recognizes the best expository paper published in= either the Notices of the AMS or the Bulletin of the AMS in the preceding = five years.=E2=80=9D Well done, Andrej! Steve > Begin forwarded message: >=20 > From: Nicola Gambino > Subject: Conant Prize 2022 > Date: October 13, 2021 at 9:47:58 AM EDT > To: "constructivenews@googlegroups.com" >=20 > Dear all, >=20 > Many congratulations to Andrej Bauer for being awarded the 2022 Conant Pr= ize for his article " =E2=80=9CFive stages of accepting constructive mathem= atics=E2=80=9D, Bulletin of the AMS, 54 (2017), 481-498.=E2=80=9D. >=20 > Please see=20 >=20 > http://www.ams.org/news?news_id=3D6827 >=20 > for more information. >=20 > With best regards, > Nicola >=20 > =3D=3D > Dr Nicola Gambino > Associate Professor in Pure Mathematics and Director of Research and Inno= vation > School of Mathematics, University of Leeds >=20 >=20 > --=20 > You received this message because you are subscribed to the Google Groups= "constructivenews" group. > To unsubscribe from this group and stop receiving emails from it, send an= email to constructivenews+unsubscribe@googlegroups.com . > To view this discussion on the web visit https://groups.google.com/d/msgi= d/constructivenews/D7A4A39C-0E0C-497D-BE5E-64769089BFE0%40leeds.ac.uk . --=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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/8900BC17-1A60-41E7-9323-F389A849016A%40cmu.edu. --Apple-Mail=_9B34E145-93C8-4A44-9650-D433400F3FFE Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8" Let me add my own congratu= lations as well!
From the linked: article:

"The Levi L. Conant Prize recognizes the best expo= sitory paper published in either the Notices of the AMS or the Bulletin o= f the AMS in th= e preceding five years.=E2=80=9D

Well done, Andrej!

Steve


Begin forwarded message:

From: Nicola Gambino <N.Gambino@leeds.ac.uk>
Subject: Conant Pr= ize 2022
Date: October 13, 2021 at 9:47:58 AM EDT
To: "constructivenews@goog= legroups.com" <constructivenews@googlegroups.com>
<= /div>
Dear all,

Many congratulations to Andrej Bauer for being awarded the = 2022 Conant Prize for his article " =E2=80=9CFive stages of accepting = constructive mathematics=E2=80=9D, Bulletin of the AMS, 54 (2017), 481= -498.=E2=80=9D.

Please see 

http://www.ams.org/news?news_id=3D6827

for more information.

With best regards,
Nicola

=3D=3D
Dr Nicola Gambino
Associate Professor in Pure Mathematics and Director of Research and I= nnovation
School of Mathematics, University of Leeds


--
You received this message because you are subscribed to the Google Groups "= constructivenews" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to constructivenews+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.g= oogle.com/d/msgid/constructivenews/D7A4A39C-0E0C-497D-BE5E-64769089BFE0%40l= eeds.ac.uk.

--
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.com/d/msgid= /HomotopyTypeTheory/8900BC17-1A60-41E7-9323-F389A849016A%40cmu.edu.
--Apple-Mail=_9B34E145-93C8-4A44-9650-D433400F3FFE--