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.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HTML_MESSAGE,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 23624 invoked from network); 24 Oct 2023 05:16:29 -0000 Received: from au-smtp-delivery-110.mimecast.com (103.96.23.110) by inbox.vuxu.org with ESMTPUTF8; 24 Oct 2023 05:16:29 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mq.edu.au; s=mimecast20180308; t=1698124587; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=BY9+m4OcpnC/DqvbuC8xWOKvc+BS/aP6k7wOi2I5mI4=; b=IT6cWydPKIUUey+EX7YVw1ReopWchsFS5F+caDbU5ERWy6kvnZQFsa8Tc/vnq4maXhRbaF Fa/jhXcNMUIw9Ks93LRF/64BzSV2wTnxS+4o7cCEeDCHpW8RPAHCSsAFZbQVyXFwPGKkQK jNLcdhfcRaixiyrVcIFHZdM4CpgEONM= Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01lp2169.outbound.protection.outlook.com [104.47.71.169]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-107-w-qmyIGVOZqz3zxVrrY__w-6; Tue, 24 Oct 2023 16:16:02 +1100 X-MC-Unique: w-qmyIGVOZqz3zxVrrY__w-6 Received: from SY6PR01MB8204.ausprd01.prod.outlook.com (2603:10c6:10:1d4::13) by SY0PR01MB8729.ausprd01.prod.outlook.com (2603:10c6:10:221::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.33; Tue, 24 Oct 2023 05:15:33 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com (2603:10c6:201:25::10) by SY6PR01MB8204.ausprd01.prod.outlook.com (2603:10c6:10:1d4::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.33; Tue, 24 Oct 2023 05:15:30 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::ed8e:6f67:8f03:2a3d]) by ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::ed8e:6f67:8f03:2a3d%3]) with mapi id 15.20.6907.032; Tue, 24 Oct 2023 05:15:30 +0000 From: JS Lemay To: Categories mailing list Subject: [Categories]: Call for papers: TYPES 2023 post-proceedings Thread-Topic: [Categories]: Call for papers: TYPES 2023 post-proceedings Thread-Index: AQHaBjjsdznErHeY1E62sdRaXMq32w== Date: Tue, 24 Oct 2023 05:15:30 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: suggested_attachment_session_id: d29c467b-59a6-827a-f23b-0bec673379bb x-ms-publictraffictype: Email x-ms-traffictypediagnostic: ME2PR01MB3122:EE_|SY6PR01MB8204:EE_|SY0PR01MB8729:EE_ x-ms-office365-filtering-correlation-id: 5388351d-3522-496e-e913-08dbd4503dd5 x-ld-processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0 x-microsoft-antispam-message-info: i+eHNeCE3pD+tvPyov58uI6DOyh8ObUHEuKJySHErGRGUzYJJmbH6x9+NSQ0879E5SyW9QiTIM/Y5203EXDTdqdxQj6n5jHxYEXuokBAcjgF8kML2GNlohNHZmMos/p/oTxxW9gdHvP2VL84yhiln2jLfrCNiw3yPow+pL5SQRGBiQ/mWJi87RSt0BAWLfjNHWZhVbSmcclRxVB6nKaIcktHYd1B1kvKIKiwNYTA5fj1qiop9eLY2AsyyZsoAvl5LHew2r4qRz7pqda396qmhM99O5XiTI0aO+vjwfQ/cGbfS1Au5t3f+4vE74zKQxm1fvd2O/j3cEraKwr6gPyOsWmfjyigBJ5WwWy2Trc1AfxONjBf5b+U4Wa1ebkDG+rfMV8qhaug4vIriV9hiYblsp4Ea+MJBgGVer+HBhOvfPYelYXmkYdgDcAUbekAWxai6Ja9LZqUYX8HlMKZSE3AJ8mMe2YBZ1YmZs9B1Z5F462febdqP6NA/PZ9RWdm9MAvprQ3Iih9PTGf4YIXIq9aIqlSRT5YFn3PwiDYwG4NDbBQ6pxypzuNvpSvRVTOjE12F4Bi0UH0GHdc5LeePpgXH6OGOF/XoR1mpJVhMDqpMhf0QIIrUqVcWSWjdpmINXeEtWQdf8qT/0Qm0AOdcyqBfotY3y9drB9y4j0HLPcs7Kn71RlkTJOrnTOA35+Mpf4r x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SY6PR01MB8204.ausprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(39860400002)(366004)(346002)(376002)(136003)(396003)(230922051799003)(1800799009)(451199024)(186009)(64100799003)(38070700009)(26005)(19627405001)(66899024)(41110700001)(38100700002)(166002)(2906002)(41300700001)(52536014)(7406005)(7366002)(86362001)(5660300002)(7416002)(7276002)(7336002)(55016003)(8936002)(6862004)(33656002)(8676002)(7696005)(478600001)(6506007)(64756008)(786003)(71200400001)(91956017)(122000001)(66946007)(66476007)(316002)(66556008)(66446008)(1015004)(76116006)(6636002)(83380400001)(9686003)(966005)(88732003)(76576003)(89122003)(225293002)(41090700016)(41080700001);DIR:OUT;SFP:1501 x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?8wLd/MPQl/hVcuSpz6g84yvXCiZSBmovkLzFiGslDXfrRTROC5Iu/AdN0X?= =?iso-8859-1?Q?cPG1i9moxRY9f4Duo3tXQ/4aDGSo2ARg1SAMLg7lwjqsnTFA5vIU3k15GC?= =?iso-8859-1?Q?9jrar+xvmUOTkYiG6N7yVSUExqErmayo45klZLFkp5KbJ3+wA0+mU9YRKN?= =?iso-8859-1?Q?dZdeCpM7BNeeQny45eHeKXxqq+7CjbKqoQX7suGCfTQG3a77roFK2x3BNh?= =?iso-8859-1?Q?YlKiXRPMsfQ7wYR5MkiV7yJ7P/w4zYa2ZOtjBNLhpVj3ROTqCHuozoM29u?= =?iso-8859-1?Q?VOCdspPPn4JFIuEB/q9pbqnBHPvnm5Gqk2yg0hQIXETZt8hGpeAwFhXQ3Q?= =?iso-8859-1?Q?qTeN5urC8tmHWQv4iWaytdYZKQbZ54T2DJnqxuD4GW1iQuzVquinCxOOmr?= =?iso-8859-1?Q?hnq1/ltNcnb+D40weEiOy7AT1zwQghYsgewuahlwh1ToXZhxtXPH/F+Oq5?= =?iso-8859-1?Q?4g+7P6YYooVAMeIyJnaltAcXdeWxuZjOH7qCYssoNKFoZWTZRhrekc93mn?= =?iso-8859-1?Q?KCtPq5ZRlcCzSt6kCq5CG9F6i5vo4UMaieDGYNiUpE8cezoIVmGbxbd7eM?= =?iso-8859-1?Q?dqg5p7sEjDxxpV4i1Rkp3eMa95VBYF+XKznXJA+L/AfBtwflgBmCiajdcc?= =?iso-8859-1?Q?F2emxAZIcgCoXNPghWh6+GAyQFE77f3LtX7wFhUfzK7UskuXC06ICuyQ4N?= =?iso-8859-1?Q?pB4bp87PPgAucMA3wBuznKUt5uwIuPJfIcXb3SSk94g2fTNh3hXnSq7UyN?= =?iso-8859-1?Q?camekHgkJETx1dKgNDfO8SNuo0rBzdYk/ThER6u5MS2EvVT1d/IbRPRLCT?= =?iso-8859-1?Q?5l0+VkfN5AbpcBesMypftR/Rw7snDufQzn/Dj+Vmwc5AncbzMroxeRBWsi?= =?iso-8859-1?Q?Rj2NZa+7lLYPI6TXSAvMk5K/EBkljXkkJZPBMhWP+j+gXvRj3JRP3b0G8f?= =?iso-8859-1?Q?yuIFgaaG1iBP+YGBuPLcwXr6rLhHMNWCIL+Ph6D6HCZt2MN8pOZZoczMzM?= =?iso-8859-1?Q?NFe+aNSfY2owaRDMB9XzTfLZxE2BxEzfAinGCJDgLhUeITkGrQcatDBU50?= =?iso-8859-1?Q?UMEUVKC+leRBNdnAUkPrnLRKjr/uc1DxD8pLrtjfSpEPtv649E+OQwnzfI?= =?iso-8859-1?Q?/8HDhj54V17zMSbNVk4cGYdH76kzXckkyjb+qWfwwtmla1F8/zw9HMSa20?= =?iso-8859-1?Q?Pw+HfNjD8Nqa8rOXavHBr9Q7sNCAAKcFQO3h2EDalVKSdMvx75YL6H2RzT?= =?iso-8859-1?Q?F3I0akgayOcnek1zlXG5vKztTEj2i0VyPYj0jdaalZS0rtRyLMkgUNnuc3?= =?iso-8859-1?Q?7cz6NOhMQieCvWbLUULqNBpGGKOuSdQVB+ZiVodaF2OghdpFeiQqVHTJTO?= =?iso-8859-1?Q?M+LKsET/ri1ygjiY2Rl8y9FuyYP++7GoRL9pVMv+f7D41Y5BAi4C3AfXrH?= =?iso-8859-1?Q?vVf2xP0KGTNdGKzHbb6BAAdhopo+Ir/SjU8vIVaCKXNOV+vbVeOnI/3V4g?= =?iso-8859-1?Q?dsJL8yJq0cb0T8j/cB9hCYhtsTDb1bKu9kVEGlghSA9pk80leeFatEkrcd?= =?iso-8859-1?Q?qgpBXpgX3jlMonaneQ3rIIo5PUWLxi3ZBsrHYfDyYDXuG8u1nwADB6rRlb?= =?iso-8859-1?Q?pYatAPNFakv2iRjK17xRQCd32/+J4GpS9L?= MIME-Version: 1.0 X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 6 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?iso-8859-1?Q?as5ReDLpOpCmejhHbmWvrKmIdIO6U2l9gEW9b3wsDkprd2tP4XCfISL0XE?= =?iso-8859-1?Q?b89mVinWqzGrGZxgvUUf3HiISfhg0KbTMhYTHn22XJ/L0fFby3XmX+QMF3?= =?iso-8859-1?Q?5Un4tRFFErshcIftv0Kh/qmSxU3z63O5EqABVssnwJL+6DVGBb2fbumk5A?= =?iso-8859-1?Q?JNoE62JAwq491v0APuvz12c5LturHQOgRdPo3Uo+i5l69YoW7xCdXBYFPL?= =?iso-8859-1?Q?84R64yaL7S2Xx6gHJCfx1AcZRS6R9wbZcgqcchH3Io+7Y4EISd0S0bGdn+?= =?iso-8859-1?Q?EMuuY2/ou9ciFJ+RuOoQZXee7+6Xhm4e9k558nswdP33wFn46dZGygHse1?= =?iso-8859-1?Q?md+B4GWxHRINUPyJvytdcE6NK3kl3yc/YEh2iHcjX4BkpDnk4xR7ySSSvm?= =?iso-8859-1?Q?MleOKhwW6fNVT56McyA/wgOAtl8MvEnRuLie/TmLmGfjLu4V+HNE3L/I+Z?= =?iso-8859-1?Q?jHmVinm3D+KIpgQr+lb+ZMXMkoTXA9liRdp/gJoJMvyb1AZmsZpUU6xeQm?= =?iso-8859-1?Q?A5ypla3y2QZi19z3tRKjng0kezh0rUhp034GaJZIRfbCnFPfGrfWQe8WOx?= =?iso-8859-1?Q?MvxgUtlpksSf3Df2WpAB2T194Mim2qlzYD5erAPs5m8SKU+apPRQzpn0j5?= =?iso-8859-1?Q?eNcEkd6Z9HG1P/8fwHGovNSFnksrKE6NB+MSV1JB0c5CCJyKEcpqcUgc5A?= =?iso-8859-1?Q?JWmLVuxcWYN8G2lAeTTjaL6eLRYudacF2FOoVqWVWUDqgBYj62mUetOEiM?= =?iso-8859-1?Q?O+dCyeCKqmkJTE7f4jryu0rh7HqPBlzjwXG5p+6WRGom5Eqal9RighMlQf?= =?iso-8859-1?Q?BCncNqm4Qc0jzd7H1X33wQ1fjSavgPYWKbi2FW4FZKfZ54kpFq4q6+mRBj?= =?iso-8859-1?Q?p6Dth0iIJOqtSp8v8iHn3pg3E+GlfTkKAdPGNuq2q8DEjbH1ERivC9Zv1N?= =?iso-8859-1?Q?Fl4fJwsaRtl4IwlX3ucHDMhp7I7sqGuU/VDhOlMwN9onBUXOQGXDJBIVxO?= =?iso-8859-1?Q?1AOdQ/mqJbmrb4w/K/6s8MJLQQp/ICmyuf773QWIA8sA9iUuh4So3AI9SJ?= =?iso-8859-1?Q?0Rh4xRBUu/KaQodMCm9x8E2DCV8kqi8ib8q/NLE+yvTvIKej8Qig/8umPZ?= =?iso-8859-1?Q?hAYI6X7ujrHFCJL6pyVKtX59PZPD1GFENM3ivwFfpQIbMHGe3r2E/3n4wE?= =?iso-8859-1?Q?z9rFdzR3M/ACAIMQiswqnD9CsxY7PYOdPKn1CSRltgHKMYnJUap0s630xS?= =?iso-8859-1?Q?tO10YjYmpKDsFR3M/cY1MvOzVpPR6M1WpTBe3lMqAjV+VkyZ5n+/KsvxPM?= =?iso-8859-1?Q?25eIODmfrS86ZH6Dz5A5XvQ9WLQFiu9mWLAN/WgvIIVyBvEtsD/E56KYaX?= =?iso-8859-1?Q?ZJJZB/47d+9RbY0HNJKBBVS6vnYn6lcvHT1ecsTSucaqM4IkJ55CZa8Mz+?= =?iso-8859-1?Q?SUoRZ1Bz+MoGJqKtTr0VbVZQXNLktowjZ/3eJCoNWz5mpxjbTjW2gH/aoB?= =?iso-8859-1?Q?KENca7iqVks34aZ1XZs1x+3/i6U43E6VsQKsTFr6S+AY1hxtp/Bdzub9Bt?= =?iso-8859-1?Q?gSujS3uSmkbivVg7VuQikdk9D4AfDNEnxpSI/4bXh2F0E13YICbaUO/pPE?= =?iso-8859-1?Q?2443/y/eLAPaseUY2EbdOv7RMUsZwYvv/Dmtj618iDwGWj102iMzEN0uGR?= =?iso-8859-1?Q?k9b7t1nBMQ0kSL/GMpuBT9of6zerPCRE63P7E/4chlZtaOsde4NMJOhJcM?= =?iso-8859-1?Q?c7aaffJxKe+hz5S4Oqr/hYdmh4gSjUDZMpoblmmf2/naDAXBopdzfpE8+E?= =?iso-8859-1?Q?m67u10hxaYzlMjaNHTetysT6RyjatYgteXxw80B5ewstkDwdSAIxFDK+j7?= =?iso-8859-1?Q?ll?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-1: =?iso-8859-1?Q?fBWvJJt21pSkianYpu7mv+QW2KV8PoE3r1CpI5Z1r/bN82EjtQGhINxhtf?= =?iso-8859-1?Q?qOWSjw7pBTbru9CAOSLV62cs5Ltur0TL4nKi+hVo3hhU1dWPpkoXd7PcVy?= =?iso-8859-1?Q?yi93Dqh1vg1clxOHzY9Jd3EZaBHBShrRmFztyRa21cUSLwubGtWJgJ2WaX?= =?iso-8859-1?Q?0GFYjCoOx9ZNuG1c+uf91fXFb5kAKK/gAxE5fpwV6l24NuDXP05VZaG5yB?= =?iso-8859-1?Q?MzB2/Fx8Q7EIcMQmiuNRZ07erhy7cSS4FBUim5ibqU8B2Qhyic0nMds9Ku?= =?iso-8859-1?Q?5GgNQb8mEBDKqRx/oBlcPAIGNX74CoqhPCHvQb0xZUdAzb9LfMVlVBunKq?= =?iso-8859-1?Q?skGqQBVIUq1GL4voUYLAYV3XVluJGomLXZsxxSXIPN/P6F5NELzGJkrWeE?= =?iso-8859-1?Q?qii2N4jM/usxB0ACKja8wkQ9PRi7uSB6OoSksSgeixhda6tVs4tnbSXiE2?= =?iso-8859-1?Q?vGgFVpvlJ+q+KOsijd81x8DfgoI0+Rz9hNaG7iAI2n0CbRmNsNHrSdKzFO?= =?iso-8859-1?Q?FRFF7Fa2X+9aHiA+gdrSy5PjWxCHh9gV37pW+shJVk8R4V/cPVhcffo5Qt?= =?iso-8859-1?Q?rHE2QLlTUGzOpWyQGpl4yspDlDt1XeRFoxKIu3pce7im/bODV5rKPQksst?= =?iso-8859-1?Q?faO0/2jPIAqh2V4cqO8oDrrxpNkpS06U100wgYTSzPVkenN2mJzYcENc/z?= =?iso-8859-1?Q?CeMoE4UnPY3nVq+Q/kCf9dstoAI2bAtEnz5urKP6eVKdNx5jXRh+uhxMTD?= =?iso-8859-1?Q?nrl9C1Omd+veuvOcBsCmCir8DZHnLRTx9EBFhp2vl1Yc+5aJhp2laIDYFx?= =?iso-8859-1?Q?5GulZVdTMFm9SUARccJ+ko/XX62W3mTSQfCqts3P5wbLZQzP/7Cw3DwiW4?= =?iso-8859-1?Q?uh9WK7Ke9FrPvCbMGNhrzr9OvgixZBbULHM55LZShzh3xLHoKziz4cOA6Q?= =?iso-8859-1?Q?AG+a0R3vGihzR+4TUEQkU9ovHwaXTlyaN3+rLk8GjjczFQ8+cxY5w9mhHl?= =?iso-8859-1?Q?aNsqEh8f+baQePQxTLMWBgN8yYioPeNtMF6YywC01NnEl1de5dmZWHxDMv?= =?iso-8859-1?Q?KthRhNcM/YzDHpqmNfvQOZKacgBZW8RjwH7iIuvSXtcU0J7PUSJoeyq3vz?= =?iso-8859-1?Q?pB2qFjro0Gxs9Lle9KXH34rvvjWvGLBI8MztPwNTvEmx4qk93fR7Ys6xOc?= =?iso-8859-1?Q?PU3syAmUl/aj3BEtJI2pL8sZheEYhc0uhNIQ0yyVTf9dSi1/EE/hx3Lzph?= =?iso-8859-1?Q?EhqPG4AJ9e8ZSqWJc67Bty2wQfRswC7Y0yHkMlIXFe6sg0IeH0YuMT4oDU?= =?iso-8859-1?Q?tEs7+eaKq3N30u87j/hf8YmDErri686W1+jY924pQQb5haJjnfxOqGtSEs?= =?iso-8859-1?Q?UPMSzDMPHqKGzcfQUxwlUPuT5xhfC5TwIhePE/qHRyZOUiQs0RATFYyOqX?= =?iso-8859-1?Q?vKUO6uz0ZILVW2N8a9eX5rVy0lgK6fvNQ9z7Xuvizm/A8FOKBHwjQ6Q8VE?= =?iso-8859-1?Q?+4l52aLaWYw0D/rWm8FceuefctB3yCbevwcuXKbaYotsBnZXDD46r45K0a?= =?iso-8859-1?Q?4tb2Ed6VRDcEvQ5pmucnMW037APRum5MIHDwdoRBZNLT3PBEENhmGGKKbd?= =?iso-8859-1?Q?WEuBn9/t10by5AAco3srjIF57Y9niIA9fkVQbh7bJ0D5EE/EtAv3UNe0GJ?= =?iso-8859-1?Q?3xd3o0HOpXRgTB98VUZOSFft3gdXp7ozaVKprFWzvVzFBx0eS5jpOPLqWi?= =?iso-8859-1?Q?B5gOYtxv3GWFZCA0VGaBcNJMIjDZ9Kj0P3lingNasHH1hxjk1MZ3mAzZwP?= =?iso-8859-1?Q?OrKHhNO9mkD4qn2foRidn+RF5nGavaQ5steQ+UGAF3HLzN+2MdQqz4vG2G?= =?iso-8859-1?Q?7L?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-2: =?iso-8859-1?Q?OxngS2kS33aDuirziULeEOx8/x9l9/dxpz4/XcVptGH1NqCjTp7eH8JW3L?= =?iso-8859-1?Q?hA7ADtimQ0EM9qpJCo4eJlYQ7XSyL/nhooDCDPDBfs0cF+e77UjnO2YcT1?= =?iso-8859-1?Q?KjSvfV6p+whksFtVHqBKdU3Yq3DB8zBXX4/vqck9vsLlGOgYYQoJITOFae?= =?iso-8859-1?Q?JY7P2ytvofFnmGCR1TUl0bzdfPhO+YhxD6vGFhYacGVXOFh7GPe21aS56P?= =?iso-8859-1?Q?cpHHA+xXmfedg5wXj6rnc7FCgbWmQGzp8vA7R3r9T8BfOtHufhbK8PnG1H?= =?iso-8859-1?Q?mNz1kXsCljSoEC5YH9f+ScLwQmDbtlkdjBtm1+wu+eMb86hMNAfcYD+wR9?= =?iso-8859-1?Q?id+mfwY2RPOo/fyFY63+3xLPvCEWluaw5QRLVbX+BbQ6zq/FBlOf9E/c4K?= =?iso-8859-1?Q?Xy/1jOdKpLTmlySKz28EHWCYVizGJxykq/xDdY7vm7PUVqRHRy4+mOY+u1?= =?iso-8859-1?Q?PjE/POgGduTHmfYdhQEH+C64GPOrVrA8jMsZB2n5eumA5Ka/mSatxfuw4+?= =?iso-8859-1?Q?HzBT9TOz+Bq8YHhno3IhZVbUTDVjp8I+uCcxdZTvHC7IqJCw1TGPj43135?= =?iso-8859-1?Q?e7PZvxvGigh8nfymgsy5LXI8iG7Mk4NF6lC47mJEyQ1gn4teYnFJVyfiSl?= =?iso-8859-1?Q?aTefAf4uOBVq/c1bxapEnC3ux1UTcCeo52l7Wgw1gIr98tQ7FCaEQRo9tH?= =?iso-8859-1?Q?rFuuhpiCFLDxhUcggm1FNU/FR2q9I2hRoPbj65D93q4CVMkrbccseqg/jr?= =?iso-8859-1?Q?aJwETD1NNMPVYW8N0XtBBCCXr975t+cZlGUfmfrlR4FMhTenDWoaihRxx0?= =?iso-8859-1?Q?QZXeZ4qVTWc47wS+V0M8ifxIf7Cw+sIi5Fc10sAncThm2Ig+pXFq4Q4jWT?= =?iso-8859-1?Q?TkBZroS2N1voN8gqzUJF0RzFyczxnzzMVuvZ3RsTxROSgWEkyrynWQkFHm?= =?iso-8859-1?Q?OgHE8CudrtUxoGaKVLhZXqXfdDidEWc0qiev63ZCoUCAzI0XZ7hTK46IC/?= =?iso-8859-1?Q?ZSlXRv1AM/Mw1y2w5r5lseyrq3qjarnltPRlaeWbFUfgr57lc5O154EwrP?= =?iso-8859-1?Q?BfE8OVu/9YnKLdljQsBZOGfvZxU9gaoZD15ejJ74SOIVU5LSS+qj2u+WzV?= =?iso-8859-1?Q?YQjjwbPxyiwnMgzNeB8ggpEiljU2ppofQO8LGmMlui5RzAmpuUHoLvsS6n?= =?iso-8859-1?Q?fEyayDTSlhztfr5w4IWHLBr6ZpYCw0wTJsjoP55euds0/qX4Mi3+v1G2rc?= =?iso-8859-1?Q?QeBsZhwmfNOa2stS28yChu/mOs++689rvzDCtv5cPACrJGeGDR5T3hYfQr?= =?iso-8859-1?Q?xw7eyWrPtf9/LXK7wF53y9QujKf+D1QVnMdF2CxtydstHv+MEnmQmZnq+5?= =?iso-8859-1?Q?7tD9i5yUh9WmiVI1VLoAO/CbWi3qyJ1rBg1fCvKSojTj3/iY6FVvifUATg?= =?iso-8859-1?Q?utYFcxXkGZq/j9RGsbUAMoKiYK3OQKYXuTX1Zg1IGt4sn72V6RFQNh5yR5?= =?iso-8859-1?Q?s8Y61kAsxRazJV87q7er8Fs+Nx1woBGnVVQ8Y3mTIf/eJ79pVuw5qsECrB?= =?iso-8859-1?Q?C8jbdRfgKUI5mQg/Kk5Db6hDizX/O/mDqIZjKH61P9Vu7puLt9IixEFsiS?= =?iso-8859-1?Q?+8UjyF2K920Cwk+5Qo07XcbgbFGfCEdOzmKL2knka4vxal8NDZe3RBpkrG?= =?iso-8859-1?Q?nM+fcVijYBvrB0eQCNfzSl8kIuVG9qBjmASAcbZG6giATgTL/EzQb6/nJf?= =?iso-8859-1?Q?JG2tJrljjPLJrhUIKWi3GhQJYIsfURfeO5iJql9T/InirwKYJ1jHAk2xh0?= =?iso-8859-1?Q?VLzhnmTQGsEgulvr6TsD0WqShO3naqRfILK5ijxUQKxyXwyw0dJksEarxj?= =?iso-8859-1?Q?Qd?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-3: =?iso-8859-1?Q?qu8Oetbc356n6Pb4IA8eNi/w3qvQxqWWnftvRqN1H3X/Fom8OPsfesPV3g?= =?iso-8859-1?Q?Ehj4hjhUJJvw4UEeanwzBhaqApaWNNmw8S5AYzcej6M5CdChRRMv4B8xZa?= =?iso-8859-1?Q?U/Z0bsUn1nf8XOAYpqp2+1pJSAHj0rK1ZSGYqMmM9DizpQoaPwEsP8erLv?= =?iso-8859-1?Q?p/yzaXU1a+IlqwleEpXscD3aQ1ujHy3Po2c2y1UG6K7BDqr5vot/GsDYmr?= =?iso-8859-1?Q?whKrgU1Rm7uFEGav5MzFJvmkgeNmw2y4DcbKufWpBqFBUjvR57KuJTqA6v?= =?iso-8859-1?Q?jeg9lhFsfnebzwq/Tqq8upD0NYC3nr8gq14EKKBUfpu6MTrOU2MIj42sft?= =?iso-8859-1?Q?yBYY3dXmUrDAThQSA7fWdzskLbLvCnMRyOZVZ4nEky5VGB1SD8Tpu1wjm2?= =?iso-8859-1?Q?vu54xRp+MWyfkc+tnFRSDu2Zj++9+PK1OUcMeLYZ6j3oGHSNoYVbgoTt0Z?= =?iso-8859-1?Q?uB+h3D1TL5JghiFoFxUShxa4yQTcdHuWY8jCfJNyYDcPNlneddvKEtquu5?= =?iso-8859-1?Q?/OAeq7zT4WgTPIuo9l3r9XRmkY5nZbFPsSRa/MvIwNhFpgV1Lwr7lCGCZV?= =?iso-8859-1?Q?lU7KK7VSf9aUiqdenGRNEcCnsSrm+W+vhdkegQYLsvxQRAjF3sdLrTsuCu?= =?iso-8859-1?Q?ZNYCvkbyLPf/dlecVBGACpvw9fHNjava39kCx8yi/rBGPuLOAYProxEJD+?= =?iso-8859-1?Q?7IXdsVecnbAiXEJqqgSxHzkVfeowV6fG7WD5kR/ViZyfhStXg1aJe/YIn1?= =?iso-8859-1?Q?a2ndYUm+dkuNDi5mV49ItpoURmYqiqsAjombuzWnpeDlthc4MLFvYcvcdu?= =?iso-8859-1?Q?LTgv26JGrN1s4Bg0XJ6vMHWg/Ynoo5JwqhhCDFVkNDyVgf+dmES2NBAEux?= =?iso-8859-1?Q?02ihIum9vhfk6WyOluj5MPupcfI+5eA6AdT4qmPXyCXP3K3M3oyH7XDTP+?= =?iso-8859-1?Q?tFiVDDzQ1iremPPcX/VR7p95guav8Ua6vrcJkASpAtylMuwIsXkasdv67O?= =?iso-8859-1?Q?SrTDsPfBKddA7S0HXKMcaZ8g6sNClASoOsZlfIGLR+PfLVs7c6zfqr+RbM?= =?iso-8859-1?Q?aK1qw9OjkK+Bt//X3zCYkNraJbaBdfw7ZF/yfug0I5VhHZPXi4SYfBEvQ4?= =?iso-8859-1?Q?+ndcIoj1EkLMtfHGsqmSvbsmvy9zdr7EU/XNr8LfkS/WVyS3G8I8MnwhZZ?= =?iso-8859-1?Q?+pkcgPpYL8lpPB9u0j+XB3+XzOKsrmq2ViXqhw95HTRZMf7Ep37E0kMAEu?= =?iso-8859-1?Q?/BrK+3QnBNpCbyCg5MwTr9jWiEn9xooV6ioAeeCPRO6kSaGsz+ioehoDZy?= =?iso-8859-1?Q?eFWpD+saE7IMplQDEBwonJ089T9LPgNUX5yQBJgQ1/selo2e04ckcCGBwa?= =?iso-8859-1?Q?OsEnzG77ceKDA5iGYEhC2MMKyHhuPz4HguTwyYzUOkFRb+LB5VSXhTbItf?= =?iso-8859-1?Q?zr132bHcuQsViuG5yz4eQRSciTInj33nMpw3QvX0u43vOTbPl0ODD2c3/a?= =?iso-8859-1?Q?VIOANc7MNtzGdgn+MtFywnHYIHnODtHKWXEl73x3ayqHdQnU5fBFwe7kqv?= =?iso-8859-1?Q?BzAiuB8hBTTU5FQsmIFTevpORF1+YlDvXNWafJv6KthMnMbzFMJbAChP6Z?= =?iso-8859-1?Q?qRIBQALiMqztDrOflSMkPbzfJ/EByu/SQzK/UVltZVSB3/YfefC/Lv4MPQ?= =?iso-8859-1?Q?fm+rR33WVxHIMJ3pkvg6FDGAztO9DrMcsPQcPzW1SCf51DIl5L1y+ra7I3?= =?iso-8859-1?Q?HNFEQ9X00xO8XOoS3da4cn6kOia4N0Oycgi59iM44e374Iv2E/ZgFjPswh?= =?iso-8859-1?Q?I/WguIlsbVUzz3eJ3EnNJqEmGjdE3i6NrjfusvaaEsVvDtVdQ4yVG4vPRa?= =?iso-8859-1?Q?TW?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-4: =?iso-8859-1?Q?CeEEudzrygobYEPinuPKHTSJfN9MtdnKkBZQWBk1W+tNHfrkGU8H0my7yn?= =?iso-8859-1?Q?1vHbKD528jLsOn1Pml5JE+MzpIphyM8yyNsQ/o7j0iPjI9K4kPuFA0+p8b?= =?iso-8859-1?Q?J3ZKu2CteAFBq0d1ollPn15/IV0GF3czUiphRaHpKdsbO7Ev3g3kB3O3jK?= =?iso-8859-1?Q?aEKFL9KBkilp7sonLVyUt2MUhIUzNxbAqA8OSL6k4lObOOmUJqD3CWKJDN?= =?iso-8859-1?Q?xcG9Ewrooxt7nbgRHbRURw0hdKEPVK4I2hAn9zYDTM1CaZg644rzrldldk?= =?iso-8859-1?Q?4JcRxVujZYyl0qA/5K5W29VCokWo7QN0hbN0ldlKFSj1Te8S72GkJwb7Vl?= =?iso-8859-1?Q?QGo/3ahXIAIXG20nDVD3BUdtpLh2yxR4n46M7maV/SX+R2o7MsKD6eHYLM?= =?iso-8859-1?Q?6GjI9aFoZsRFZY4IEV/HReh24lgG606ZlI2gg9yHpooT8rknfCZsPntdgl?= =?iso-8859-1?Q?xGkp5ci75s2Y5A5dqpj7HPUp18Zh2eK3dRoZlc3jE2FWwJCMl6tX/H/BB3?= =?iso-8859-1?Q?RTKkIkXhfZcP5Pd5T5qYlJIRVyOeo8lb9J7g+4g6IYkb3ccEhYYxZjgeoE?= =?iso-8859-1?Q?FOOAApHCUdKj3Z/m4yxiRfjCmETPujfkr4r9PAC1yzdNLH81IPjMQO1dBe?= =?iso-8859-1?Q?zNZNnqcE4S8VWuD6FP/M4MmhO+GeF43iErJkweaZJIexJTwBYAlUHQ6r3T?= =?iso-8859-1?Q?h0DBXTfBPwR6AYIYnqNQl0ngSl8Jg9HOtMVemymljtrk6R6adzMIhOlqjY?= =?iso-8859-1?Q?YRUA1li9Uv7JoLv3QfzgE94ZS6JW2x/4B832i/fNirDPVzDgPX030BUPuu?= =?iso-8859-1?Q?tzeVVhcBDOtwZC3wFD9lPtogT0/veAKHI7VpNcNVdPgowR4Yz45nxdnVtK?= =?iso-8859-1?Q?HbAfKEWN8MFJfPvyDxtzaJF9EHuvryHxUs4I1KG02DubLoYbB/eVtlKkdy?= =?iso-8859-1?Q?UsqdsBEZNmV24ZUzb+hQTpQ53XE8+7/YtYJkBti3zt27qkizeDv/kmcTS3?= =?iso-8859-1?Q?118vMhU9wwwoGfScUO1Rov4EKs+9LGQdtW5EA3YfHWwEkxMu8D7MjRqCBd?= =?iso-8859-1?Q?pjJEpjUo7SPHqewrZed9VzORkdsPcR0OOUTdKP9lS78WjVAel4+FMe/W+f?= =?iso-8859-1?Q?yVPJtQmRWF9covu+HdfwOEMtm/WMr2G0BFGx6aJwN3SUmZFIH90y8XfQFC?= =?iso-8859-1?Q?xPGop0h6dtYLqIAJ91ZE4uDLbuucgG1/14CEcV93Bl6cK78zesTemBfE3e?= =?iso-8859-1?Q?A33iPys/GTwNeT0CLxSkZDBa2uMV65wkv+eGsM+Mlj3l38ULdqV1/arNH3?= =?iso-8859-1?Q?5umeei7UFyuAOrdPw0I9F8nT4LisVWTln29nZzHaU2OqCQ0l428loT6FO4?= =?iso-8859-1?Q?MSZ09/VnJrYyQnHJwUSnL967nQNwGb8+2UhazaqUvHTmy1552C7KYjDafE?= =?iso-8859-1?Q?UL/4/LdPkHpn4NfD/DadY4XolnTwZNW3hckWO4elo3iDQpR36KPZ+sxqVv?= =?iso-8859-1?Q?xr1/hLUoGCwgo5mIqawiNtaIS6jsOeHXDLok9wNGUsvRQ+dKYS0TC5N0Es?= =?iso-8859-1?Q?PlL9renj+SsCE5bXzEtgY0pmDWguKEn7qlOK2PO6dtag3r3zNS64q6g68P?= =?iso-8859-1?Q?/XfDDmT3heC8tTeczKZeX1U4JNUiThYxjOmed5HLCPqk77fWY+KVr7vEpR?= =?iso-8859-1?Q?f0Gep+9fx8PubPFyD/LMmyPgww5GVVIRgReztYuj7Yc/vI0dAXOYB3Wj/d?= =?iso-8859-1?Q?QBfAQcG8Zcm1tDHl5lUsl/RJHvxRMkA+iBCxAEOLNo0J9F2pDqQdXGeKT+?= =?iso-8859-1?Q?J3Yh7RY4/qEwnfj6DQncM6u7RTGT11+WmfafqAb3GFuk+FQUabVEYqIkqf?= =?iso-8859-1?Q?0b?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-5: nDGX8iyP9lx8XFEPanfk4V+g X-OriginatorOrg: mq.edu.au X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: ME2PR01MB3122.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 5388351d-3522-496e-e913-08dbd4503dd5 X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Oct 2023 05:15:30.2516 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 8uiPF6uadUNDZktNNMBa2tdEX6FejmJnUOHXSVrIlCqEaY8svwpWmniaNgW4lLVWSzxSVmBYu78Jct9CKSpnaw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY0PR01MB8729 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: mq.edu.au Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_ME2PR01MB312250EAAE272D6E94B8BD5ACDDFAME2PR01MB3122ausp_" --_000_ME2PR01MB312250EAAE272D6E94B8BD5ACDDFAME2PR01MB3122ausp_ Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable [[JSPL: The following email was sent to the old mailing list by bennovdberg= @gmail.com while it was offline]] TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2023 was held from 12 to 15 June at ETSInf, Universitat Polit=3DC3=3DA8cnica de Val=3DC3=3DA8ncia, Spai= n. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference. Submission Guidelines Submission is open to everyone, also to those who did not participate in the TYPES 2023 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and be original, i.e. neither previously published, nor simultaneously submitted to a journal or a conference. - Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs. - The upper limit for the length of submissions is 20 pages for the main text (including appendices, but excluding title-page and bibliography). - Papers have to be submitted as PDF via the EasyChair interface, accessible at https://easychair.org/conferences/?conf=3D3Dposttypes23 - Authors have the option to attach to their submission a zip or tgz file containing code (formalised proofs or programs), but reviewers are not obliged to take the attachments into account and they will not be published. Deadlines - Abstract Submission : 31 October 2023 (AoE) - Paper submission: 30 November 2023 (AoE) - Author notification: 31 March 2023 List of Topics The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics: - Foundations of type theory; - Applications of type theory (e.g. linguistics or concurrency); - Constructive mathematics; - Dependently typed programming; - Industrial uses of type theory technology; - Meta-theoretic studies of type systems; - Proof assistants and proof technology; - Automation in computer-assisted reasoning; - Links between type theory and functional programming; - Formalising mathematics using type theory; - Homotopy type theory and univalent mathematics. Editors Eduardo Hermo Reyes, Formal Vindications, Spain Benno van den Berg, Universiteit van Amsterdam, The Netherlands Delia Kesner, Universit=3DC3=3DA9 Paris Cit=3DC3=3DA9, France Contact In case of questions, contact EMAIL posttypes23@easychair.org --_000_ME2PR01MB312250EAAE272D6E94B8BD5ACDDFAME2PR01MB3122ausp_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable
= [[JSPL: The following email was sent to the old mailing list by bennovdberg@gmail.com while it was offline]]
=
= TYPES is a major forum for the presentation of research on all aspects
= of type theory and its applications. TYPES 2023 was held from 12 to 15<= br> June at ETSInf, Univers= itat Polit=3DC3=3DA8cnica de Val=3DC3=3DA8ncia, Spain. The
post-proceedings volume= will be published in LIPIcs, Leibniz
International Proceedin= gs in Informatics, an open-access series of
conference.

