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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 27948 invoked from network); 28 Jul 2023 17:56:38 -0000 Received: from mail-wm1-x338.google.com (2a00:1450:4864:20::338) by inbox.vuxu.org with ESMTPUTF8; 28 Jul 2023 17:56:38 -0000 Received: by mail-wm1-x338.google.com with SMTP id 5b1f17b1804b1-3fd0fa4d08csf15550445e9.1 for ; Fri, 28 Jul 2023 10:56:38 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1690566997; cv=pass; d=google.com; s=arc-20160816; b=VrF+JPhWSZUESCdwT0X5Ga0pplGawvRXerNW83AW1FlQCpMpJqbAE+YKdzvMBVCEf1 FeCWGmYM/dgNnTzZ7nmCm8dgFfr7nGBufsJJspzR7Cd4TTSrNnsDXr9CP2cpJ4zuig1h yacb9yVLo+6a81vehui6TntWhZG7VtkiBKNxSPiVzlUMszvtcnaKOZUsNTOqxZvqoYK5 3N22mTkgOey/DW4nEcmXTg/S0x+VnOucJ1jNdiW54E/H3q/yNvibPlBBoXqe+4O9fk7D 7ngMF54vccx5XkioShx2a1J70CGtbtdZ/Th9b2z25dhxQCjGuXP+pHeX+Kq1+bpPEU8D VBvA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :reply-to:in-reply-to:references:mime-version:sender:dkim-signature :dkim-signature; bh=qs8HnRoRCORftNhjg1a6Lt4Z1wMIYvz9q5CSVvj6ifg=; fh=XPc6Lb5SMcADiMlGtnpK9LzTUSG5swW6OoSVyHpfPOU=; b=URLmSlF6wuYWmU+TBb9E7FSjcPSrtWZC8fJJwUKEfohaxLrRI2Crfnnv/HSYvujJOI CszQHfqkRcDLisURnBK3XGfuq2QtvsY+Rtf625Q8kgoj4p8B5l2NCRcRXEZznP789IQg u5hr/XwMLy1x253PgLThJ2poIrCsFRp6cZhAmO2+O9+GG9FS/9HLU7aNohd18K57dVWY 3tomiBrJ5DNnwNkrXpUnvoPK7rTJdC3vMtCrBv8YmC2RNadFb7s53BSnH6/5IPLzcqEK RzaoEZvFP2IW+NAmI4btM8fQ61/GraMU0h1kN5vVpT0eWdsf36oaqRz34C9mUeDtQdT8 0Uww== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=jjHrN9VX; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::236 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20221208; t=1690566997; x=1691171797; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:reply-to :in-reply-to:references:mime-version:sender:from:to:cc:subject:date :message-id:reply-to; bh=qs8HnRoRCORftNhjg1a6Lt4Z1wMIYvz9q5CSVvj6ifg=; b=nFvYsJlJjuzDwDrVh2b3/t1zTFrSW2xovy39GQE+iYhqcUGshI9d3StfbcVxewufVf mjXylzK1DQt7kBZrDEeDeiO8GRrqZivDgOYFGNukw51YgdA/0QkifwG8N1pOqICxC0+e 4bF8i0zuNFyZtKqX5u5ath+T4iCfv1k/s6d9m0DTZP455rHYXZ7WXL0T3uRkIsL2xxQp UVci3tBnMo+93pCYtDcyOo6uGVfDI77Za0BNBUhqD6LPv7KVL2XNj3zm5kIAyRixrWfU 9udHsN0252jS9cL6uBtxjvaqghflYY1w6xn8O70ycDBqf9eGOGJiZXYLOj3CXN4vJ4ez QAFA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1690566997; x=1691171797; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:reply-to :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=qs8HnRoRCORftNhjg1a6Lt4Z1wMIYvz9q5CSVvj6ifg=; b=mOTkvATjAddOZgm+JTcYmyNfTq/wmoA+5fKkMlnzxbCfQPX49TtcOq6IwH23EKZzXy 6Ec4JX/FARIZzJDZWqYoOZyoh3su9VbYGjx7tsz9BZQRWYUBJ0LdGVe1VP1brii1vJvQ 6RH7gFOg09Ss4hJqmj3sKV1u4Vl5Le6b9nct0mR27eaRUp7ct97fWyjlyt4RJdU44jew ZvERbF/sm6IlLpys6/sA1VzXKxc0OPb0wPELajEzm7GzG+MMuVZBILUklQ2/bupxE2ZH Odv67ibQg/FhrTEECLWsYYDaPxYtJzDB16GqI93OcFiabdktjeaW1zO1h7PxeEAOizgx UofQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1690566997; x=1691171797; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:reply-to:in-reply-to:references:mime-version :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=qs8HnRoRCORftNhjg1a6Lt4Z1wMIYvz9q5CSVvj6ifg=; b=R8/F+pqDM5tKN4jjJKL9awxo5r89Pm0LmGnpt3MKJkDQkRnGq5dtNVM8j2X1FXvXOq H0NDBTKpJwCoR1BeW72PqCmAIU0Cd5FE4ugCxdpOTHYJYritsUgi3tUDxoKzLTn296pw 7xOmu9Y5tSKPoiapcxL+EO42wHG7OHqEYusq3U4WAmvDLb24231LqXyRMpKqB1j66XXF mtnkiLOAi0Wcc8PF/wCh5LYeGywopv2O1c+JxmyKqheeQLp95AOrWQ2wSDCcxsJ4gArj o5dWzk33P2X3OwCxbC3u2ua2/3ioCPuUQbplHF2MwxjkjK0LdgoGVt9arCcbDOMrExvU Ft5w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABy/qLYMEMY0Pv2kOzHTeF0ZnhfoWtWBgxJETplRzLg+saV7Usq7ZuAo pgyZXoEA83fhi3Dg7r7dDko= X-Google-Smtp-Source: APBJJlFzTo4vftztHqij8B3LPix2kkAdR+6jUiwrUQ3A48WeVWIBLQNNpDHT8J1bsMMqJMiG0y39Ag== X-Received: by 2002:a7b:cd09:0:b0:3fb:a62d:1992 with SMTP id f9-20020a7bcd09000000b003fba62d1992mr2378275wmj.0.1690566996730; Fri, 28 Jul 2023 10:56:36 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:4f84:b0:3fb:422d:5011 with SMTP id n4-20020a05600c4f8400b003fb422d5011ls234401wmq.1.-pod-prod-06-eu; Fri, 28 Jul 2023 10:56:34 -0700 (PDT) X-Received: by 2002:a1c:770f:0:b0:3fc:521:8492 with SMTP id t15-20020a1c770f000000b003fc05218492mr2178303wmi.5.1690566994215; Fri, 28 Jul 2023 10:56:34 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1690566994; cv=none; d=google.com; s=arc-20160816; b=HZuwteJHv6Wfq4jUkuXzFuKu826O13eDTS7PX0g0WXKRMFFnW9Ia25vmX5dlMltLEi 0ji0wKBlaEfC1ES2ImByU3UtFtqPNqk/2t/rZhnmM4e4mYfLKR2M2e+FVI83mo+DL0mb NO3ci7Uu7HufwBRMbBhEq4FKOPykfcYOJt30968c645IINUfR7ptmsz6aMIeqvGgx/J/ T1qGw3eu0LTdDjMjmBYgPKtcX5qyHeGyDXkn+SzXs7ZQ7GzloV1cPorW9vkaHdBD5EHZ pjuTnFameUDnaCvLk6SXSH0DFIP9B4nSi/va8eI91+ssAkx9MlU+QqanN4Ql9046q2lI 9x6A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:dkim-signature; bh=Ap35+nrI/XmQDVvbrD7MpyL8SGKoCYSaZgJYDwHcG5o=; fh=XPc6Lb5SMcADiMlGtnpK9LzTUSG5swW6OoSVyHpfPOU=; b=xwYxRUqyiltNjXJqFHcUN23Wg21aM5I9uLwWurB+5mOlInLO3ympjzx+SQEsEomcPZ yiR2xyPe72CxTvcSdKJg6VK8bxqpXpOTdwCSaeqDxaXE8p7bh8nYgunyw8P9S4rZLtqG e14UBGYMmVlLomWyltpuQOZxlqQwtWZC0NU5ey9Jnj9TnbReh83fQgKeYJrLplJs4iSf L346Je4PH/d2u3QP+m8ICQ8agGfS13FWU3eHtTDwr9j/Rv/jhxKY6ThZafpL6ikGirmv yUapab2s7rnBiDTn5aqZdcWBF9/CPbBxippvtYjsTxCoUCGZCndNbzFM8W8BMAWOrxcE Ayfw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=jjHrN9VX; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::236 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lj1-x236.google.com (mail-lj1-x236.google.com. [2a00:1450:4864:20::236]) by gmr-mx.google.com with ESMTPS id bd23-20020a05600c1f1700b003facc8c7725si519363wmb.0.2023.07.28.10.56.34 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 28 Jul 2023 10:56:34 -0700 (PDT) Received-SPF: pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::236 as permitted sender) client-ip=2a00:1450:4864:20::236; Received: by mail-lj1-x236.google.com with SMTP id 38308e7fff4ca-2b9d3dacb33so9736881fa.1 for ; Fri, 28 Jul 2023 10:56:34 -0700 (PDT) X-Received: by 2002:ac2:5f4c:0:b0:4fb:a990:bb28 with SMTP id 12-20020ac25f4c000000b004fba990bb28mr2126658lfz.18.1690566993062; Fri, 28 Jul 2023 10:56:33 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamievicary@gmail.com From: Jamie Vicary Date: Fri, 28 Jul 2023 18:56:19 +0100 Message-ID: Subject: [HoTT] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="000000000000172e3506018fcdd6" X-Original-Sender: jamievicary@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=jjHrN9VX; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::236 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , List-Unsubscribe: , --000000000000172e3506018fcdd6 Content-Type: text/plain; charset="UTF-8" Dear all, We are delighted to announce an event in Cambridge, UK on August 22-23 to celebrate Andy Pitts' distinguished career: - https://www.cl.cam.ac.uk/events/pittsposium/ Andy knows about the event, it is not a secret! We are sure the workshop will be a memorable occasion with a wide variety of fascinating scientific contributions. Members of the community are warmly invited to register and participate. On behalf of the organizers, Roy Crole, Ian Stark and Jamie Vicary -- 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/CANr23v01HPzOhuu2pi5DWhMzWuq0h9rBGnAYAwdbZ3%3DbKvgbbQ%40mail.gmail.com. --000000000000172e3506018fcdd6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

We are delighted to announce an event in Cambridge,= UK on August 22-23 to celebrate Andy Pitts' distinguished career:
<= /div>


Andy knows about the event, it is not a secret! = We=C2=A0are sure=C2=A0the wo= rkshop will be a memorable occasion with a wide variety of fascinati= ng scientific contributions.=C2=A0Members of the community are warmly invi= ted=C2=A0to register and participate.

On behalf of the organize= rs,
Roy Crole, Ian Stark and Jamie Vicary

--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CANr23v01HPzOhuu2pi5DWhMzWuq0h9= rBGnAYAwdbZ3%3DbKvgbbQ%40mail.gmail.com.
--000000000000172e3506018fcdd6--