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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15367 invoked from network); 3 Aug 2023 11:00:53 -0000 Received: from mail-wm1-x33c.google.com (2a00:1450:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 3 Aug 2023 11:00:53 -0000 Received: by mail-wm1-x33c.google.com with SMTP id 5b1f17b1804b1-3fc08d6a40csf5538905e9.0 for ; Thu, 03 Aug 2023 04:00:53 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1691060452; cv=pass; d=google.com; s=arc-20160816; b=V78X4rf/I1aOd/g6EaYaFfLI5VggGfLNkOjYMNRwFmcRT26RWMMnFLzF7QfpuCWjac k/mSoZD07DtF/Y4fGNfurtal0YVE1bed5qwYrxAWB/4lZhEhGOcPd/4KMGUtuJJTMQdW gloOl2fH/N93OrhnmmskAI+U8smDMY/aRCA/MT/nUqn3jqyrnD8EABhXC49kcx88AO17 8oTT9w3kFEwFTEXYgMMvl35Ygi7Y+H7fjylgutr9Bho5Gkwi7/0MGBcnM2NaXDCpm7Rb va0YsLbYXddZUeopgLt4BEbYve7b+vnIAyKhNLk2GJENRt7aLSMcnhf1YvCrjMEtILdb aqUg== 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=QwPLydqHKjnOno7NzG/Roe4BPgRx6LHXpndY6PJL7bU=; fh=XPc6Lb5SMcADiMlGtnpK9LzTUSG5swW6OoSVyHpfPOU=; b=W66dQSb4DTV9lv9YksrT8YgfzwwLjVY+DcQJOI4fEa9nKYXuQ2pQ8gv5rhD7//qFOn +3nBenOogIdaTbsNVRpd8yaJr4roM2JYVHh8ZTA6uzkijp+NhoDccXtFP3ilehLOkvLm CC06bsS7NB8GegNS56yJHhcf2shhpuGZixoVoIt2VperBWC93lGZT0YOEmUIWX16pqBY NZ3mgk8tVRESHXvZRSAi9Ut4zSaQE4kIWHZx2viVRcgB0EIFYyxePl71G8fwpSo8BFsR bfjXEk/QCrRACB37ccdV2PwRkxLAuF/P0CrT8fnwMv7wwm7AQhSz/ye8TpCkxmgYDHQO HR4g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=hvgJXGnh; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::136 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=1691060452; x=1691665252; 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=QwPLydqHKjnOno7NzG/Roe4BPgRx6LHXpndY6PJL7bU=; b=UPN8w11UjoKqXSi8vd2QqmoWOqa758YCzWYOdKS4O4aePRhDGhkXnG0NAPrM02EAly L2TmEqfsCIH3QJXoXITVxJ289Yuo5BzaLLuyjzB66dGYQFh4W0gM4kdBQtSOnWhtzySA HJxPwzroQxYNZi+nzfmjnMJm/EZgxuP+26IRs4P8TEQ1q6bayEtwpA1CQuVmmtYIV9QJ 6HI9FhH3ZvgH1qW0rhjaT5NWCzlLcJvlQsIjQtILFDS72yR+tJ4KM0dkAIoNLdXfHnmz fRq6fOrWk1XaWokaUQVCxiLTs3jKIgVmJ9dd29vor6da+n4xNwklCy1YZz2Jo9rhZvs1 C1xQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1691060452; x=1691665252; 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=QwPLydqHKjnOno7NzG/Roe4BPgRx6LHXpndY6PJL7bU=; b=c6MXB3de7emtEjBSXe+PIowM/6YEZP/Sc6DXHtHfS9EMfaZ+ty8WdfdQ2ohD6GVMdl vu23fnykC9nNr0w9e2Lxo7OSAj+MCZLl0ZM2xOueEWUt8sVL1JqbURZ1ZXdAionw7uSQ paBPJGvjHlDBIK97eQIsN8xNgdyoDyN29gtPqqLXxNlVj6Wb2VjeJSob/Vqmw5ef9tBP BUbajyuDvsfuQVQmAxjAfRbgRc14/1DXqSfiTU0Mtc1yJM6MaWqDAZbpSFitqcxj0tIg qN2KlFbUcBWx3XWSjwYpR/TCBzjDJ16KKnaiBzKR4xuFgUiZuMJ1jsQF7foQcEowo68T bX2Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1691060452; x=1691665252; 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=QwPLydqHKjnOno7NzG/Roe4BPgRx6LHXpndY6PJL7bU=; b=RYmR/tllFDLGSv249R9JJEFDaZHCWJyjYmXgE/3819Eob0K45mrp/l148W5RowpovO sbQ38LSrkR04EIB6jlglT//+wC1vpSTRElE4TivCt7+y6FJOVgPQXFV7n5GDFmDoM/OG dupj0+ryPupaq6ol7h6lyirfw5u9Ae0yoOZMKMIIEZRIsbThiiyW8t1vJbbbCgFrvYH4 gz1nHs8zDfv63XTr2R5YkA/fv07rLVJg+7IH+LxHCVCC1Ml4vHu8p5ljVlhPWeQoFnCb RCwIiPBt/iNKnjFmTIdwkQHjTUj+TRf84Od8R6WADBVrzmnJ/GTvMo7BVVTmNN8GoZ1I FU+g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABy/qLZ8r7vEuRXXil1NxFVW2Ig6pcRLcoKgn0zJ/dSUBr/r5KgKCXw8 bBA65C3i5Gi5wxUPuuUKro4= X-Google-Smtp-Source: APBJJlGYmBnhHTufgxD/10dNE1oBN6eyRJM15N3LeEpkTd0s+kqCttbGW1SWy/Vg7Y9EIP5NA5c4AA== X-Received: by 2002:a05:600c:2285:b0:3fe:2c52:2b78 with SMTP id 5-20020a05600c228500b003fe2c522b78mr5517162wmf.36.1691060451916; Thu, 03 Aug 2023 04:00:51 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:3caa:b0:3fb:f228:b8a with SMTP id bg42-20020a05600c3caa00b003fbf2280b8als115280wmb.1.-pod-prod-03-eu; Thu, 03 Aug 2023 04:00:49 -0700 (PDT) X-Received: by 2002:a5d:66c9:0:b0:314:77a:c2b2 with SMTP id k9-20020a5d66c9000000b00314077ac2b2mr7085241wrw.32.1691060449298; Thu, 03 Aug 2023 04:00:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1691060449; cv=none; d=google.com; s=arc-20160816; b=U/HC43NnBJmC/m9YB5IMDAnPTP/b542GtXceC3+zD8DWO4E1PLUqhrBpJcD0ElWXZV JG6D0ytwhJEwz72YnEd0LctMFeuF4KUA57Jkufjew4CgWH7SEBjQEjv6PXdXJZdh5H87 ZgZJcjNZAlRtnhLoCDrIxSJswiNnf6V4Q61UqeKAZD1bLvBNJesm4877ayGNiRyotcZv aX9Vc8u5qYY5w3hMl69ib/hT7rJ8GUELWGvEpQXVLxdqm5SRvdhgM5rW2AGHdO2wsXJq B9wf2mCq6BJCGWPj2MoCl+g4yQn3Tpnj5BV8s5lsMe6cHzeaHDcBTRzM1aZkPButTQ6I BYzQ== 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=pIVn4f8nyBSUq/T1XPINzOprj3pk/LwHl8TCpGGNHik=; fh=XPc6Lb5SMcADiMlGtnpK9LzTUSG5swW6OoSVyHpfPOU=; b=q7q1tVrM54kPMd14AhDo5vsfgIHSw8uZAaxZeRNLLuvyQ/ojna/y3jRbNOAoxoSMHj w/dCVjl7bnWNp1i++nTAwDqanDSn0+gYGdgU3K1wUw1CQycaE6POYx16qRpUc6nslJOL 6FovamsQtaRX5fmeH6MOHjgoNihsPOUI2vSDOlIUYnJJfIyCDg9go2CjnVqt5yk8k9HM GEfKr3VBV67+SXKacyhDieXpt7tW0gAJwY/wDc4Lzm0wbv9AKMoWfhmbFzoW9qO5O7ZH meEFlqTU3j4a7rckIaWxklysCUY/C8SDV6W2TbQ8PSLn/N3WfQrVpyYxBIJwI7DHM3Z7 9yAA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=hvgJXGnh; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::136 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lf1-x136.google.com (mail-lf1-x136.google.com. [2a00:1450:4864:20::136]) by gmr-mx.google.com with ESMTPS id bp23-20020a5d5a97000000b0031596f8eeebsi1429568wrb.7.2023.08.03.04.00.49 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 03 Aug 2023 04:00:49 -0700 (PDT) Received-SPF: pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::136 as permitted sender) client-ip=2a00:1450:4864:20::136; Received: by mail-lf1-x136.google.com with SMTP id 2adb3069b0e04-4fe1344b707so1361517e87.1 for ; Thu, 03 Aug 2023 04:00:49 -0700 (PDT) X-Received: by 2002:ac2:5f98:0:b0:4fd:d0bd:2401 with SMTP id r24-20020ac25f98000000b004fdd0bd2401mr5865284lfe.66.1691060448345; Thu, 03 Aug 2023 04:00:48 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamievicary@gmail.com From: Jamie Vicary Date: Thu, 3 Aug 2023 12:00:33 +0100 Message-ID: Subject: [HoTT] Pittsposium -- Second Announcement -- Registration Deadline Monday August 7 To: Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" 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=hvgJXGnh; spf=pass (google.com: domain of jamievicary@gmail.com designates 2a00:1450:4864:20::136 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: , Dear all, a second reminder for the Pittsposium on August 22-23. The registration deadline is coming up soon, Monday August 7, so please register as soon as possible if you would like to attend. We look forward to seeing many members of the community there. *********** 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/CANr23v2QiiFR0LCSJLJhJ3Xpaxkj1i3G5uLVNLt133_%3Dn9Jgng%40mail.gmail.com.