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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6225 invoked from network); 15 Dec 2023 17:01:36 -0000 Received: from mail-oa1-x3f.google.com (2001:4860:4864:20::3f) by inbox.vuxu.org with ESMTPUTF8; 15 Dec 2023 17:01:36 -0000 Received: by mail-oa1-x3f.google.com with SMTP id 586e51a60fabf-1fb01440c98sf1462669fac.2 for ; Fri, 15 Dec 2023 09:01:36 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1702659694; cv=pass; d=google.com; s=arc-20160816; b=ordkBQT5qX3XCiy5IyFLluy1gob9YLHpLD7QtRHWRHqKu5zIEMghN3Rbl1pGxwJ/oH aeJhrG0xec1uUITCSEnmnDyBcCcxMD1WrwDEQq0glpzJ7nEF7Fx/5FtdGjw/yoOKndkO 7KfUvE3kcXFFlEMUawoLpFFOilRFEu3u3VPJSidvR+II+hJOvD5CM5SeG6/5JECWzKMU QEfcM6sEwJR9ujn/LUul/L/bnqH9RrRrRCpGrRQd+douCZ4RgzC80fLds1Wi83eXnPkP P2iXsaszXR6JafQtwqpWMRgrLrJLhKaJLvkBrA/8XrjLTTnAu/VwLw2micbOAlgzZrI2 RmAg== 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:to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:dkim-signature; bh=6hghnq5pPy3n90DbiPrcqLjKEcsXJniWF8xdBFw/EK4=; fh=AZ1+PTAItVCOpW6+8vRtd1Up7aMohpaEKts5IXNyFFg=; b=iyvAhLV3WBS4hHQr0SU89KufWlbsmKY+DxuV8QGECGw2dknJcDi8itXLcDCbvr/Hug 3qa9Py99mzsoi8IGkWvxFKbOFl75OszPtnvabv6SbLgTNg6aMuzHmZj3w06PRFlnOcQ4 AXsavHSplMWYft/lZpCGChp9c+4xdGBbESBgqc2YaetNk0O5H5Iz5R28PYb7gz9K0Y9U J7cADD4I9T60zcQ8d4kHrac8YyyiWWmRChPV+u/HiIhBF9VFgCiYciXAFOP1mRk4sHWD YpGVVgGyXGOF+fOBiylF3X3VpCtN0bLiXOHLpoGZr8EOky7chct7E7bkpLVmhRvr7Uel 03SQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@andrew.cmu.edu header.s=google-2021 header.b=gJkyBu2A; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=andrew.cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1702659694; x=1703264494; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=6hghnq5pPy3n90DbiPrcqLjKEcsXJniWF8xdBFw/EK4=; b=ZZGJVovXYbVf+Fo05yM+I5JmBnpOaVgn8iatUg9T30bb+A/J1lTgVeJjzaex7shTrw n41Qm4GD7i+rU+sl1BCtJVLMiUyUUS0bToL7dVwOliYptEdlxS3LVlLUDa/Y9OQPqob/ 0MpGOlaGoHYrDP/M339+ou1udphUZnNbKfLYgGn3fbBq+/rbL2hkoCQRxF6wK4F/u7kF DLI0Y7onoNLXjVO7ITEQqyZT9MZ+wDOOYAEuz/9wAWLShZANAcjrrjaeieOtn+jI6wgc oWM96/IixiQDcnFpyfB3VZWgbQMleZcuVXagdGBqKI9TLJ5EuqYl8aAddmbrn+JziwDZ Ctlg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702659694; x=1703264494; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:cc:date :message-id:subject:mime-version:content-transfer-encoding:from :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=6hghnq5pPy3n90DbiPrcqLjKEcsXJniWF8xdBFw/EK4=; b=cKGXflppodwzm8XM/QEZ7oIe46nMUL7VFjnbs0fu5Yl0i42+08TduQbHyXE7L1tNef 94ehwmBGSgmcn4Z+dmmrEJulIob4VgjJ5w/GKVTmrTWKmyFjCTwrWCcYFMxJiq/ICdAm jnjC7lkY2nqGYgqDaVrqTSBy04O651zWbO8/OkKA1qTrkhvdIuJ+vwEqYhWxAtF0KuDL qZNB8lkTqTghvDBhMdvUzAVFMeTsJKnb8Tr5sVVl/jfiSCSzh6eNge6ZmkAkMUCEegUQ XW9a9qe+VAyK2NKxFXOvAoK3aF+IbDieZLzGXw++E9FYboX/Vz77zPOPOPui3j+xtn3Q gJPQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YxGUXNGDWWQsGWp1KcefbOspDVsK7LkBAgeQHq2CsNL4JVYnVhp ATTjA1WhmLYIVOrZihNW1d0= X-Google-Smtp-Source: AGHT+IGVeaEN/a0FPF0twvUQ5LNkcZ7F9GVTLr6kC4ZgNAZg1PD1wRsjTRmqJoB9D4VMREtx16TdRw== X-Received: by 2002:a05:6870:70a4:b0:1fb:75a:de6d with SMTP id v36-20020a05687070a400b001fb075ade6dmr14830518oae.91.1702659694040; Fri, 15 Dec 2023 09:01:34 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:7d83:b0:203:68f0:c137 with SMTP id oq3-20020a0568707d8300b0020368f0c137ls784486oab.1.-pod-prod-04-us; Fri, 15 Dec 2023 09:01:32 -0800 (PST) X-Received: by 2002:a05:6808:2288:b0:3ba:e0c:398a with SMTP id bo8-20020a056808228800b003ba0e0c398amr10375593oib.58.1702659692498; Fri, 15 Dec 2023 09:01:32 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1702659692; cv=none; d=google.com; s=arc-20160816; b=fYX+fnZkJFmnm4kfQ0WAuaDmqiQflyIDkNEBtOtf7zfNdAkdahykQsVEWyRoAG+aN6 quNEBDkTvNHTij/bjuCDEfdfwgcwgKg0oIoV6mizBW5AtBunYha80saLG+MIB4now1wq eDl5zUy27se95Qj8vjgpL8zQUULLXmIOyBgg3HVVm65Z2mdhUG7wjyuBXP4vJkGqtmys 8QO9twychRwxvfKsnWcPvsVBrbY3d7kaKJjxFmDVCNB7EtF5xTy4vEoc8+5MNOKEtgtE sAt91ql6pMstnCav54u7BHQk5jxuzUcpp5JIZbh+9qCn+F242Zxt1EqiFbos55OnMJd+ n/sw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:dkim-signature; bh=Rp3gJYDargY2IgFDKBfNem76j/9vAkGoChTx6oq9XBI=; fh=AZ1+PTAItVCOpW6+8vRtd1Up7aMohpaEKts5IXNyFFg=; b=XGKxRKKIoyAI7HbOwGz/dPqVdULXNOJzafwJJXH71ErAZ83yhEaXYTHrTWBeHLaLm8 2cXyLo2wQR02ihtJ677GRbZk0yhyyOYSstZB8eRE4dn4EF2AuSirtPpbujZlCMRIiYsD YfqY/cK1fVdl70zv1Nc4ZSl1qKVltj3j4hG2CU3GJ59RGjrYgi0o0883HSJc7VG6Jq8Y jA1FqQXXdGYcAw828I25E2L+u9bjGnlkzzOMEdcE0nblL16boOW+VuQN0dQCTamp+kZ3 PvBSSPstfDDxW8dIfqYM4eI5O7/WcfGRHxf0hbUKI1ZusH6vycbMYI4bcr8XqT7DisNp dGlA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@andrew.cmu.edu header.s=google-2021 header.b=gJkyBu2A; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=andrew.cmu.edu Received: from mail-qk1-x733.google.com (mail-qk1-x733.google.com. [2607:f8b0:4864:20::733]) by gmr-mx.google.com with ESMTPS id j27-20020a0561023e1b00b00466025e2258si4120666vsv.2.2023.12.15.09.01.31 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 15 Dec 2023 09:01:31 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) client-ip=2607:f8b0:4864:20::733; Received: by mail-qk1-x733.google.com with SMTP id af79cd13be357-77f37772ab6so67491985a.0 for ; Fri, 15 Dec 2023 09:01:31 -0800 (PST) X-Received: by 2002:a05:620a:1207:b0:77f:3198:52b7 with SMTP id u7-20020a05620a120700b0077f319852b7mr13589082qkj.137.1702659690788; Fri, 15 Dec 2023 09:01:30 -0800 (PST) Received: from smtpclient.apple (pool-98-111-212-113.pitbpa.fios.verizon.net. [98.111.212.113]) by smtp.gmail.com with ESMTPSA id h6-20020a05620a13e600b0077f287b2393sm6194402qkl.63.2023.12.15.09.01.30 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 15 Dec 2023 09:01:30 -0800 (PST) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.200.91.1.1\)) Subject: [HoTT] CMU Summer School in LFE Message-Id: <92FFCBD2-D171-4B16-B99D-0CDA6E3B65BE@andrew.cmu.edu> Date: Fri, 15 Dec 2023 12:01:19 -0500 Cc: abjorn@cmu.edu To: Homotopy Type Theory X-Mailer: Apple Mail (2.3774.200.91.1.1) X-Original-Sender: awodey@andrew.cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@andrew.cmu.edu header.s=google-2021 header.b=gJkyBu2A; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=andrew.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: , Applications for the 2024 CMU Summer School in Logic and Formal Epistemolog= y are now officially open! https://www.cmu.edu/dietrich/philosophy/undergraduate/summer-school/ June 3=E2=80=937 Francesca Zaffora Blando & Krzysztof Mierzewski "Chance and Randomness=E2=80=9D June 10=E2=80=9314 Jonas Frey & Reid Barton "Categorical Semantics and Synthetic Topology=E2=80=9D June 17=E2=80=9321 Clark Glymour & Kun Zhang "The Logic of Discovery=E2=80=9D The school runs for 3 weeks, June 3=E2=80=9321, and is open to all undergra= duate and early-stage graduate students.=20 There is no tuition and on-campus lodging is provided free of charge for th= e duration of the program. Applications close February 14.=20 Any questions can be sent to abjorn@cmu.edu. --=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/92FFCBD2-D171-4B16-B99D-0CDA6E3B65BE%40andrew.cmu.edu.