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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12658 invoked from network); 13 Dec 2022 12:01:11 -0000 Received: from mail-pf1-x438.google.com (2607:f8b0:4864:20::438) by inbox.vuxu.org with ESMTPUTF8; 13 Dec 2022 12:01:11 -0000 Received: by mail-pf1-x438.google.com with SMTP id bq9-20020a056a000e0900b00571802a2eaasf1918589pfb.22 for ; Tue, 13 Dec 2022 04:01:10 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1670932869; cv=pass; d=google.com; s=arc-20160816; b=toWE5sWiKnOyvndkdiBtKwqLvhbKyG6q7zIUswN3YXW8HrS9rvkNoAveELsbEXzuea 7dWf8AnBbrjP4xUIulfseYvyEhL40X8l+UuBpIsYiwOPjsCmK//qGABIMyTRh3wvqutM ofBlKBpg+wfla3DQeFL2mieFDm3E6rHpt35rzBz40fSOiVUO3vvMWC1iFJ9Lp0EePczK UAh+wLT3JJcuCBfhqqTKVVMXwEEhX3fuP8U3l+kJ2uLUGaRL0EKBr4/fniil77QX4lR4 uXcDiVVJh81QJxKtFtZnHG5dUXHxDBflg70T4weMmetwj+ghZY4Q6zT8oH3rh7IHtu6K YDgQ== 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:date:message-id:subject :mime-version:from:sender:dkim-signature; bh=cctE6ZmGS+1wxhXCuufbOkJWkeB1zkpBzsrR2idsfa4=; b=Ain7a/CdkhlBEDz4DIwuyjGhdzRv4meNdzvfwO8LuYSzEhkFria+QKyNOLyv69Ol2n afw9P1D6NmCL/tLU+bTJzjW4SK2HZTXfO63HEfxr5UrV0Dv2TQmxWP14YeUdAXEwR0ep mKb8dy/1c4gXsAnwTySWMC+nNXxUMYcdrPufglDcLXI7xCWgtVvt7x5QG+lGi1xzW2UJ oHjeB1g+K7Pj1Z76ka9SsIAQ392+B9bOq4+29fSXCWhTkAPovvDxfgm3IfLYZh0i8nwQ 37e9tWpmycFotRkKE0mjPyAMWqMgeawi0hr9btkyPvP+qszjt6SkCNEO5gQopaIfi+OW +ioQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=GS5U5RWY; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::832 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=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:date:message-id:subject:mime-version:from :sender:from:to:cc:subject:date:message-id:reply-to; bh=cctE6ZmGS+1wxhXCuufbOkJWkeB1zkpBzsrR2idsfa4=; b=iPAY2oQKjyETkalsZZ3r/qq351a4SdrlOzok3x90WHYZI1s8YAyp5LNIpDxEdkUURh 2T+TGlaR3ooRz25xsKXtryuZ5iM1Yjn5qr94pg+jQoZ3D4F7KBeulHK27h1lz710W60/ bH3ES9AN0TA6IABHLB2yjsIZxG9OHbhN0qDQHBEHp21GQPgYqHeViXDQcR4ejsolWR8n kSxRcZA2vUYXhUWKXokyiovsNA6Qg8vot4yNIGuEpnJ25dE+f1zG5yOEpOoNDNXLh0IF yqBvkQgW0uftRFTiuy7PDRB4wcpLVeYzUchww9OaqojJ8rvm5jFj0sIkuG9NQ+bbx4BY a+QQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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:date :message-id:subject:mime-version:from:x-gm-message-state:sender:from :to:cc:subject:date:message-id:reply-to; bh=cctE6ZmGS+1wxhXCuufbOkJWkeB1zkpBzsrR2idsfa4=; b=JBnqEvbK1AZ6c4O+34PX+x3EYt2g0FTQdeoUJytJTQWGbFXu1I9y/VQxf9mVDr6TUv Pg/+iyE72B0N+WHry2b8F11/ownDlp/eD/Pu+Z4bZMfnK3LCfK4TC+b5pjODEDVIkMqu 9odQETyVzozAfy60/O9mNfMGYBtpO9QsgDgfVIPszOs810oHlrAn44OXsKGmY3K+syxQ yPepLsTgiudnhSfY+0t1nfHp3rhMSN4jK99C/vHFhCn17YXyMNra+Xp5NttcAAkmEmpT bULCRr46rFrH8mpJZHgV1uWpTehJ3BCK8hGn6neBexv3BPlCLfvKZ2u9fEYXjqIBhtpM hwnQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5ple+oB+VLp8zvYiio4E8EXVPue+CcwvTRMG3J3O210iFhUXYGoX 6D2IB/ZpQXTiJPm5WSFWk+M= X-Google-Smtp-Source: AA0mqf6eYLK7OTr9IIvIGUkAKf/LlfeSZojsEyOsRA5Yp1WnfarWj+7r+Vrl7aWnaO4hAqhfHTAdjQ== X-Received: by 2002:a17:902:f092:b0:189:9b43:a082 with SMTP id p18-20020a170902f09200b001899b43a082mr45944429pla.95.1670932868747; Tue, 13 Dec 2022 04:01:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:f609:b0:188:b504:8ce4 with SMTP id n9-20020a170902f60900b00188b5048ce4ls18734616plg.7.-pod-prod-gmail; Tue, 13 Dec 2022 04:01:07 -0800 (PST) X-Received: by 2002:a17:903:24a:b0:189:cb96:1529 with SMTP id j10-20020a170903024a00b00189cb961529mr23338637plh.44.1670932866841; Tue, 13 Dec 2022 04:01:06 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670932866; cv=none; d=google.com; s=arc-20160816; b=bAwSzL8sDJ17lk7rHJgYSq7Fjmz1TgTdkVcDeWI0am61Io/b78pgjrjeG6/AUI5/Q6 Y1rtj+wh+ap9hIRa3MbMtlhPnw9gDKPHAcTls8IdgvcHpdDGJ9/WBFcqbr2pbWCH9dD6 ngmJ+d0hea+v9dcUzB3Pgmm/JrAc2Y82ksi0PhJassRy0mJkQDE11StbPSy5Nj+N+ShF 5/UVuX3w4EJpopbcQVB3G0zaLHCWsfvg7bog1/+PbHp3roR2lhH3HX6TGyPKvVUlpdwk cnc92gQtlylpVrYRNkNEQ8iWM3O3ZQVwvTmpJsmQMzNfPyb4NjIZF8YcS6pfR7f6ts4o Dg6Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=N4MDYNdy+FGga9fZtGTkRij54QmN5SF3zc9VAds86zY=; b=vt//ol/2bH4Rz5iaCQBl64Ughzx9cVQPwsySnnws5LlihjEj5y0e9s4gXcK0EFs4+2 vDaBGK3hO6qrznvDv2sO3FBhu/5a4fouoj5aWbI8cwQKbzT/YjkG6Bkadf5GNDgesWyv I0o+pfd0MdC2gihSapJtswMqaK2TYLOhaInvlot5M2/uy5OTOW53WXw36bE+OwWSQj09 g5PjZzPvYzZJOiL8N1r1uFqV1u7cQXU7RAQtYH7IY70iqeozQR6FgtGxSRM2mc57qicN 1WQg4tqF14R96Afx8A0Xjvb11MyKRdyjOWBLNNN1tSj2abjst1fPRURNrEdjQB0axtD0 TRvw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=GS5U5RWY; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::832 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-x832.google.com (mail-qt1-x832.google.com. [2607:f8b0:4864:20::832]) by gmr-mx.google.com with ESMTPS id w3-20020a170902e88300b00178112d1196si776501plg.4.2022.12.13.04.01.06 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Dec 2022 04:01:06 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::832 as permitted sender) client-ip=2607:f8b0:4864:20::832; Received: by mail-qt1-x832.google.com with SMTP id fz10so11570990qtb.3 for ; Tue, 13 Dec 2022 04:01:06 -0800 (PST) X-Received: by 2002:a05:622a:1244:b0:3a5:5e15:b670 with SMTP id z4-20020a05622a124400b003a55e15b670mr26181543qtx.47.1670932865631; Tue, 13 Dec 2022 04:01:05 -0800 (PST) Received: from smtpclient.apple (pool-74-98-217-117.pitbpa.fios.verizon.net. [74.98.217.117]) by smtp.gmail.com with ESMTPSA id y6-20020ac87086000000b0039cb59f00fcsm7416787qto.30.2022.12.13.04.01.04 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 13 Dec 2022 04:01:04 -0800 (PST) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Subject: [HoTT] Save the date: HoTT 2023 Message-Id: Date: Tue, 13 Dec 2022 07:01:04 -0500 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3696.120.41.1.1) 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=GS5U5RWY; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::832 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: , List-Unsubscribe: , Dear Colleagues, The following is in the works: ************************************************************************* 2nd International Conference on Homotopy Type Theory HoTT 2023 22-25 May, CMU, Pittsburgh ************************************************************************* Scientific committee: Thorsten Altenkirch Steve Awodey Benno van den Berg Dan Christensen Nicola Gambino (Chair) Hugo Herbelin Peter LeFanu Lumsdaine Maria Emilia Maietti Emily Riehl Organizing committee: Mathieu Anel Steve Awodey (Chair) Jonas Frey Andrew Swan Details to follow soon. -- 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/E64C01CA-4D0C-4CD2-B408-ADD60FDA592A%40cmu.edu.