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.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 18550 invoked from network); 31 Oct 2023 20:16:11 -0000 Received: from mail-me3aus01on2101.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.101) by inbox.vuxu.org with ESMTPUTF8; 31 Oct 2023 20:16:11 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YUl6ly674y95Bwwd3Bp0BAjv1P3/TEkG6NASoXwgdfG5Clau/FcUpLTMyVXNFEn0mB24nrcCeLg3zAfpFwcD6SkPK2AALe3Mx36HCPbIGf2yDIo1+S/tesyXim/Wghl/QIHJdBCCfCcwmsVFhuij/enAfSpCsTUBXpnmOoXtNbqKM3b2iih1+GDGuSNiuPEHaX5RK/PYV2IZB9j6tehHB0VSj/gpHHs5EMlYDvPNxySHeb7+Gd5+zC4UZjlX+zeQGXqNI9gNpG418yybT2MBKaFYv2EHqXfvBnKwckz2aDO4KV4/KU6DXIw7aErCQeG7fKbzj0qQq5/lS+YgB1c9wg== 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=0bR92CcjibspeMhTy+gAaCxtXYTK7MSEakwNLDh9qIc=; b=gAEVR0dhO4JbcbHXotcIXtZstwpaSxnBxaUM7fJWPnURDJY6IQUqxJtasoxuFQpXHVM9Voqav/kgMBDhY6K83wfLvBxmJh77mRq8zQlYzecpzcl7v3zSqBI5uZH0yebZWmZ+ivOj/kr1U2MkhWP1xM3BRcrg2dRV825e06+joPbvtmC1Ughh5jZHQUS/uVp+yEXJwDn2GWLaoxN8d+po37innGc8UIVOmtQmTCkuyKufc1BnmfxXmOOeGof78dJtREghSxKxgQGDqTUnMPLErs7RW3Bd3qN5w9gaNbvZeQFI3gbwZjyzGROwFfQYININJ4EDdd3QJS89g3U4y3T4rw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.43) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; 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=0bR92CcjibspeMhTy+gAaCxtXYTK7MSEakwNLDh9qIc=; b=M4RMkTa26uWeLq16y7sagLiwFxDd3hUQ4ok1czGepfRTM6Bb87xDLm/xcII+g1Dv1x14pSo4X3se60NI0O2nB9+BTsr9rUdgbbSIrY6W0v6Ivk8ecbVQQoJ+swsTzbclUw3oTHT1TpTUy/uYjmQTEQ3a4BLl34Bh/rGzEHC90XEqSB9QGKKqJMe1Pk99sNimytxv7NWq+7q7umzVThDeYRuPAEnbwNP3dsUYjphdgrjezqvMDtT0+KSBe9bZekGJFfqcA20xe2hClht3uME5AvK5BXZdJrj6IbkUq+vBqZCjDil6t0d1riUpCkyUJlOAVdCiOo8A9mC4hkIpWhRLgw== Received: from SmtpServer.Submit by ME3PR01MB7228 with Microsoft SMTP Server id 15.20.6954.19; Tue, 31 Oct 2023 20:16:08 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Ht6+MwVA00abfkQcLA930LaPMYBwmcpzL+9btoOpcS528nj8ijuViwlkBRSemArn7t9hLTOOLF9rKdJUdEmXch84KQLPkfijPseQK4aj4xjwHw4r5Q4Zt/e9oeEIFDqmCHxpRjyXW1G+t5PZhKciJSEVhrsf/OsGD9rhagzG7pZdvgtLknHupPr3DXxynHgagVN5BsHbdxJ2Hdy6zBHnBXGHCrjiBBO9JVhkaHN4bQSCi6Aw1imdk7w5lEDYRbjn9M5afwylbqfv43JBvP2Xj/E/+T8gxw0DNAWKtBJFg6qMLbtn/GuJZY1Qjz1JWmzjcPPhnc6hVwZ29/XyZ+Dl1w== 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=ASKbhqdlySX6wOl3LRxjln81OO1xpogQvWlUOukR2Ys=; b=GR/6548pTilsFQ+iCi+WCVfdwdqAl/+AnKXB3/ku6v52FANrnSBpVNs6ZHXn9DhxL4vjOpC+nk3kqhQfqj6G8e+05as7TedrVaNneBgCc3siK6VAKyLjqAXyWLPhzXyjjjbgFaypomykuMcI/8RKb5tOhT6mZ1ePnzHSoWFr8JcmqRlM/1qWH7mQeyYXkR1mXoFNjtLYgMaOiBMpHvHPH6Iw9ufFsi/xrlT5hQghECOG6+oAnhlsADsveZs18w8mj3b+FJWHX6YgxoOeEE+N+kS0DDEbydDeNKJga90KbSedwEWlAy6vwMlcWOJy5+UILMGm707HY4GeZmT/KrdJHg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.43) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6221.ausprd01.prod.outlook.com (2603:10c6:10:103::12) by ME3PR01MB7228.ausprd01.prod.outlook.com (2603:10c6:220:13d::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Tue, 31 Oct 2023 20:16:01 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com (2603:10c6:1:22::21) by SYBPR01MB6221.ausprd01.prod.outlook.com (2603:10c6:10:103::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Tue, 31 Oct 2023 20:15:58 +0000 Received: from SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::1973:bef6:a3a0:81f1]) by SY2PR01MB2986.ausprd01.prod.outlook.com ([fe80::1973:bef6:a3a0:81f1%7]) with mapi id 15.20.6954.019; Tue, 31 Oct 2023 20:15:58 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=MEG7TyzrcQtQZWYBJKcS0oiLxECkU3loWk0hzwSf7fvpv/g7YJsihsd5XfZgcD9NqvwpyMBSmC6Vm2t5nE0epKPonZeKHp247LO1GwdrSm9DRg6pnqp52FojqEcGW7C6hnRiB9QEFy6fTwkQPmdOcOSt4aG+9zFAgaebK4anAo+x8u/Gh3rq1/cpF06FVqL2PIyzS6ysfgL0qXYmPYOi73+6w3SMtiqgrIBPNhM5mTpFuKndo7yCt5JZc/DTCSG+ei+7c1YDj7SEsHipAxLnFOYD4SRevinTH31hEAM561DCGMDeovFYi6fO82Z3iAQPXs2bY6Cdf98jJ+FxjvLMYA== 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=ASKbhqdlySX6wOl3LRxjln81OO1xpogQvWlUOukR2Ys=; b=G7Q4aYXN/r97tPHIqOpyeaLB9VLlKY6l9WiphSySnDIHnjDz5hwPp9nf7qR/pdwT1iEn8JgW7MNOCAWiknNQ2ZfLJc+TNgEuOTDfoD5oib+RR2yPUGeZJwx9SCQFJIhatnmwKMgkCt0cgUOoWLfwnWI1NFmyXECnWR53D+uks+r/U1ysjYmMkOsIjN3l5EdJybnK6WJv4RGGE5zUsIK4+7r9xMAGMJ5DsGkhQSohwJoevGcnVr6gIwRW67Dk0frpCEIBTg9426E5Z1LNcgQc1DjtQNqMTDZqCfSK7RivQ91AORHXQoFszQ2EaDbHjXaZSPqEpOmMJdN2hGM4KJ+1jg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.217.43) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWP282CA0016.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:1e2::13) by ME2PR01MB5874.ausprd01.prod.outlook.com (2603:10c6:220:ee::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Tue, 31 Oct 2023 15:40:30 +0000 Received: from ME3AUS01FT014.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1e2:cafe::b0) by MEWP282CA0016.outlook.office365.com (2603:10c6:220:1e2::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.29 via Frontend Transport; Tue, 31 Oct 2023 15:40:30 +0000 Authentication-Results: spf=pass (sender IP is 209.85.217.43) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.217.43 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.217.43; helo=mail-vs1-f43.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by ME3AUS01FT014.mail.protection.outlook.com (10.114.155.155) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.17 via Frontend Transport; Tue, 31 Oct 2023 15:40:30 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698766830; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=ASKbhqdlySX6wOl3LRxjln81OO1xpogQvWlUOukR2Ys=; b=KVRhALsOvuFXx+PUacxNEbw3/WmlYT8cRFqIEtlalP0kXf4NDPBE0+Q/9Vn+jMIbflvWRW /sVf/MZ9SfAznaUV/KzTOKhnY5qLO1hDzwZ4Ma0eq7MjJDSMSjw9yLlOBNYEdRHEwQyJM9 tj/o1vEUQx6ohN9Dz0Y5h2vdJMAbwo3Au7KwdAE5EQhgxTdAkO4s1MtjMLKPzurklybZqY /wwPUMJYQ0eclR8GjA73oZh5wk9x96ecjliUw3XshDRatGPUreo8HZAzZUyS83ibHbOngS da2reJqtashyD/D/Cx5elJeF+inBiLjuezi8aaZ8ncFFpgk0UwxLxIDej956xg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698766830; a=rsa-sha256; cv=none; b=dtdXA4OpBr1xoZEsS2Lk+q3pwBciKWaw5wVIUYs4q0TDjwvGDeVdu/MBvfYqM1cjzCvYqR h6vJjgjwyfLubQ5FTbVvJXJpbA7sIqHL9EVMyqJB95cEMtdtodp/tCMRuUU9HbrDCe1bru OhW9IEbT3j4cMNDoyUqeW2AIWKE1hp3aCM/XRigJYqY3XeMzcVdPr3oal+OkprKE0yb6IY Xu5POLv2sQSrikFu1o1kP6weINdrcq0Uww+3cjRnW1aRUB74DxIGhoQO3ppEPcW2oiZMeA fzUWjN0qW3TKuCS07W7dLGacg8hDu72xWCR/+1pojTQ20Dcn7JV8PenqMR2CYQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b="LTIrMH/K"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of bennovdberg@gmail.com designates 209.85.217.43 as permitted sender) smtp.mailfrom=bennovdberg@gmail.com Received: from mail-vs1-f43.google.com (mail-vs1-f43.google.com [209.85.217.43]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-89-CuNoiU7HNw-ltCACntYzAQ-1; Wed, 01 Nov 2023 02:40:27 +1100 X-MC-Unique: CuNoiU7HNw-ltCACntYzAQ-1 Received: by mail-vs1-f43.google.com with SMTP id ada2fe7eead31-45853ab5556so2314684137.2 for ; Tue, 31 Oct 2023 08:40:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698766825; x=1699371625; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=Oj6sSxWoxIhi1GzFfnS+E0frFLr7/X9vD7tBeCKoHws=; b=LTIrMH/KCqlacUUvA6L8lCV5dsILu32LOwODGhCYLUvf6+QW638J5Oc6zgXjayTuz0 A700mTr0Z9r0TgLggnhO0ADT/jGsisWyi/IEmF6+nbuYEnnkC7Pg556XYnIFVsXwIHtH a2bAU9RPsU6OwzhEeBs5wG14/s1l+DzYXtrUwZOj/9rISLLBO1X/jBq4gpqhvOGkKOMi 07b9cXxIOFXPC++FgA6xnX0XmCFbWcLSpnGBNgWpUZzCTjv9G5weRwlnjToxDByN04Dh XgGTguzDDBDWnCY5GPEOENpJExL+gpDL+UlyMB6mlsvl/41c1UvWwpLI+bjpl2+dYNhH eUSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698766825; x=1699371625; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=Oj6sSxWoxIhi1GzFfnS+E0frFLr7/X9vD7tBeCKoHws=; b=rH9Nu8Yz2DaMpeOhTm7o1OnF4vehZ0R8a6iW1uic+eo/UVQ5N7TTyp1bW6sPgZFf1K 8N6jG+Wb/wZtfcPqFftina+9JYGmS0GGpGEX5Dl0u4YWoQb4xoBOz+1ndCY70EJwHNd8 kEUJMMMTRfQTTFe4nRCegbGbis0VTgB1HQ01An5hS9ZVqxIQD+AhJK4FhWNSc0GRjj3r zbijt4/4XS/6rd/jc72PKaqMjXA6hdfpKZ1Z3zs6gs14VbthEkZ1e8i1sSFzpMfb7Kz1 3M9/wSBufsh5h1AtwYAJssC1WNDkKv/qO5MxHN/oOlrMrAZG/tufHYp0ueQGvPC05fhF UN7Q== X-Gm-Message-State: AOJu0Yy/Vu5XjQw64l4pPuL8AubMffmpxGQP4mLjgJ1VmkogXs6v5B6N wqx+gWYNjLMc8EYSmVXyyYbN0Vsryr4oDuMBr+M7y/TNDUe7ow== X-Google-Smtp-Source: AGHT+IHXpGtvezAr25md63Nz+UNavQkBUSoFB5XXv9O8IyLPw2O+Vc4R9LDvI8ca+XZvoV84/bFnr7fliZkHpCEEPlw= X-Received: by 2002:a67:b84a:0:b0:457:d0ba:f333 with SMTP id o10-20020a67b84a000000b00457d0baf333mr13372282vsh.8.1698766824783; Tue, 31 Oct 2023 08:40:24 -0700 (PDT) MIME-Version: 1.0 From: Benno van den Berg Date: Tue, 31 Oct 2023 16:40:13 +0100 Message-ID: Subject: Call for papers and deadline extension for: TYPES 2023 post-proceedings To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b="LTIrMH/K"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of bennovdberg@gmail.com designates 209.85.217.43 as permitted sender) smtp.mailfrom=bennovdberg@gmail.com 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="00000000000025c6db060904f942" Return-Path: bounces+SRS=PJkkU=GN@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.217.43];domain=mail-vs1-f43.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.217.43];domain=mail-vs1-f43.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT014:EE_|ME2PR01MB5874:EE_|SYBPR01MB6221:EE_|ME3PR01MB7228:EE_ X-MS-Office365-Filtering-Correlation-Id: 09d26c02-289f-4690-a3b8-08dbda27b68f X-Moderation-Data: 10/31/2023 8:15:56 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: Ek5iL/ftayHgwzzOvyIv7yL+lBuxBAj5IGQFWRhHtbxAow0a3MidXXebQUJGDRBJzBTmfv1Ppxpr/j3paGedCpWn5R0DmjGRpW2DK4YHZ2/SEoXFo/CuzmveCCdeoEV/+T7dSV/I48Ay9H0hh3nwOJpt737HoX/ohmeUhRk/OVLcjZlux0lZW4ESxLofJZQKi+iVH/oAPa6VqoPPjid9sCkih3bTLhKbcEkH993IJCwZXNdvyL28EpQayPtfi4UOxS4U9dggm/5Paa6dNsDqBbVjw0hl2dq0X9puRrSJ61+c0Dt7JIMr+RbA8idy9SexiR5IInnnFit6HAHHAFn4Onfyp3zF4YPcIsRsVMBTNNiv054TE/bSwSdCdDg7Fmk2dr8mLY8+DhM9pf0/eVY883kCGho9Lo77yagIWVzTjJVosexqtBYQiuKi6b9oOUZf0uAStP/mjZxy4MuRzykm2xX0LKWq07BbOWPkjO6N4uhLnLUcjWhTGV4M5SXCU7ejHTCPnYzX81qdSkDyyEGb7JDf3O5Tj/iwbTwan2mUeREZ4bx7J4ov1EM64/S71rc80zZGZ4ztkuVZauXsTQkRYOTnRGehdo1bbPVdk+mjnK34hWeT67f4MiUopFsBcvhyz9zqFhfhgyJ18othV1zb4R3xbwnB7gdZwqwhOoKt8pVAoEvJfjF+4OGqTVWBFx5H77J0vKt9QfwfZd9nSPCkHCVOPkb/mguMN2jhf0YTK3H3DTQttngrJ6a1AwALA4S9x4OY4EtFI6uMLtfo5vajBGB6akAVVT6oGGsKO8wg32Z+W5PIbtIdYr8oBYqId4l6VIca6EEEkx0bNjwk6pxf3gOKeFytjnNeA+Pdkp/bLrn/QqVxTZDCZHUr8dnI/C9ad+z3cRx3VTQiUugWokPo+mS3jEYG2aQm/3mWCMgu84k= X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-vs1-f43.google.com;PTR:mail-vs1-f43.google.com;CAT:NONE;SFS:(13230031)(4636009)(346002)(39860400002)(376002)(396003)(136003)(48200799006)(8000799017)(451199024)(82310400011)(1800799009)(64100799003)(40470700004)(7366002)(7416002)(7406005)(5660300002)(7276002)(7336002)(41300700001)(8936002)(8676002)(786003)(42186006)(70586007)(68406010)(76482006)(34206002)(316002)(2906002)(66899024)(76576003)(966005)(88732003)(89122003)(498600001)(40460700003)(40480700001)(6666004)(32650700002)(7636003)(55446002)(7596003)(82740400003)(83380400001)(33964004)(86362001)(35950700001)(166002)(66574015)(26005)(336012)(82202003)(156005)(32850700003)(73392003)(225293002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 09d26c02-289f-4690-a3b8-08dbda27b68f X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT014.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 31 Oct 2023 20:15:58.1797 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 1w9nnoJlKFsuztN+e68iNgek9oIG79wJdVfCy2Am2fuz4JS4zSz0YtSRTvw6MRuZaRXu2B7yBSfsR1VZsFZTHiZf0/zs35yyexnAUtEsYUUeh6LmJFqqRwuU/gdHe7U8WHNPfoI19Vz3PkyymSNxi1YyyMGfas5UpNV9If436mR1FVMwn08ye2v6Xo3Esi8aAaclpC1qz9ku0mSahUEDzo0pOyqUTkDnY3Ug9q41QSY= X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB7228 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?TzkzQzZ4TUFZQUNDSm85Q1JQRmp6Q0d0ajJIZ1FxYUp1TzlqNTUxcjA3QVlU?= =?utf-8?B?RmtYRWkyejJLc3dMdGQ1RGpjUVZma2NEZ2FtYnQyQTNlYmpnTDR6QzVhcGZh?= =?utf-8?B?U3I2Y1pYMVlaV00wY1NJVGJ2am56Kyt6d1l4QWp1MDUwVW5YdVFHWWxVTWd1?= =?utf-8?B?YjVrVlZtM0pERnN6S0VBRGlkUkd3K285c2FMRnZEN0xIL1BuRXlxczIvdkhk?= =?utf-8?B?YmtLcTRWM083bytXY0pybTNGNnlRSThhaVBrRFFkcWhXR3h4ZEc3Z0NDOW9G?= =?utf-8?B?MkJHYmpmU09iVFcrZjZLbmtENm9mZXZNUStFemFBc2NXOGUzd1kwTjNqWDk5?= =?utf-8?B?RGdRNXU0NVBreDFMSFlIdFBPY1dKV1diMkxVajVUY2YrQ0Jlb2tMSit5Wkpu?= =?utf-8?B?ZnJybWdubXNhR2NuQ1VQdVZlZjhGTFdMSTk4VXNQSWNPMkl2ZjBmcmpwV2pZ?= =?utf-8?B?VGhSdGNZQ3FidmswL2lLYndMbUI2N1FqaHhIdDZJZ3NvSmFSdU5tYmo0Y3l0?= =?utf-8?B?UmJ2dTAxWGVEc2x4OGJkd1FEdzZJT0Z0RlVYSEtZbzhHSmJvU3Ira1lPL0Zx?= =?utf-8?B?UE45RittQUJrUkYrTE40Skl0czV2bGhKZGJKTXo0UkNmZ3RESUpGNEY3NnJZ?= =?utf-8?B?UlFTVC9oR2s2OEVEWndUck9Pb3B5ang2Wk9yV1UyTTVyb1laK1lueFZNRFhk?= =?utf-8?B?cWY5a0RCcERaaHdDNVdnSGtGcVU1VjQ0bitnV1pRSGFiTGkxZFlVWUFoeitv?= =?utf-8?B?Ui84WS9sdVhVQVNoLzhrdEZ0YVYxb2hsWi9IUzJyM2c2OW1rSzNlMm5JZ1B4?= =?utf-8?B?bGtxU0tDNEJIVHA5M2EvUVV5MlBsZWNlc3pLWUJiNkxNcUR0Y3M5YlpRamJO?= =?utf-8?B?a0hCWElwTUtFZ2lTeVJzZTU4QWw2Mm93NkxGQkVXem1kbzBEZjc5Q2oraDI3?= =?utf-8?B?cTNkTlgySnYvVm1PWnEybk9mZ1NWb0VVRGxYNnRTTzhIUm9zQ0F2NTNUbGlt?= =?utf-8?B?VlBlaEVwdElZNnVweGxJMk4ralpUQis2UkZpUXl5SHhhTWRYelVBai9ENFVp?= =?utf-8?B?R3BNRDkzL3lTeFBUOStiUGFXQVlGekNkeXRmYmxUNXVVOUs2dXQ5UHJYY09s?= =?utf-8?B?bzVXOC9QMFZFSFdrQUcrbG9aSTBBMTNLMi95YVpQZGRBWDlZdTFNekVEYkNh?= =?utf-8?B?d2xKTTF3SDFJRjRJZlJNZFBnaUkxallldStJV0g4dWNLSmU2NEd6OGNaQlVS?= =?utf-8?B?akIyUUM0Y0FEbE1hZEMvOGdnQ0xXK1dUOGdMVTlidS81dzRRd2Q1cGd2a2JO?= =?utf-8?B?U295ZUZHVmRKckVldWtGOUJ2a2pMYkdjY1VFS01OdkVDWlhPYnNvSU1GMkFE?= =?utf-8?B?YnkyYXFMSEQwcjJsb1pUeWw2NHB5dVZwczVYMkdXN0cvRHNvNExDYlVLZzky?= =?utf-8?B?QWtYNGJ5VHk0SVVVSE9OZXJSY3k2NnBKQWFqazQvWXRzdE8wN2VuZ25kK2NX?= =?utf-8?B?UU4xdXp5UTFvOWtRbEJ0S1BzWHJHQ2xnTFluOTVVcXFrcmZ2Q3FLV3VjUG9F?= =?utf-8?B?dW1CRkZBWElBZGxGeWNFL3ZFSDdiZW5xaWtEM2dYbFNSdHlpR2ZvNkhRM0RY?= =?utf-8?B?L3lEd3V6MnM4NTdSVmF5Zm9yRnBnY3IrQ21FdGswdDdPbGc4OFlzQkI3S3ly?= =?utf-8?B?ZmQ0cUtjVHBZRk9BOEtQK1ZpdTdzeWdjNGhOa2w0SVluVU1WLzhZV0FKeXJx?= =?utf-8?B?YUJ1cXJjczdyd1FWMnNzQjZvdlFyclZVQ2hkRlZKVUFIMEt3bzAycHJ1N1Q4?= =?utf-8?B?NzcyeEZ3dXROQzlPd2lucG5nV0N6dDNtV2tTTWg5RUEzWFJvS1drNWNjdWRC?= =?utf-8?B?N2xVdEdpMzBQMjZ6TnZFOXpTOGdSMGM0b3dQMk1GaVJjZmxCR0VaTE0vbHV6?= =?utf-8?B?WE5zVjV2RjZaMHpRQmUwOGR4NHU1aEZzOExxTXpLMHdLMmhvdlJCcXhESjRM?= =?utf-8?Q?P+uJeQhkYPxL3OAHZ8BjMIG2kqhFJY=3D?= X-OriginatorOrg: mq.edu.au --00000000000025c6db060904f942 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable [WE HAVE EXTENDED THE DEADLINE FOR ABSTRACT AND PAPER SUBMISSION BY THREE W= EEKS] 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=C3=A8cnica de Val=C3=A8ncia, Spain. 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=3Dposttypes23 - 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 : 21 November 2023 (AoE) - Paper submission: 21 December 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=C3=A9 Paris Cit=C3=A9, France Contact In case of questions, contact EMAIL postt...@easychair.org 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 --00000000000025c6db060904f942 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[WE HAVE EXTENDED THE DEADLINE FOR ABSTRACT AND PAPER SUBMISSION BY THREE W= EEKS]

TYPES is a major forum for the present= ation of research on all aspects
of type theory and its applications. T= YPES 2023 was held from 12 to 15
June at ETSInf, Universitat Polit=C3= =A8cnica de Val=C3=A8ncia, Spain. The
post-proceedings volume will be publis= hed in LIPIcs, Leibniz
International Proceedings in Informati= cs, an open-access series of
conference.

Submission Guidelines

Submission is open to everyone, also t= o those who did not participate
in the TYPES 2023 conference. We welco= me high-quality descriptions of
original work, as well as position pap= ers, overview papers, and system
descriptions. Submissions should be wr= itten in English, and be original,
i.e. neither previously published, nor= simultaneously submitted to a
journal or a conference. <= br style=3D"color:rgba(0,0,0,0.87);font-family:Roboto,RobotoDraft,Helvetica= ,Arial,sans-serif;font-size:14px">
- Papers have to be formatted with the= current LIPIcs style and adhere
  to the style requirements of LI= PIcs.

- The upper limit for the length of su= bmissions is 20 pages for the
  main text (including appendices= , but excluding title-page and
  bibliography).

- Papers have to be submitted as PDF v= ia the EasyChair interface,
  accessible at https://easychair.org/conferences/?conf=3Dposttypes2= 3

- Authors have the option to attach to= their submission a zip or tgz
  file containing code (formalise= d proofs or programs), but reviewers
  are not obliged to take the att= achments into account and they will
  not be published.

Deadlines

- Abstract Submission : 21 November 20= 23 (AoE) 
- Paper submission: 21 December 2023 (= AoE) 
- Author notification: 31 March 2023

List of Topics

The scope of the post-proceedings is t= he same as the scope of the
conference: the theory and practice of= type theory. In particular, we
welcome submissions on the following t= opics:

- Foundations of type theory; - Applications of type theory (e.g. li= nguistics or concurrency);
- Constructive mathematics;
- Dependently typed programming;
- Industrial uses of type theory techn= ology;
- Meta-theoretic studies of type syste= ms;
- Proof assistants and proof technolog= y;
- Automation in computer-assisted reas= oning;
- Links between type theory and functi= onal programming;
- Formalising mathematics using type t= heory;
- Homotopy type theory and univalent m= athematics.

Editors

Eduardo Hermo Reyes, Formal Vindicatio= ns, Spain
Benno van den Berg, Universiteit van A= msterdam, The Netherlands
Delia Kesner, Universit=C3=A9 Paris Ci= t=C3=A9, France 

Contact

In case of questions, contact EMAIL&nb= sp;postt...@easych= air.org
 
 
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
 
--00000000000025c6db060904f942--