From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: from MEUPR01CU001.outbound.protection.outlook.com (mail-australiasoutheastazon11020088.outbound.protection.outlook.com [52.101.152.88]) by inbox.vuxu.org (Postfix) with ESMTP id 94F6427397 for ; Mon, 1 Jul 2024 19:17:10 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=QdRl9ReAJcqwFA3vqX+j1VxCuzZ0IZdCrJsDAqBMeRa+t3FH0TOpsGFKlEy9J9EKjFpMmKONCE+EF6GfF89TdwUh6eKYMCLhzVfb5gtry1hk/Veuj8bQqQ0FRSPSVqaNK/UNYVXOYR/doTYunWZLDCV/CDPTxwbRml3p2gxP0PBtV70Z/cxirOg5Tlhk5F6Hgiy1p6gYpmFrHUmNwjAWM0DFeNyJZEt++ZiWg0pl807dTeXAJlSjLCjFczinD1SgZGQ2ZMQIIrlyvIaOtedx4EPEdEXm5IAn3Euf3nxuBxcN3oGba1EUtczNRjU1A5nmUJOtL/iRs/Cy4V51cUY6rQ== 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=/yQrr7uBbwFi2oUHCavXarEwKM+LfDu0+bJH/le12wo=; b=SDg2bTD2/a4Hdt9YYeWP8biyYZzP5RHeEbgs/ROkGJoaK/eRfUTNZkYFBwqM7QEm/UX2XlxsNq0QOkyQT1bwKCOmdN47YwbhNMeY6MfTcggzbKMvhcUgIq5XguzPwgqLxZ22LZhyfRa5Hqv3z1htrmdwE9PW8BlqdKjezXK0ceN4l/Xm4F8cZz/Ns/YcGZHzoB4WsXSfimhhUugBKpzmbTnHSmiY66LFegdEyMbibHukFQQYwuVVwSpjLTaOjladiBf3TkPkQsZMCb3rv1MxKF+aYz1/eJ9qf/n6f7jJvoUoBmwICg+Iz03isK847BQRYFiiJ7jrMkm6s/PLT5lIJA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 134.84.196.208) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=umn.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=umn.edu; dkim=fail (body hash did not verify) header.d=umn.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=/yQrr7uBbwFi2oUHCavXarEwKM+LfDu0+bJH/le12wo=; b=tpBpp9ycle9oZ27rX+tlD8JhjfETcyC2ojkaJLq6774V0o9fyH55MCa3XN6rNaHI0UfovvDrePy71NA1NLoP87ZJuv0xjFlQOQXfFgY3Q+hgeKLJBb4407J/UstkhPkCn0GvSW9emNxxEtMQJ+5C5Wesw0OPfT4cdIPZL/hqt/vKj5PO+B3gqurgocxs/yB9/TP1h2EU+Lw9sjTVqO6tgx157FMt+wsAktHk1v3Awzf4mSD9AKutJhN0edb7lu87EB6b5pCx06ReNj3jkEmipBuOTeacz1wHMs0oaKyNZPJNSvvLEZeldRCV4UmRTyfxjNT1/LhQy93i99WtQypH5Q== Received: from SmtpServer.Submit by SY6PR01MB8107 with Microsoft SMTP Server id 15.20.7719.29; Mon, 1 Jul 2024 17:17:07 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=AzA4674g0p8jRTXBael2GpfjzZyeeFOVMJkdQZjUVNAvsMjCxR193nUF1rW2CruoYXSHYMmP703pxz+sjDDbg9SwJ+Kt17PjfuU+siimA567WyJbeSJUVuczOdo0qINvuMee2eDZRd5koljfXF5TL9IDVN94M/b55GNNaTJF4HaEQKRGHxRwjql/sUmPuCJQ+mhqa5PCtm/ire9rtZ+fGtnUlx4EWF1F/PWozz8LbXWh2p52NM75XtkOrDqhqY19X3wDOVRXdGgX7gAM6a5LRWi30RCAwNCHRKoOP/2W2Q1t4Tg+CmIiMWAOEoU0qsN3nJ/4St/hGJoObj+S6IO5mg== 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=2ZNgoECm2GEbWuk1MAOLVcwftInDJX0LbnaoYBmBwqc=; b=IpQh2mmCIgECOr6b6AzjKYNXHlZCSaF2jBZurVzyofhVaQTv/KStuXJBOVaZqGWILiapJSKgLKKb4xVvS9NWxx3ftiCY1TGs8Gz5ie/ysaBqiJMoifjnaxIbFyXBTs7rw3POvVw/mU53RW3OeBpQ28ICZMUU2Xd+63MlR7VDu7TEMp2ST6+R9FcCPlyk+biSUi0kd3U4/lvx2zCZjEhVLcTEAvbU4WNzHkuswq7IuYNcuHdOGvJ8Mgese49V2ePQQdHAHV+9+AdPxAP3D9MfWIBnXD5C6zrhDErMiD1zv9WtNobTvv5pD0sC9bW9AUBTkLdP1gW6sc6mH1WRfM9olA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 134.84.196.208) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=umn.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=umn.edu; dkim=fail (body hash did not verify) header.d=umn.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB6150.ausprd01.prod.outlook.com (2603:10c6:220:106::6) by SY6PR01MB8107.ausprd01.prod.outlook.com (2603:10c6:10:1be::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.29; Mon, 1 Jul 2024 17:17:01 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com (2603:10c6:220:3e::20) by MEYPR01MB6150.ausprd01.prod.outlook.com (2603:10c6:220:106::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.33; Mon, 1 Jul 2024 17:16:57 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::a3d9:56a7:20df:9d95]) by MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::a3d9:56a7:20df:9d95%5]) with mapi id 15.20.7719.029; Mon, 1 Jul 2024 17:16:57 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fLgUJusiLRPzf0CLDJXSWGXdG1N2tbXXUh5nSrfPOjakk0aQ5T9Irb6lZ5AGSD43vCMybR/SD1iQu+c58j01XPKYmRLuRzjH8Bn/GWEv9ruURZJUihTSb9zMvLB/UK9s+CKMyQFgUuE8rW/kFAYbL9nCf47sgZF931vHf7kJ0xPIoAr6T83rLXiPSeUxwKdP5lZHZk5TuLpjYvpulGkJtCAx0fKsr0JKIk2ZYaynH9mLKdqF9Pf0ZtyvC4DZkLYWY00RLfpU6i3ye9xcQU54GOYvipeS61XkiOZUtRhSnPWFbqOmQFWzKdnBNg5PbHUL5XrY5e0lTZ2tkRF1GDezGQ== 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=2ZNgoECm2GEbWuk1MAOLVcwftInDJX0LbnaoYBmBwqc=; b=HV+ybOOaXZOSwZswT62L/EJAFCp3b+Oegtz9HoRW5tSizib6z4ha3IiaTeBl/ClNI8/OaJr5lKdmLIi5AozIfMcCRjtBs8e+TsC92Cl5e8hS8YxqKc8Xk4NmZFDTnfdMh/0HfEXO9Rizs38DfHRiTq6EJkAlerVFvhEUm48UeQ5oV+6msveumtE057K2G2Suom2yn0rXyewyfSzHoP9TtiWF9t0pj+8vnJckiTQTzCcSBj/k/eN0AjyqBbYpMZmNax4IVq49lo5aDhLi60pk2wA47h1s50V5mL6Lc9dNZ2r3scIOxvv5MSU70cbSZrD06k5HoCcQV0E1zc8KVQ95+w== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 134.84.196.208) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=umn.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=umn.edu; dkim=fail (body hash did not verify) header.d=umn.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from ME0P300CA0102.AUSP300.PROD.OUTLOOK.COM (2603:10c6:220:234::7) by ME3PR01MB7441.ausprd01.prod.outlook.com (2603:10c6:220:147::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.33; Mon, 1 Jul 2024 17:11:05 +0000 Received: from ML1PEPF0000F177.ausprd01.prod.outlook.com (2603:10c6:220:234:cafe::6b) by ME0P300CA0102.outlook.office365.com (2603:10c6:220:234::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.33 via Frontend Transport; Mon, 1 Jul 2024 17:11:05 +0000 Authentication-Results: spf=pass (sender IP is 134.84.196.208) smtp.mailfrom=umn.edu; dkim=fail (body hash did not verify) header.d=umn.edu;dmarc=pass action=none header.from=umn.edu; Received-SPF: Pass (protection.outlook.com: domain of umn.edu designates 134.84.196.208 as permitted sender) receiver=protection.outlook.com; client-ip=134.84.196.208; helo=mta-p8.oit.umn.edu; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF0000F177.mail.protection.outlook.com (10.167.241.68) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7741.18 via Frontend Transport; Mon, 1 Jul 2024 17:11:04 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1719853863; 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=2ZNgoECm2GEbWuk1MAOLVcwftInDJX0LbnaoYBmBwqc=; b=LmTgCj2u32klDZ+pSm/Kjkw0nTeO80XZDdKYSf19m20I5IDfiBq3D8XEBrH2fSirJMlf4C mk8mCKKGVYSWO2X7eB1G7aKWN40fbN/539ceAjEUPPH6qS9oniGP8WeusRG/N1XdAGusGk ITZjoVXHpcAU4s1Hvq/6Nbzz0cUWK1bPQnRghWvTjqwEeB+xHaIf4VGUZaoF+IbSUPwYxN PWdCELlnkbkbdJYv1wiBxm90OYYWxvXmxINYKQFafusLXsPfu41oZTVwrcG30FnnFGzn83 SzFhZkqwruv6UGDnvZe0vfAGYCwnsqVXWn71fT6+Mn362P/bvp7Mfpj+FV9isg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1719853863; a=rsa-sha256; cv=none; b=lK2fEJb/OZ4VNpPN/PiA1PFYiMBNW08m7niGlKMHXxznjjF7BJsUS6bTABkJJnjDkcoB9y QH1ZrDX/9bavYLmN+ekTSKPdSX6Gi/UYGBNXhv1UV8MiAYCPYxVl5r5GcbY/vRZtubfnqZ /mrIAIYwKJcTopMP5wptba5JLCjX3qNAlTDUbw56+onJhJzrOf8Xj7e5nOCqMWVpQ/UKiz 9JaA8ZUJ3Q3z1hV018+xDWlUm7slPQif2MxzxQIrNZZ1jjOt7t+GTx1mlwhmnJotGD2mdG qbnkCqthQyruhgvWaGaPStf+Ib0NAxDH7iRCYrjs2Hv+vIB+QEq9FaYyQEJ7TA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=umn.edu header.s=google header.b=ORMSzWrw; dmarc=pass (policy=reject) header.from=umn.edu; spf=pass (relay.mimecast.com: domain of kbh@umn.edu designates 134.84.196.208 as permitted sender) smtp.mailfrom=kbh@umn.edu Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=umn.edu header.s=google header.b=ORMSzWrw; dmarc=pass (policy=reject) header.from=umn.edu; spf=pass (relay.mimecast.com: domain of kbh@umn.edu designates 134.84.196.208 as permitted sender) smtp.mailfrom=kbh@umn.edu Received: from mta-p8.oit.umn.edu (mta-p8.oit.umn.edu [134.84.196.208]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-34-XzGPt4suO1aoY5zdxPC0sA-1; Tue, 02 Jul 2024 03:11:00 +1000 X-MC-Unique: XzGPt4suO1aoY5zdxPC0sA-1 Received: from localhost (unknown [127.0.0.1]) by mta-p8.oit.umn.edu (Postfix) with ESMTP id 4WCXTJ0DSVz9vYVd for ; Mon, 1 Jul 2024 17:04:36 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p8.oit.umn.edu ([127.0.0.1]) by localhost (mta-p8.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id JWKpytR0uOGO for ; Mon, 1 Jul 2024 12:04:35 -0500 (CDT) Received: from mail-ej1-f72.google.com (mail-ej1-f72.google.com [209.85.218.72]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p8.oit.umn.edu (Postfix) with ESMTPS id 4WCXTH4H8Lz9vYVX for ; Mon, 1 Jul 2024 12:04:34 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p8.oit.umn.edu 4WCXTH4H8Lz9vYVX DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p8.oit.umn.edu 4WCXTH4H8Lz9vYVX Received: by mail-ej1-f72.google.com with SMTP id a640c23a62f3a-a6fcb1a708dso271984366b.2 for ; Mon, 01 Jul 2024 10:04:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=umn.edu; s=google; t=1719853473; x=1720458273; darn=mq.edu.au; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; b=ORMSzWrwBpMhz5aS5MtuDMB4c/dGTBUO3dM4Ebtg+BOWRIuCU+b7/Y/Vof35v/qNLe /gEZFHcvWq6q6X883CZFfdZbz+iFrmBsBXSNptlb/eGLq0LRRPNAKxLK5DVjVB8WthSi Sb142XrluWUUlmTXJhlrE599LbLNoLQW6qL1eCaYok3vRrv+5mcFZSRp+3j1O3r/7XeU X36zazWnYoddv27d/n/5rAETioGUTZ9heKCfkLcplcDqS6boQAXuFzNLhZYWSsEkzK4y rMqESQxOzDMXHVsFxR6b7qFumULJxoxt6V/zBetYCAzTDFlGAdGTnE5Fm4h45dRgBKIU qlNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1719853473; x=1720458273; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; b=cFLSzuneDuVflvh+tMEPvrCZHFNYZLmEKg8f3NKKBccL+4Do0YvAAY/j4gBOm3BOiY Trd6t2AlJ5ilw6qqrS34+YsA1fxgsleGHmsLD80RwU6RFmllz27cq9asF6+ll7MvWRw7 3nIoKelbuSOpdPU3TEXsyTFih7d6qiiVUODIo57dJHEclilVhoLh631V9joHtHccvxAT XFj8rX0ZgYNgZlFcPQfqcmmdD3UGqi5dWr+uxSm9f07yZLhCHNmYFDtAkukgV6mocyR+ lm2dJjEob7Z9d2qIcY04r1NJeBjOjc7gSOFScV5/0BjsyAskh0QV833OSDUB6r30ovRz 5DfQ== X-Forwarded-Encrypted: i=1; AJvYcCUAjnBIGldNCufqxJ2KOm+ZAX3ZiVwPzPMuZRkwaDScOUu5gvwxKpg6whR4zKy9ZmH0hWUNTAtDCEbgBuKMHU/zrkJR1A== X-Gm-Message-State: AOJu0YzCsx/wJ6mNMWJTpbkL3/7jV+o0UHiOeWmngpkp3aaP+Yg4i15j jmTHIZS9UTVwqVWzW/YylPwkzxuUfOyfvZNrWTYt6hsSagnb9tGMSJ/Qq/vUKWwGMlguhQRtF87 bXJAjG81CjFLm2Wtq91EK25BKwAOwRyBAVOjAsWdId7RgrYV2CAHOzR+u7u3gkNlk6rqgVqYE6Q yRL6I9LV9+EX6WMosP2WsOlU4i5AVjcw== X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371929466b.52.1719853473303; Mon, 01 Jul 2024 10:04:33 -0700 (PDT) X-Google-Smtp-Source: AGHT+IGtdbhBl9lO0VfSU6J6t8tgEKICqQ+Z01V7b5B0dm5sELFYtlg/o+grnkoLlhuya5naEeTN97ewnBTvdobhDzo= X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371928066b.52.1719853472906; Mon, 01 Jul 2024 10:04:32 -0700 (PDT) MIME-Version: 1.0 From: Favonia Date: Mon, 1 Jul 2024 12:04:00 -0500 Message-ID: Subject: Free online participation in MSFP, 8th July 2024 To: ProofTheory@lists.bath.ac.uk, univalent-mathematics@googlegroups.com, Homotopy Type Theory , types-announce@lists.seas.upenn.edu, haskell@haskell.org, caml-list@inria.fr, agda@lists.chalmers.se, coq-club@inria.fr, categories@mq.edu.au CC: Jeremy Gibbons 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="000000000000519dcc061c3297f7" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[134.84.196.208];domain=mta-p8.oit.umn.edu X-MS-Exchange-ExternalOriginalInternetSender: ip=[134.84.196.208];domain=mta-p8.oit.umn.edu X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF0000F177:EE_|ME3PR01MB7441:EE_|MEYPR01MB6150:EE_|SY6PR01MB8107:EE_ X-MS-Office365-Filtering-Correlation-Id: eb7d6853-d754-4a7c-052f-08dc99f0ca1e X-Moderation-Data: 7/1/2024 5:16:54 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;ARA:13230040|82310400026|48200799018|376014|7416014|35950700016|32650700017|43022699015|61400799027|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?aXdaaHZML2Mvai84bHhRQ1RiS3JBSndBQXRMTGJjZEZicEFPZVJkOGFPQUpB?= =?utf-8?B?ekMwN082RzlQMk9PUUp4ajh6SmJsQlAvT0lWSnRrbTZyenh5Y1RXakpIeFN2?= =?utf-8?B?YjhFQjg5d1dJTGxiZlJ6YjFuWjN3aG1GV21CakNLb3pDWGRLejFqRDNMVTlO?= =?utf-8?B?Y2FzaWxCbC81TTRpNGNXa2dHdDhzdVRBUmNqd0dTOXp1b3krY1RrU0VBU3VY?= =?utf-8?B?T2RzdlJEVEVRK3M2OFVqR3JNYjZ1TTRzQlBxOUUzRWczNFFUNDNzUWljM0k0?= =?utf-8?B?aGNXVjZBTUhPcVF6R0ZEN0ZhallJRE4xTWpkeDdERUcwNXFoSng0VGdBelpw?= =?utf-8?B?WEh5VTdyNVorWXBpMVJDRXN3Nk1jRnVzd1lkKzNiejMyWHR1d1kvcVFZNFgw?= =?utf-8?B?ckVQa2x6bFQzQ1ZjNHRFUXdhWmx3d0l0MysyNy9PUnQ1UEg3dkN0WnJaMHRL?= =?utf-8?B?d1dFWHVEMEJGRVkwWUZpci9EelcwaFRUTFhuemFjZUpKR3BSK0llNEpnbWlY?= =?utf-8?B?dXkwR3I0a0M3NFB5TGFUT1pOUXJjZzZyRWQxdjRpT3JBV1VraCswc1hpR2Q4?= =?utf-8?B?dTVxOTQrQ1ZPQ1JnUkxMTnlPMUtTbTVRNndqbi9Td3NRUzBCbzJRM1VwQVZz?= =?utf-8?B?Ky9aeEg4WGxTRk9uOUF4aUprYWZWNW5BV25DQWNGYUNUN1ZTd0hlYTNnNmla?= =?utf-8?B?RlhhbEs3YTVUVWlYdktnS3ZUTWZlK1NjMUVZK3JDekg2V2tBMitJLys5L0ZY?= =?utf-8?B?d2xnMkx3L1FsV3BHeVJ2US9wbU0yWk1NZHdOa1ZUK2EyWlRGVDcybkFUVGlk?= =?utf-8?B?ZGxjdnVsb2tKVjJFSHpyUzVpTEVvQ1UyRFhaY3ZCY0Flcm5DY2FrMkIxdTFy?= =?utf-8?B?bG41aXpnOFFRTDEzY0syNEhhSGlHa3p6cnF1Q3FrWFN6Z3ArMUFmdmF5ZzFE?= =?utf-8?B?UlY5STkxaUFCR2ZFb1RsTmw4dDQ0N0N3OE02MkcvR1NTbFdhWmhXYUxBVTJz?= =?utf-8?B?VlhRem1xajdaYWUxaU9MYVVNVzh3aVd0UWdWOUN2cTJDbFpJaHJscVBuNUlP?= =?utf-8?B?ek5GMHFlcXpXU1FOZm5LU01HS20yRHQyejhKSzNZN1VzTm4wWkdvR3lIcXNv?= =?utf-8?B?WmZTeVJMeUs1eVJEbXZUR1VGWFhzTVEyQ3dDbnNqeGVjdlVncjJyZHBCdGFt?= =?utf-8?B?dDBIcWhtenNJaW1kblhjb0hjRmV4OXgxU0hQZXd0ZHNuWnVpT21EaTF6OEt4?= =?utf-8?B?b1NWbDBSM2Y3MVE2SFhVcU9EUXgxM2FybEJ5QkRzSkJxWnZTdm5ZMjJjZUZT?= =?utf-8?B?ZUpnQ05vNDVrMTQ1YlZjTHF0VzQ3bzZKeEJyRzNkR0ErSVArSzlYQ09ad1VX?= =?utf-8?B?b1JkanR4N2FjNzRxYXo2c002cjQrQnFOUGtMcENvVWFwZ2lmMWZqUHl6Mi82?= =?utf-8?B?NC9YL200TlFkWTR0TjJGYnY1MkF2Y2tJY1J2eW5kaS9ZcjlPdnpQTzYwQW5Q?= =?utf-8?B?TEcwY1lpVS9BTDNxYkg4cEh1S3l3cEQyT0hxNWJlRlY3YlYxRnhKTm5TR1JL?= =?utf-8?B?SzY3K0wra0NObWRwSWpwVjVkcUNVWEs4R2liVk1zRXRDUzBhMkdLMWtnNHUv?= =?utf-8?B?UktodUJZYjVzSUxwaFFhU1BhSVRFc3lwUHlFMWVwZUNkZDM5aDZqZDQxSWRJ?= =?utf-8?B?RG8xcHpWMjNueER4Wi85QlN6THFzdFhRd01LVnhpa2Npd1J2QStMMnVaT1hk?= =?utf-8?B?L2RJWTFUckJwTDFybktuRGVvbGR0QWdIYWd0UEwvT2lvOVo5NWNyZC9yT0gz?= =?utf-8?B?S3hoTHYvc0xPSFFrQTFGVUl3U2pLN1FtTnJiSER3dlg4MSthekxjcXlncjRR?= =?utf-8?B?K0RRNkNhYk5aYWJ4NlNoRWp0bkJoUG0rR0d2OW10L2VpRktEdUlKbDBick9y?= =?utf-8?B?OVZ4c050RWY0OEpUajdid1ZGNDExVm5DYnprOTNQRnIyZXZwUDZqZEk0VDVF?= =?utf-8?B?c3M1V3RzSGdnPT0=?= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mta-p8.oit.umn.edu;PTR:mta-p8.oit.umn.edu;CAT:NONE;SFS:(13230040)(82310400026)(48200799018)(376014)(7416014)(35950700016)(32650700017)(43022699015)(61400799027)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: eb7d6853-d754-4a7c-052f-08dc99f0ca1e X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F177.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Jul 2024 17:16:57.2481 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Duzg1zUsurTIKUoAaTVJymebcNLHKQ4wVv/HK5FGQ5vl5idh0dQltKr3GIPV/daX+NVVUY9z4Rx1sDm13CnKReoesO4LWYQrPizPZrV9kh9Wrs3m/Id2vJypvtYe9GWXoKk6YLVBW5Zwoy5zr9OF9J412GqdZYIwsiXHEd1poZwbnGuqtxkPZPtwY1sTJe7z X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB8107 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: 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?MVRJRHB3c2lJcEdhRkw1T2cwZzh1NGpRdVY5YlBMZVhUYlVaWDRZUENwc1hD?= =?utf-8?B?RXNZMFNjNHlSTHphMVJuRFdybFVwQ3p6WnVBSXdoemJaTnR1YmRLc0o4SVZQ?= =?utf-8?B?WEM3S1JPaFBHd2N3bmRacEM5WFhMNDRMWTV3VUlXTWhnOTZ5ck05bnhFcGpL?= =?utf-8?B?SEFNMUwwRnV5UTRVV1J6V2pXTWdhRy9wOU8zZ2RXZFJwNnN3WFg4YTJ2U29G?= =?utf-8?B?WHVtZHZSd0FKVHVTQ0ZpelMyN3JEV0VaRzhQYVFMbm5pNDFmVVF2RktxWjFt?= =?utf-8?B?MlNPQ2FmL00vRHFWR1NEU3VGTW5xaGlHSytEYVdxSHh1c3JBZTB1RzgyM1RZ?= =?utf-8?B?bmR1VUxEVFlReVN6YTB3T3A5OFB1Mk44NC9kWlM1ek9NVVpOU2dsZ1loLzdU?= =?utf-8?B?N1BNOFF0aU1BMk9zb2hxd2N5RGkwdU5IRmFQOEFlMnhzOUJDQTBQQjZJN0hh?= =?utf-8?B?dTJnVDR6dXhvbUU0MGhrbUdzMy93TEF6VVhsaS9SZmlKeWFScFZCN3hta1NF?= =?utf-8?B?OUpiK2pIcTluU24ra3lYakh1a3VKSmRBTnh3SFpzdTEzcE1TNVhCaDFFeFdO?= =?utf-8?B?Z3BRejRKN083SUIyeUptL2tqUjV5b0V3VDZ1UjFDVTR3RjNFQTNoZFZUSjJm?= =?utf-8?B?RGNBd2c4Q0lLVGV3Qm1jcmhVQ2dSNk8rK2pPc2ozUGdiaFdoeFBPSHYzODYy?= =?utf-8?B?SWhPeUx2b3BXSnM0NE9NSVV5ODNMWVRHYmxCQ2NlbHVQTXQ0Q2pDNC9kQVRC?= =?utf-8?B?T0pSei96UEhib1ZuMk9qMmFCVEMzZkxsa1hPT0xSUnM5UmRiYnlGNVpMbDdD?= =?utf-8?B?VzdEZllrY0ZkeGpNVW1KS2xLMUZibkxKc2tvM3JueE1Rc2QyMnJOMjVkeC8v?= =?utf-8?B?VUZ2clMwcVFiOXB4ZGpKYjNrUi91SnA2WHVvUTNoTmxxMWNqalJhVHQ3Z1lD?= =?utf-8?B?YUtLUXR4ODlZWnBTUlNOTFJ0WWFUZy9hVkVaRlN5SEZ1WmNjSGY2RGVoVDZF?= =?utf-8?B?cWVYeGhDYnlUMzJkeWNIQTVQYWNyc1JqYkxmQ21NZXg2bCtJYnFXSnQrVExP?= =?utf-8?B?elRBdDBDNHN5SU9iVHpBbi94aFZtNzBhYlJJaEsveFRKYUhHQUxpRHpvM0FF?= =?utf-8?B?UXJrUFFseHFHZTlwblRmZEd6WjFEME9TRU1yUTZRZnZSSjJkc1hXSzlhOXoy?= =?utf-8?B?emprQTdISGZEcnlwd3hHZ2M3dk5UNEZ3UFVSbmUyVytGUENFbXZFK2tuS0Ni?= =?utf-8?B?aFYwOEpZZnVMdzYzaVMrY0pDK2xwOS9ZRllYQ0czUmhWSEM0eUY2ZnBOY2Fa?= =?utf-8?B?QnRyTWVlbmtzbm9rKzlUdHhITHFSYWZleXVXcHY3M2FlRURMZXZMZWJ0L3FS?= =?utf-8?B?RnNob2xCa1ZmZU40ZWlzNGo4ZGpJWlRESVM2SjBBZXFwK2VvZ05ySStJU3Vj?= =?utf-8?B?bnBGRHF5ZG1xQTBWOFFGR2xOVkd2akxnOXJZbnhENTM2cWNwM01VdWw5cjB2?= =?utf-8?B?d2doeC8vbWNWTDdVbmdGL09rcEVjOUROSmRlZTlET0lTbGs5amVydEtLa2Jw?= =?utf-8?B?ZTRVY1g5MGc4NkpkbldQZkhRc1dQWFZOTUFoamRXRXFRdlhBNGplV3BlLzBa?= =?utf-8?B?QStQRFh3R3k0NllJcnBCazR1ZUhVZHB6N25FMmNST2JYdHJKUnhvNlRIZFJE?= =?utf-8?Q?v9LSskWkNtfODe9roKL6?= X-OriginatorOrg: mq.edu.au --000000000000519dcc061c3297f7 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable I'm delighted to announce that there is free best-effort online participati= on in the Tenth Workshop on Mathematically Structured Functional Programmin= g (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn next Monday= , 8th July. Please register your email in advance so that we can send you Z= oom login info on Sunday evening. For details see the website: https://msfp-workshop.github.io/msfp2024/ Looking forward to seeing you! Best, Favonia and Jeremy 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 --000000000000519dcc061c3297f7 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I'm delighted to announce that there is free = best-effort online participation in the Tenth Wo= rkshop on Mathematically Structured Functional Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in T= allinn next Monday, 8th July. Please register your email in<= /span> advance so that we can send you Zoom login info on Sunday evening. For= details see the website:


Looking forward to seeing you!

Best,
Favonia and Jeremy
 
 
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
 
--000000000000519dcc061c3297f7--