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=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6363 invoked from network); 15 Dec 2023 17:03:49 -0000 Received: from mail-me3aus01hn2240.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (52.100.209.240) by inbox.vuxu.org with ESMTPUTF8; 15 Dec 2023 17:03:49 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=oU7D/sYP9amAKk7IMNxLNSjLLCC5Z4fmzulGmVu2ehUlTae6oJEl+8GwqqVCkOnq51+vjYqdS0YLYili2w/Sh9xdzO4vzFeZeZUruANtJhcgyrEz89w3+zOY87YolW4TUSw55FjEUwQZb3liV+4r7j3phA0LiEYbLtArxwzhhMlXW/gGoDTNxOMEQ/lOeUp1SNohyoESH5P8n92P8ptgPxM0WvHW87htjQRdKE1QEsHs/iNapJWqSQtXYS1T+tZFQ2anxsRXxpITi+760azbQDMfmIUca/wXrPydR5feoBJXobliQg01YHjksGkWbyoiLiej0rOSE6LiLXEOWFqZqg== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=hMEl6c85l3+fH9FCMsPO6Qi1zGnDQgtkiy6WUrI7o/0=; b=KZ3uja6AZ5I4gV+aVOnU32qbbill09Y+Fd7fgOuA+U5bjHII+TLPe6anJD0XroubsW2psevZo2TdMa7Xj97x6g8GPPeiYYxVEIg6LpI0zgoGZlXqNGALKcvYfBqElrwN5fEUaL+UN6WmLcN96gjy6S2xiadLzdkonYylT7N98JfKJabYEfXeZlu0NfL9DYW6BIlXlNLhXZsZDl+GP2uxZ7idVjkBtngUgyK9DYYmgcKdE/8/RUqmfCG2f8FZRCXiK07K1GtyXCm1+4BV76jTn7D3TlEFDkfTenZpyjq3xC6JtpSdAOmkQJB1FP+mEnzoXB5FVCT5nQrChOD0hMbqWw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (signature did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hMEl6c85l3+fH9FCMsPO6Qi1zGnDQgtkiy6WUrI7o/0=; b=gqK1W8obXFJjCIY0ogMZXtAebq6tW2+RADooxHPs7CrNUwRZorRc/q1PeBo5DKYp9ZsGCycnD6pVK7sSLDm1mwh6JZYvaCZOob+M0XA7m13+qkG2HSDWIH8XN0crf3OfwS+b2eUaw5dGyDTVg+f3eRH1n8VcEXxqpXqT11yyc9ULF42Z/N3GgGCOwGjEvLO+LNfyTYrBqjMux2vw8ggCm5myDd5wJa/TFsADlZ2iFxUH5v/Gcxp2fXwEg8J/n2wDor7uw4gUec1EpPq3x2VMTmNdXgkGrpaaIhKApc8okgzVE98gmmeqyMupVuzqHEEYNsgiwodu8PldAtV0kePAtQ== Received: from SmtpServer.Submit by SY7PR01MB8526 with Microsoft SMTP Server id 15.20.7091.30; Fri, 15 Dec 2023 17:03:45 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=DAG1vF1EO8FjcNjeo/xkJun/SYsQ2FHnOH1t/ZVxjNWXLuv/c7C8IIEOKPz6r/mN5HGrnwT9+NYpQgmq/CDGrPwT5dyS5+iDqUyjiXJCXnfSxr9j3gvMaedX4F+VFYAJMYm0LM50PAw75qoISkR3nlJKThwByX0F/DjSMwjmeXE0dUeWqP0V4M7HOymNyW0zdzF7LQbtF2FRqZEyW0APAubejEPaS14F4IOf2O7GKH4hOTFW3myy4WoBeCNdCP8nWLYYa4gTKuGOQu3ZsZ/3GiAdoLManvPRCSmQ3+kRjyP8wW89vwdBgnxsV9SfGpMdPAQGr/AQjkZ7aXsTjX64pw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=fWUdQe99i8gp7lf13+/NZXsYsSG4N4SzJx1vQEAn+Bg=; b=YbwQvX1LVngkcO81RZLTpCicOHo4/inaz2gfrxd67jJc76s6F0lu4hYWX+zqUmq6oeSHi3jmcDIxiCMY8jKQkev1G8ipAOWNRSXMdkVZO9XheDGYP31GjIKIFJBWjziqnweSKzjULiAyECLrS/SkR5iMwedh1gwNlwhIFFuaQxuOj5DbRCtch/m8YF009p6xZ3JnYHNZUsgftOqdYwlk+KSIP66iAVTcBpx4u296SwhWxhNGA3TJZ9hsCrv4JNHVGPQr6pnzMxXxpfpBKMry5rOdHKaWVsKvJoeXgkXrpB6sCktPeECnYQpmQ2HpSvJltPhwqnCgz/Ha3r5CxParLg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (signature did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY8PR01MB9238.ausprd01.prod.outlook.com (2603:10c6:10:22e::17) by SY7PR01MB8526.ausprd01.prod.outlook.com (2603:10c6:10:1f1::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.30; Fri, 15 Dec 2023 17:03:38 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by SY8PR01MB9238.ausprd01.prod.outlook.com (2603:10c6:10:22e::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.33; Fri, 15 Dec 2023 17:03:35 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98%5]) with mapi id 15.20.7091.032; Fri, 15 Dec 2023 17:03:34 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Ve9DuZL7iuOybydiiVVddTxUB1KonNKwq4s7KBPpdRfo1F7rrg3IVEs4IzlFWfLGNwB/qXu678tOVm3hroYboW1GzORRLjspznl/lCNj12gMlfJFCFzU8m+ich3qN0t1o7xUYb6G97UbBcw7e5GtdFZ7o/R08o5GC6+kmHmHIwliOAuYkQWKdC1V8R6qGbGScR5KOSOvcw15K5saAG3zsjZ7MutOXUkWgLcwzmyyF47QZpGIws4PNpb80MBgYkKsGtQy9/ZhdNFRzJE+iVL9DcFknu2JsaP6aRDg0pUXSgrd5X8DQaKFnZKlzjT9zLWDTU9KoC5ZGsR/OY857vkiNA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=fWUdQe99i8gp7lf13+/NZXsYsSG4N4SzJx1vQEAn+Bg=; b=IlW/XOs8lamajZU3qgVNH5QxDysiPk3J/XG916oGDxuq9dAWszfMsNWJYXidgkdo0dorrcWfJCiAlj8/psoU6l2yUHbOyOPqJgZvKbfimTKw56m/nc4CSxThG2fkaU+VoTh0FcYyumkMmh+kkfs4qXhMr0KvZLNbiEmFHNfnCrSFfHOmte1VORJJzySi0Wbkb8zgIpPlkNmqYajePG2Opl7kpoHNUSaH+wpZ3y6V4+l3+LpT/80hI/+httsrs7yd7hs+ZCYY1lJR/3eECKmCpFnX2MUUcR8GTT4CpmDuB9G77Eo8HXlhW5LlP+PyGHdZT1bDEEfd0vBPGk60IuoJyg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=andrew.cmu.edu; dkim=fail (signature did not verify) header.d=andrew.cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P300CA0107.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:248::23) by SY8PR01MB8773.ausprd01.prod.outlook.com (2603:10c6:10:22b::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.32; Fri, 15 Dec 2023 17:01:13 +0000 Received: from SY4AUS01FT005.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:248:cafe::f2) by SY5P300CA0107.outlook.office365.com (2603:10c6:10:248::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.29 via Frontend Transport; Fri, 15 Dec 2023 17:01:13 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.46) smtp.mailfrom=andrew.cmu.edu; dkim=fail (signature did not verify) header.d=andrew.cmu.edu;dmarc=pass action=none header.from=andrew.cmu.edu; Received-SPF: Pass (protection.outlook.com: domain of andrew.cmu.edu designates 209.85.219.46 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.46; helo=mail-qv1-f46.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT005.mail.protection.outlook.com (10.114.156.159) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7091.33 via Frontend Transport; Fri, 15 Dec 2023 17:01:08 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1702659668; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=fWUdQe99i8gp7lf13+/NZXsYsSG4N4SzJx1vQEAn+Bg=; b=F6DBAL3IuDZTgne5asAruwQHmr/GWrNxjrhFJeRGK4GHKVFXEZWXAAMqKj9w2uPrC2+82b 9zFH8ZClS+3JBX3Z5zHsUYbBHRFJsbooDhFUy1hL1Cco0ZxVs1tUzJD8T4xyHA2SCQStI+ cPm0GRtYhHDVAIGGFaNeOWazI8gCuIJGQgjyyPaGqqVEfKjgLCS5Kx6GVtpGmqMQjDTONa u+bopotBZE01I45Nk3VAe/T3XH54vkPLtOus4T5029aJWc7rVnzfcBlZ6qaOggahPNKGD3 7W+ROyBsj2AuPElB1AAMzARP0i25uQksXbY2gJQno1n5L5ZCpzgyrtlpGWR53w== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1702659668; a=rsa-sha256; cv=none; b=oZqrF6P5czTSVOit4p7Gu2zOkYlhywBbLY35v6xQL/G7RgAKoEQyzDWMto5KiRm3blJIOZ TiNJjliUHmpNFgkts5Lpm71wXUBCCTtCztxd1NUQBmGH/UDWXfF3wO/K0Bf5seg+EPa9xt iGtZLoTIAbhB2Ta+fvr+EDs5rbWdDLHfAtAsxb95lCJjc3glD9afMEm4XI6spCkEOBlcPR jtmLMq5YZNIVSJKrptHYFT3t+QE1ht5TI7GH6Emm9aKm4RVMFgb0BaMN10ak/YiqmI6t0A jJXtMlL/5SyVGe3tQCWPIq/goJJqzedlLTFfsNclvxvfjTSuQ+1j/9L8VgeOEg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=andrew.cmu.edu header.s=google-2021 header.b=VXBVcUnA; dmarc=pass (policy=none) header.from=andrew.cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.219.46 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu Received: from mail-qv1-f46.google.com (mail-qv1-f46.google.com [209.85.219.46]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-58-Q82idX3kP8yqWVu1fuqkug-1; Sat, 16 Dec 2023 04:01:04 +1100 X-MC-Unique: Q82idX3kP8yqWVu1fuqkug-1 Received: by mail-qv1-f46.google.com with SMTP id 6a1803df08f44-67f0f7e379dso5958616d6.3 for ; Fri, 15 Dec 2023 09:01:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=andrew.cmu.edu; s=google-2021; t=1702659661; x=1703264461; darn=mq.edu.au; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:from:to:cc:subject:date:message-id :reply-to; bh=Rp3gJYDargY2IgFDKBfNem76j/9vAkGoChTx6oq9XBI=; b=VXBVcUnAolctm4ELwlBh2kcwchHHSUnRc1B6BZ4xPIi8GANhQf3BctO4ULsGghFd1c Vs7QRWN/scAaXk60w6+cOwo63nd+qpvWLkCI2mGUJTcLxMTRBKRI/BYgV6CwaLaySwf6 Nz8L1e9YIhhpt55y9vYprb35/6jyJaPpOXm40FzYtUAQc8g8LTAwn9MGarZa1fPXvgam u9dTf7Iz7Xvi3UfLdcRNTJhSMnQ0RJBr+mWOUObuCPJ4vDV1HYgndfYLnzhKV6munNHp cGxPajHzBECm7hBZ20Htq0jPvg5ltyqjPpxJ9Rjl6e8KMPpDeJ3taEP4wNkN/SP/LTUf kksQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702659661; x=1703264461; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Rp3gJYDargY2IgFDKBfNem76j/9vAkGoChTx6oq9XBI=; b=De27wa1RzCLMLMaNwLBEqz+mkNfMD782oIxL6VK59RzC++9QaIxTMPc9qH97IsjMtz ddtYD/gnDzSdfdInGOe0d9MJvKSFqrbwz3ny68VvQfFzaA7j5M2aY1xziYcjxZULj5CV QwCA/KM+a8g5JO4zGYClosXT8tP9TGMeBQpRn0qMAECSbA1qDc3ZHiLVGYIai2zXzGja JxT5/yOeNe5OzA7ilIL/SZY4WgC8lnUMImHcleNlb0VMUCJDJlSWBadQifogYfWKizw7 FRtuI6jd21LjvesO7FLD4c39emB5JJLSc0y5gU5BIT0+xAjGhQGFMYku55uXtlGb+Gb+ 4h7Q== X-Gm-Message-State: AOJu0Yx5ufQZDiffB1GwB4kTBhWhwq6ALaiZdcIH+uwNtSQCTrgI26be c8bVPC1MV7iIpSBW9NGvZTMggs1Rg/Z5Wmncw2orhNTF08Xpbyec8HF4E2YOZ9t5LBMn4emH8UQ zslUUdIA8K48mVppFEXvvndwEIagnfussqgc+I2DirQlk7+bdmqWru47gBc+RFAxoXbNaSQgC X-Google-Smtp-Source: AGHT+IHs66iQ+ByJnH303cxNheAVNCCFmDNnm1k2kaOPrxEsMW7IALNo3NjZZfhgWs/pYhZ+4RwZ1w== X-Received: by 2002:ad4:5d6c:0:b0:67f:62b:319b with SMTP id fn12-20020ad45d6c000000b0067f062b319bmr4226662qvb.6.1702659661480; Fri, 15 Dec 2023 09:01:01 -0800 (PST) Return-Path: <> 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.00 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 15 Dec 2023 09:01:01 -0800 (PST) From: Steve Awodey MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3774.200.91.1.1\)) Subject: CMU Summer School in LFE Message-ID: <21AABE18-4625-4120-983C-C5D42246EE95@andrew.cmu.edu> Date: Fri, 15 Dec 2023 12:00:50 -0500 CC: abjorn@cmu.edu To: Categories List X-Mailer: Apple Mail (2.3774.200.91.1.1) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=andrew.cmu.edu header.s=google-2021 header.b=VXBVcUnA; dmarc=pass (policy=none) header.from=andrew.cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.219.46 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12312160401060501" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.46];domain=mail-qv1-f46.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.46];domain=mail-qv1-f46.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT005:EE_|SY8PR01MB8773:EE_|SY8PR01MB9238:EE_|SY7PR01MB8526:EE_ X-MS-Office365-Filtering-Correlation-Id: 2e5f7d05-edd7-4124-b5c9-08dbfd8f6ed2 X-Moderation-Data: 12/15/2023 5:03:32 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: MG8L+WIK0EukT0Z/Chbyu7PzRMYSuDAdPGTNU9J69t1547WlZEsNnj2cv2XjmkEdP5fcza2J6M5tdtzycmw5O4v0rtUmAgIle4P33qFYipTCB2bV16n0lmSRVmDi+Iv+2UxJzOr3zgi71o9i2j2qXVFXV4J3bpfOul24wZ1c3fqoqLNy1hGMoAUuxIXNftgVNamcesR9nPLObZukNXJ9WmTsm95ogUE8KgKHTgY8aMu0jXbc6PEraJJ1MZW2iftx6ncPwKN42mnm5g4nGsNLFNG9Qe4HBkhTvwuyK7YUqJn+miaQm7wBv2xL0vR158G6MWwdNM42brBNBjxIL4debIrzgw9bQBubOxD5YT0CHvuyNa9Eorc9OsbEOrH5XsxDGNNMpd48+weR188APkJvpOTq8UxkghAigi+DKlNrT/milfe75Vy045MvsCYlrdC/2xFwOeyUsqlgQx+sMd8gWyBWpujyjsU+M7xRXwjbCtOnUsiGQLaXmVeAZTvaHzUlLWzm/1DxI95m3c8obrRMd2DZyQqZHLJNpm5vqAOV4MbuO/a1zs975HzfobiTsNStu/PBDAPxj3gXiikM4EArVREEh5X/PFc3wcLTRUKkQwOvWn7p/L3Q1WyLZ5iAVOkvt3J3PZap/Qf3jFDqu2esn/JHmID04aLN+rEzeeDr2fJGL9XewozzNsxuddhNq9sR08N85lJTyhuVZqVow1qn8pO3e+3XxSuImOQIfzHaiX1QHEczNzRY0n+hcsObgcrpqFYIu4/Rc45+GOoQvpH1nbrHFYDPFUEB/KNO0pXEgRRVnyABxYCSXz1UBIwreFAl5z3+Gvz4IaObmG2PnXAFx5lkje0B6nQRgdI59rq8ndRzK3LvCbGc4Z6u9C/H+Ivfo1bwZfgctpzMleSGUuZSgA== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qv1-f46.google.com;PTR:mail-qv1-f46.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(346002)(39860400002)(396003)(64100799003)(8000799017)(82310400011)(451199024)(1800799012)(48200799006)(40470700004)(82740400003)(2616005)(6666004)(33964004)(956004)(40480700001)(41110700001)(336012)(26005)(4326008)(6862004)(8936002)(8676002)(32850700003)(156005)(786003)(32650700002)(316002)(70586007)(68406010)(498600001)(76576003)(89122003)(966005)(88732003)(7636003)(83380400001)(166002)(7596003)(35950700001)(7276002)(7416002)(7336002)(7406005)(5660300002)(33656002)(2906002)(7366002)(40460700003)(86362001)(41300700001)(75432002)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2e5f7d05-edd7-4124-b5c9-08dbfd8f6ed2 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT005.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Dec 2023 17:03:34.6476 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: SAo49do+TyYYOcsPBHYYRL47MHfq6kC6v3Ki0uBC2TyukEVYbijobkxC98uGzByXCJakd0r69gSj0i9uJxAHYlVWjQHtrru15DzPo38c3YrTj9Ote7PTOXgXL/A1WMD44A78PPYb8ZnVB1WDjduIxsTj1QWZDXMmx36VL2R/DgsGp1T9AUB0nP3mccoQiSxA X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8526 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: <21AABE18-4625-4120-983C-C5D42246EE95@andrew.cmu.edu> Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?UitGT1RNZmd1TnVtdXo2TDQ3RjJOVnJwU0NxMk1GeVc1RDVGRERqSU1NU3FK?= =?utf-8?B?UTRCMnRpd1FFZFFnSHk4V3Z0dUVtODRKZ2dPK3JEcVREbnNBUVNheWFORXl2?= =?utf-8?B?Q3pJOXpCU0pHWnNndU9yVm1mL3h0VWRNVm8yTy85RHJIYTc0YkpDeFB6UEtm?= =?utf-8?B?d3E0U3U1by84Vmw2WU00SUtGbVUwSi9paE9Ka3ExK0FWTUJueXJCWVNXQ2Qy?= =?utf-8?B?VTJjcUJFRGFLOHNCbDZMNWMwQmUxcXZhMS9XWjZlOUYxOUZ1aGVURGlkUW1T?= =?utf-8?B?enpuc1lUeE9idmpnYm9oVHJEMDZveDJDY25lV3FIR2JWdFdNdkxxRUJFUUEv?= =?utf-8?B?bHMyUEgvOEc3bnNjOTljNU14elBPSEZ0UE9paUNhZHM2cGZRUTFrckw3UUZ4?= =?utf-8?B?dU8wamE3VXRoTlMxb3c4eXJ2MmhpTVQ4cVJPSUxIYlliSzR0QlpLeDJwb1Uv?= =?utf-8?B?QUV1cEV6d2NiLzc0YjNlUXdvYnFIL2xFSXJ2TzArMXhLRVFFY0ZOSkU4Zjcz?= =?utf-8?B?VzZvSU4yb3RNNGgzMmN1d0ZJaEFCd21pUlI0Tlp3N1V5NVEwaFd0MDhnWGlu?= =?utf-8?B?NzhLMkZrbE5aSGh4Z1pIMjJHenkyNk9pUjdrQmV1ai9jWXV2YmNpQldkaFNF?= =?utf-8?B?cFVQQ2x6ODZXb0xEbzFpRk9nWUR3WTl4ZU0zOEZweHhBNG9pN3piM3VLTlhU?= =?utf-8?B?czBsZjhJSkZRNCtkWEQ5RFdDZjdvZ29TYjM0UER2YTQxYzBoOFZ6MmxrMnk1?= =?utf-8?B?WGlJdUsyMkF4QWFsRVNEbzhzcFgwdVl0NklNbFd1N3VEejVCRjFuSnYvSFdK?= =?utf-8?B?S3FxRnF3ejhjb05RT3A0R3RmYllaSUZYMVlNdU5oTUpVcHJSQk90cXhERENV?= =?utf-8?B?UzlQc093ZkNobm1CNlpMcnZCWHVXTTk0Ym9xaEZOUFY4YW1CTHJWYldQYjFo?= =?utf-8?B?R1NUUTJyT0g3OU15bldjdFVpVExIVGhhMGc4THQ5YW1YbkFXNjJYQTJEUnAx?= =?utf-8?B?ZFI0eno2QWVlTlpaQ0VwSnJPcXhwNkpRTWFCUm05Vkd4dmtDQlMzY0IwVGd1?= =?utf-8?B?aFlLUHV6NU1OK3cwSXhLV2U5UTczcFhWSjV4WkRoVmxVUjV6Y1JqTHlMNUIz?= =?utf-8?B?cGVIa1gzQ3JldEpyMW1iNGhnMlRrZVlvMitwRVhUWVdvQUN4Zm04SjNhYkZt?= =?utf-8?B?QXEweWsya2VXWVkySUo2b2d0dy96dnRyMkhSUE9TZk5zRXYxa25VN0ZhYWl5?= =?utf-8?B?Tk9qdllHQXZWUmxFNjJDc0FkUEVROEMvYURsbG53STRxQkwwZzAycmMra2M3?= =?utf-8?B?ZGJTZDdDTFNpaEtTSTdqRi8yZzVFZUwzSDhpU2lXRnVoUzlSQzE3eHZpemlW?= =?utf-8?B?R2RnNjkyZEhYcUZac3RCNzFVR21LL1VqdjEzbDNPUmFrN1JReE9RbHpoQUp4?= =?utf-8?B?QS9rOEVYQWs4emsxeGxRUUZxNDVrZzZ0RmM3UEFiMVZMakVKczk3a0RSZ09j?= =?utf-8?B?QVQ4L1picjZDSE9ZVlVONStBZUdCYjFuWk5Lb0hBdGs2M2ppdVJWc1UvSFVP?= =?utf-8?B?ZFdybk4rRXpYRVlndkNHVkU1NGF2Yk5Qb2dnUm9mMGRYNTdZSGNlUXNyU1Qy?= =?utf-8?B?UXF5QldHdFdaM1o2SGNHenRzcnV6ZUpOSFBka1QyOGdKbDZNUUpPeklRSWsr?= =?utf-8?B?eTZCbFpKRnN6Nkp0WUFEL0N3UytUM2pUQjlueE52ZUwraFNIQ0NXdXpMNkZU?= =?utf-8?B?TVlZNFlZQW9kVGNsN0g3VG00eGQ5M0VxNWdHT2JteGlVRjVHaGlIcitZVXVk?= =?utf-8?B?bWliZ2M3TE5WZXdPZTVYU2ZMRk4zOEFTQ3lISDZMRVh6UDJJN3NVVm1PVWVI?= =?utf-8?B?RWhrWkdicTA4WmUxSFZqUmFhNUZ4TTBvRDZXSFVISHhENjlDUGZXTkFzYnFy?= =?utf-8?Q?aH5Clk8JglEY5rE8zTWCx6dv44OZ1ebT?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12312160401060501 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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. There is no tuition and on-campus lodging is provided free of charge for th= e duration of the program. Applications close February 14. Any questions can be sent to abjorn@cmu.edu. You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12312160401060501 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 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-sc= hool/

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.
There is no tuition and on-campus lodging is provided free of charge for th= e duration of the program.
Applications close February 14.
Any questions can be sent to abjorn@cmu.edu.
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12312160401060501--