Submission GuidelinesSubmission is open to e= veryone, also to those who did not participate
in the TYPES 2023 confe= rence. We welcome high-quality descriptions of
original work, as well = as position papers, overview papers, and system
descriptions. Submissio= ns should be written in English, and be original,
i.e. neither previously= published, nor simultaneously submitted to a
journal or a conference= .

- Papers have to be for= matted with the current LIPIcs style and adhere
to the style requiremen= ts of LIPIcs.

- The upper limit for t= he length of submissions is 20 pages for the
main text (including ap= pendices, but excluding title-page and
bibliography).

- Papers have to be sub= mitted as PDF via the EasyChair interface,
accessible at https://easychair.org/conferences/?conf=3D3Dposttypes23

- Authors have the opti= on to attach to their submission a zip or tgz
file containing code (f= ormalised proofs or programs), but reviewers
are not obliged to take= the attachments into account and they will
not be published.
Deadlines

- Abstract Submission := 31 October 2023 (AoE)
- Paper submission: 30 = November 2023 (AoE)
- Author notification: = 31 March 2023

List of Topics

The scope of the post-p= roceedings is the same as the scope of the
conference: the theory = and practice of type theory. In particular, we
welcome submissions on = the following topics:

- Foundations of type t= heory;
- Applications of type = theory (e.g. linguistics or concurrency);
- Constructive mathemat= ics;
- Dependently typed pro= gramming;
- Industrial uses of ty= pe theory technology;
- Meta-theoretic studie= s of type systems;
- Proof assistants and = proof technology;
- Automation in compute= r-assisted reasoning;
- Links between type th= eory and functional programming;
- Formalising mathemati= cs using type theory;
- Homotopy type theory = and univalent mathematics.

Editors

Eduardo Hermo Reyes, Fo= rmal Vindications, Spain
Benno van den Berg, Uni= versiteit van Amsterdam, The Netherlands
Delia Kesner, Universit= =3DC3=3DA9 Paris Cit=3DC3=3DA9, France

Contact

= In case of questions, contact EMAIL posttypes23@easychair.org
--_000_ME2PR01MB312250EAAE272D6E94B8BD5ACDDFAME2PR01MB3122ausp_--