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.2 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2247.outbound.protection.outlook.com [52.100.199.247]) by inbox.vuxu.org (Postfix) with ESMTP id E155521D19 for ; Thu, 28 Mar 2024 23:11:06 +0100 (CET) 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=zDBYN2cK0Rky++0d6khlstSklKRIs8r5mhY0QntqoYY=; b=a6UWdLxhAy5F5rsBgzbgZ41q73Sd6nf9yjzGBNcx9C3ZYpkwYgU67jU9RNsXhU85QLEs+6RehGbXQMSUR0uRv52qIgN29UWFmodgkBKVdqChF16M+SpYwh2PZivRMp+HuEp5kKFMGbMdmjNZovcNhxi8DGOGu5eaTEkbEm9joL15TnW+Wu1IDpJANI3Ur/uBzl87ckRIcID+ZrLcmjYQE6doX679D+svdR1excNOn67OU+s84cdVrJnpQNSjyDXKouGLwa4Av2AGxWRUS4B5Lnj4TOvNIpKaIogDmeMGQKDHQ7GGW8wBefyyUOEF63YzVrdCcaZ1d8E74MG8m0GQHg== Received: from SmtpServer.Submit by MEYPR01MB6728 with Microsoft SMTP Server id 15.20.7409.36; Thu, 28 Mar 2024 22:11:03 +0000 Received: from ME3PR01MB8180.ausprd01.prod.outlook.com (2603:10c6:220:1b8::7) by MEYPR01MB6728.ausprd01.prod.outlook.com (2603:10c6:220:12f::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.36; Thu, 28 Mar 2024 22:10:58 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by ME3PR01MB8180.ausprd01.prod.outlook.com (2603:10c6:220:1b8::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.38; Thu, 28 Mar 2024 22:10:55 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5e99:8fb8:5df1:8ad5]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5e99:8fb8:5df1:8ad5%5]) with mapi id 15.20.7409.039; Thu, 28 Mar 2024 22:10:54 +0000 Received: from MEWPR01CA0154.ausprd01.prod.outlook.com (2603:10c6:220:1d9::16) by SYBPR01MB6511.ausprd01.prod.outlook.com (2603:10c6:10:11f::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.39; Thu, 28 Mar 2024 21:57:26 +0000 Received: from ML1PEPF0000F178.ausprd01.prod.outlook.com (2603:10c6:220:1d9:cafe::6d) by MEWPR01CA0154.outlook.office365.com (2603:10c6:220:1d9::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39 via Frontend Transport; Thu, 28 Mar 2024 21:57:26 +0000 Authentication-Results: spf=pass (sender IP is 40.107.104.120) smtp.mailfrom=fmf.uni-lj.si; dkim=fail (signature did not verify) header.d=fmf.uni-lj.si;dmarc=pass action=none header.from=fmf.uni-lj.si; Received-SPF: Pass (protection.outlook.com: domain of fmf.uni-lj.si designates 40.107.104.120 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.104.120; helo=EUR03-DBA-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ML1PEPF0000F178.mail.protection.outlook.com (10.167.241.69) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.10 via Frontend Transport; Thu, 28 Mar 2024 21:57:25 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1711663045; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=c47YGaGy56Pvg/S+yh4uUaXfhip3VKfNgVdxixz3y0E=; b=FylaW6+TkyQh8WwQEeG+5w+D2MqizrBMKU419ehjaSY6zIoL78Un2bGj5H4vtdo1nzutKe GA7xT9RTa4Y+Ny/IkdFLF0XJ15LBORNwxQ+ergW8LtJpYjXwAxQJdpgC6zZ3lU3yPxaVpL xwJXxScWE/kC612/hpCJ8BdpiqxG84ZmQrHit/WbbU9/rscm/53XgVbldA8Dw64fFsyfwk QCNxfaZJQaL/JRU6CyzklUrITZHKYzIUwNqRBhT1ngligbQHXTd71kGceEFwcD60BqZKp3 sDko4LxtR/28ybDIQGxTlmDiBCCQWm+IlDJ2Wfp2iHCYr5XaxPrrrOcUfSYQmQ== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1711663045; a=rsa-sha256; cv=fail; b=UQjKvxh3kudiVUp2pYunxc66pvBO8o1GU+FpPAI0OkkibeFfXLIaLZzZhoe7iclm162QBe 8DWjIEao+Mb50vwMfgQnp3ro+cdT1x3ZbMEOUOpHq5YT9yxBJTxMAn0DfNrLCWBkKAXUoL Gz1qXsPZr2bAuFt97m8b4b+tlHBGphWTFheOjcLqpgus+Gqr61fFy08HaaJeScBLeSPjiJ 53PaWSgTy6fh0Ssz1vMzt5Dv3tX5zMDdT6kMV0hnSqpk78y5GFtBiEEK751LDWTjVjWzRg o1lLgHzWwDyrKjkK6z6xkJnJqSXR+nMZVbDJyfVV1YDKr/YvFpmWxTJmY5IffQ== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=fmf.uni-lj.si header.s=selector1 header.b="n5FQ/r9S"; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=pass (policy=none) header.from=fmf.uni-lj.si; spf=pass (relay.mimecast.com: domain of alex.simpson@fmf.uni-lj.si designates 40.107.104.120 as permitted sender) smtp.mailfrom=alex.simpson@fmf.uni-lj.si Received: from EUR03-DBA-obe.outbound.protection.outlook.com (mail-dbaeur03on2120.outbound.protection.outlook.com [40.107.104.120]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-83-HMWkQ0qmPlCdiF61kR8hjQ-1; Fri, 29 Mar 2024 08:57:20 +1100 X-MC-Unique: HMWkQ0qmPlCdiF61kR8hjQ-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=brqI16QnRuJjn5IAkhMfsc0FSsEr28TY/87CUAiDgt4FHgVS+7LECT9c09OIpr706Hj1GcPoO0qHAHCiXQPlpoUNFJG2hC5oXrd8JhjS4KWPUolHxs3kaKbBZGtg9+LLnVmcViEhNyUdLK6BCAlEsjH920dQYzFG24Kl4Qvgs3AND1S2MYjXXnIO6kFPT6GP7xct/9Q807yCRf9xYqNKSOb3goHsC2qkimU5vVvkC145IL2WW0SvXRhMyc3usQStbJJDI0vgd3TuKm2PU3V/Kdy1Wea/PXVBeNlmtX9wxfjCCZzuIf3R2JqwvyD2RRoePMXUlc1KZIK1N+lQJH5p8Q== ARC-Message-Signature: i=1; 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=aE0nBVJ/YiCQw9rxQYPafJxUaVmkxP6yoQDe0r5K6YY=; b=b2dg0MZ4qxYKOIdt74pDbGDUQK/TnRX/+OApT4HUYdrX3uB/RJyDGVSsehbdBFwZkcslyWP47pI2vB0Ivpi7L5aV5VoBRAxdsgxybunZWp9GmevbsCoep59FKX2OWvUBiwoqxDhXxCnUHr15DIbakQSLXL6AZADas0utsAv7wXN6v654DL2uNQUd7y7AwTE/SFvRQ1FkfklDmSAIyYx8i8daO8jaYh2XSSO5AGi/7v0frQyX4mSV3KK88NjW/FfU84GSqrBSIjFVP8+BI89kPEJQO2/jDO61t3CFsf5Hyu3v2xzascHFDBfIdUICkEnwhxWzGVdtDdxj7EacMRREXg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=fmf.uni-lj.si; dmarc=pass action=none header.from=fmf.uni-lj.si; dkim=pass header.d=fmf.uni-lj.si; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fmf.uni-lj.si; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=aE0nBVJ/YiCQw9rxQYPafJxUaVmkxP6yoQDe0r5K6YY=; b=n5FQ/r9Stf3WlsoDH4DYeLQ4JXIYQ7VcmrIdo5Banbz8G7t45GY2LQmykSHk+MNbXX1YEkFlLWLKXcL1zz43632qYG1EddilYw+lWHBWk44sRJHUPbBhcSnq8DIW1OlVPar2K9Xo0QqhCNid4k3gcNW1GLGU8BR2aJTI2aIi9qdB2JeRiGy8tS7PEkZxPXhaVMTQ8AF4mQj4IIoGgsvb7dalpXHQgjvYVDhSADecmBGk1nFVMNY9pRJoso43PaWvZZC0v3f+P8qgaF35pdVJ6iP4JL12oOP6yc2guvNhcYyBwW2C7zAOAT8Tv5SJ+q05GoMX53dEALoITqFpoxJxWw== Received: from PAXPR10MB5069.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:102:214::20) by AM7PR10MB3976.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:140::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.40; Thu, 28 Mar 2024 21:57:14 +0000 Received: from PAXPR10MB5069.EURPRD10.PROD.OUTLOOK.COM ([fe80::4b93:d3be:417c:b874]) by PAXPR10MB5069.EURPRD10.PROD.OUTLOOK.COM ([fe80::4b93:d3be:417c:b874%5]) with mapi id 15.20.7409.039; Thu, 28 Mar 2024 21:57:14 +0000 Message-ID: Date: Thu, 28 Mar 2024 22:57:12 +0100 User-Agent: Mozilla Thunderbird Subject: MFPS 2024: Extended deadline References: <3a7cce98-427a-4c79-9d92-e86c7aa4d018@fmf.uni-lj.si> From: Alex Simpson To: categories@mq.edu.au In-Reply-To: <3a7cce98-427a-4c79-9d92-e86c7aa4d018@fmf.uni-lj.si> X-Forwarded-Message-Id: <3a7cce98-427a-4c79-9d92-e86c7aa4d018@fmf.uni-lj.si> X-ClientProxiedBy: FR0P281CA0074.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:1e::20) To PAXPR10MB5069.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:102:214::20) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: PAXPR10MB5069:EE_|AM7PR10MB3976:EE_|ML1PEPF0000F178:EE_|SYBPR01MB6511:EE_|ME3PR01MB8180:EE_|MEYPR01MB6728:EE_ X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: za7y4u9XNdpL1aA3khsU9kPhHio4bx3qJYZ0RfQ7vPn/YmSmLIEgcg/ExLeODFF4PEnlumEPsczzakqnsLnIoDMDJ3fUJR9pyAHQkhPh6x5r+rm/UxvvQe/Yy6nXM7lGh+wVslOgzesVk7F6DLY6L0yVNI9HaXswqjZoHymSYhofF+/WiBWJtNaul+3PykEpNDWnJFG9fRXhBXWDh88Yu3Nf919Xgm99MCIGieYDeElaAbG4eVM29F7BypGhIgaBxWZuZB0OoLl41hsubOixeZ6EH8wy3K7MrXyWx8ygqsiMOvuy4eTgiIcdekEW2bUZVhvF9XG9NGu9tCGOr8t9V1yrJJdxXMFsWwKA4DpbKRtpdNBmD0F9y6G4n509jR4xVd+wQWpb7VbtQQkysARLy/H/C0V1XUhFkv+g8kuDJ2Shu2iP0LPsqiY86nOPrdTe+NULaDRbRqQY0nPny1UP4CQ7LYhVVEwTvpr9978hc6mLe9pk+2RkaOQHfW9O9WFFbVc0frcd38Jo/St1cn+ADUiOg0a6m9t36XfJeXXz0etian3pZjy5XHmTSPpQSyLIQ3MWTRoKhOh2ZwsOKopU+g+vNGbykpjkFWdWCJAMOQs= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PAXPR10MB5069.EURPRD10.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(1800799015)(366007)(376005);DIR:OUT;SFP:1102 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM7PR10MB3976 Authentication-Results-Original: relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=fmf.uni-lj.si header.s=selector1 header.b="n5FQ/r9S"; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=pass (policy=none) header.from=fmf.uni-lj.si; spf=pass (relay.mimecast.com: domain of alex.simpson@fmf.uni-lj.si designates 40.107.104.120 as permitted sender) smtp.mailfrom=alex.simpson@fmf.uni-lj.si 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=true;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=_12403290857230081" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.104.120];domain=EUR03-DBA-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.104.120];domain=EUR03-DBA-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ML1PEPF0000F178.ausprd01.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 2a767bc8-063c-4602-4e9e-08dc4f720def X-Moderation-Data: 3/28/2024 10:10:53 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 2wOvG9iju0tVLs/5o611j8HG//X2WIrwMRqIzrjqAuEnuhR9TjkymHMyEEnGKn/Z9I7wXl6jRpx5fbL6WuYGBhQNy0TDQoh0yJYrx5wJMtHrAOnwhy/Vne9dnUZbneX+nPXb+Bqa/Zmqf4zTbSIZS7nLXtsmjn5pI6ctaxXe25lFDY4hsXn0XGxqpAi4HpZ0XufF8mrFBfuzS61BueykkvCNzicvkSKTYfHPToaUvUR/k06MhoU/zx0MW1u0O6+/97PfepaCsLJOtJhoJd63TZU/+FLGaIgbUp5py9sPd+fPe6XGpHi+xyhT21GUDxMLE2lJiCOXxEugLvLXKGQA6M7rlx1g/VXRG7E5oF2FzJJSBjyYsr9nCVqpPpNc7y5X5PuKbUVQ8BvjWRBXdHDbTVouBTXuMbpClqKTJkoQqWrJVKK33VtdJv4FqzxH65vtosvXQBihYZ2GrBUy23lLtML4KUl9i9PRk2PwieduPY+K8ZN1FMTmHEOTnZyc58gZzhZoymZs0cOjNDhizA+sltSmd6P1Ykiw9y2+rmT0I06TqWlj5ScsdWsbE376eYlFDLoHneWTAtduLqU/Q6QdWBLdkHDZ5PCXg+5o/paMyKDJ/DJseVRtCYxkyNMiScKgwEuseXHVfymJ9QFriGyy0QZ9fUyhVlKX70jWhTUw9/xUbH9vD2d6nob831p4X8Z94QNCYTIryyke0SlJ2AGN5QQAT+myN/dlGvsWsKa+zSBfE98+qLKDOZljS3Qdkeo8ymCObodW+fpOMaDZFK7+Y4GJ2gRDey/J/G/MRDxYJds= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:IE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:EUR03-DBA-obe.outbound.protection.outlook.com;PTR:mail-dbaeur03on2120.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(7416005)(82310400014)(376005)(32650700005)(35950700004)(1800799015)(48200799009)(32820700001)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2a767bc8-063c-4602-4e9e-08dc4f720def X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F178.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Mar 2024 22:10:54.9477 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 5/RrWEmJDteHOo7mXM9sjYQOMyvIAg0Hk+MgVRBIogBlgQ2kuBIlF7k6cyHgTMVJbjb4DRsT8jXlmuE9y4CpZBRm08BESd7fHZ0xUeeM8UbTU5wDjc886UON7qcVIIuzoh41XYTujZcIvhDfISovv5Sv2dkbbvhQ6Ojgh/mZ1GJbwtJXfqXpzfW85Q0jpyN/ X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6728 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?YVUreS9GaEpRWUw3OFNHK1VIaXp2Lzh2MVlFVHhPOWp5QVU2ZlZYWURGR0Vq?= =?utf-8?B?ZkRwdTVBMU0zRWRLTkxORldyMEdmb2ViUm9DNnlNZldhNWlSaVZKSmM1L3J2?= =?utf-8?B?dm9DOUlNSHNmaGNid1lhY2xISk43a0ZhVnRnR2ZHb3o2UHoxT2M0NThyNm5z?= =?utf-8?B?d0c1QkloODVBRFlOdFMrZDZST2pUbTJ6L3BDTnd0eFBFMjRpZ1plSE1XUDRq?= =?utf-8?B?YWZPMGNlZk5HdENnM2psRHNNTUhRMWdjUEIyT0JBaTljOWRWSzNJeXZ2eTFk?= =?utf-8?B?MkxkYWJla3puZkdnTkFudzhpRWh6K1kxZlo1Q1J2YXlGbENBZ293ZWVubkNk?= =?utf-8?B?RzhNdzlad0tLQk5jR0hTVUU4cTZLMHNSdEZjYkVOQlRpQ2h4LzdjYXlLWVI2?= =?utf-8?B?M2oza244dzFLSUUwZDBXYVRvdDFQcTJzOW9ySHpBSXBhSTBpZE40WHR2dld0?= =?utf-8?B?dnRZVkIrcGZyM0xwcG9BN3BEQ3dQR01Qb1d0Y0hrUFVUOFhQQ1lHTEE5MTho?= =?utf-8?B?K3k5ZC9RTVREU1NiMS9WbFVxTlg5TWQ1UEdjcHlLK0FFdWZ4RVR5RXVjTVBo?= =?utf-8?B?YzVhdGNtRFc5am1vMG0xSmNKNWg3aXlEZllsN0dGY0JLQ1JiYjhrcURQZFpj?= =?utf-8?B?eFk2KytyZGVYSW1JS2dMSVR6NkxpUEp0ZE55VkNUdXdyUkpUeG83Q3duZDZ6?= =?utf-8?B?cUdhL0RuNVQ5aUo2dWJONS9iNWlNZ0U4cjFGZGtVMG9IOTc3QmEya01id3hp?= =?utf-8?B?SG1QZnpLTU1QcU1iVFlUa3dqd2FwMzh6dGdQdXc1OG1YZzV0WFdLdlVpc0pH?= =?utf-8?B?TmJONDUzYnRVSGNYOVlJRW91RXY4UGRLWjJEdkwrdEtvRm1UNm1xQlpDSFp6?= =?utf-8?B?MXg5MklwWlZybWcxYndEZENoTDg0anZud05ySVBGa094aVdZTHZOSWpnUjdX?= =?utf-8?B?aHNnMklWMGl5NDcvYkc0VnJkMk43SHVRQ29KUUpPdjBWV2J6LzBoNi9jcVhr?= =?utf-8?B?Y003QnI0eG9wb2VINDFPZmZYZE5OVzV4ZkZ4WVBhR0RKdi9ORlJNZjl1aE90?= =?utf-8?B?RGNPbTk5UkpUdDhCNGpSY1Vtd002NEFkbnlJam80ajNBR2ZwbndzbUFxdkZV?= =?utf-8?B?enlyVjhBTENmUEIyRTgrOU4rb0xucWpuU01oenhyV1FjSUFaSEd1ekZMUnpZ?= =?utf-8?B?Zk5JeHJQWkRmWmJ0NWUxeG1saVFYb2NtVERvUUYvb1pTRUE2Tzd1N2lwMmxS?= =?utf-8?B?VXhoWXUwSVUwczNUSklKUitjQ2xuZHlHTmtJanZiMk1tdk00OUdiYVJES3VX?= =?utf-8?B?ZGtwbHF3NHJENW5nRGp0ak1hRHRhRzM5NE42TW1BTGZ0a3ArU3FEN2RVTUxF?= =?utf-8?B?bGxJWDh4TURDelAxRW5kc3FtdnBpd3h0cTZwb09TamxRR0h5RTNlN2hySFdl?= =?utf-8?B?c1hhUHlGWGtxUTIwTXVBV3BTYkxSaWxwUWk5ek1xYktydU9SNStZT1YzL2FU?= =?utf-8?B?dmhHQ3NPbWdyd1pwMERiemNoM2IyRko1eEd1eXlPaHIvc3g5aStLN2xvV1l5?= =?utf-8?B?MEJuQ3ZwRVlhaHVkMXZCbTMxczRZK3pJOGlCSGhvYUR6RDRnb3BKUWVEa2t1?= =?utf-8?B?KzlyTmZ6T0lUL3oxc2srRWkrSTZadTJCdG0yQXRIcGg4dDFOb3JLRDUraFdk?= =?utf-8?B?TDYxNDhINmllb25zNnJ1OGx1RkRNZC9oSWNEOFMyZ2pOQU9FcTFqWG4vTTRH?= =?utf-8?B?WEFHbUJrMGNqaWNhRmdRYnVhSWZzdlJJV3Y4OHBsa2JEaDlOb1FYQWtEcVF0?= =?utf-8?B?VkdlQkw4VlFUdTZldWtTS2FDVmFiZUMvUTRuYm52aHhrTnZNcVZNZ0dXZTZ3?= =?utf-8?B?US82ZU5yUmwxSjRzWlgvWlBQcXM4aU1OS0xLeGx3bFJCcXNFb3VmbkRzRGxm?= =?utf-8?Q?hU5HDcz0YlVj8KuttYKIwYFX+f4JPbE6?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403290857230081 Content-Language: en-US Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable Having received a number of requests to extend the deadline, we are announcing a general 1-week extension to the submission deadline for MFPS 2024, for which an updated cfp (including new information on special-session speakers appears below). The new deadline is April 5 AoE. However, we request authors to submit a title and text abstract by the original deadline of 29 March AoE. --- MFPS XL: Mathematical Foundations of Programming Semantics Call for papers The 40th Conference on the Mathematical Foundations of Programming Semantics (MFPS XL) takes place at the University of Oxford, UK, from 19-21 June 2024, where it will be colocated with the 7th International Conference on Applied Category Theory (ACT 2024). MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in computer science and mathematics can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. Conference home page: https://oxford24.github.io/ SUBMISSION Important dates: April 5 (AoE): paper submission (submission of title and text abstract is requested by March 29 AoE) May 3: notification of authors June 3: conference papers ready June 19=E2=80=9321: conference Submissions Submissions should be prepared using the MFPS macros https://mfpsconf.org/?page_id=3D309 in the form of a PDF file. Submission is via EasyChair: https://easychair.org/conferences/?conf=3Dmfps2024 For the first time at MFPS, there are two submission categories: - regular research contributions, - early announcements. Early announcements are a new feature at MFPS XL. They offer a forum for the early presentation of new scientific contributions without the accompanying technical justification that is expected in a regular research contribution. The page limit for both kinds of submission is 15 pages, excluding bibliography and appendices. However, it is expected that early announcements will typically be much shorter, taking only as many pages as is required to present the announced contribution. Early announcements will be refereed primarily on their potential interest-value to the MFPS audience. Early announcements should be identified by clearly labelling them with "Early Announcement" at the start of the pdf document. Early announcements will be given equal presentation time to regular research contributions at the conference. Proceedings A preliminary proceedings will be distributed at the meeting, containing both regular research contributions and early announcements. Final proceedings, containing regular research contributions only, will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. It is planned to publish a journal special issue for selected papers from MFPS XL. INVITED SPEAKERS There will be 4 invited speakers. Philippa Gardner (Imperial College, London, UK) Ohad Kammar (University of Edinburgh, UK) Catuscia Palamidessi (INRIA Saclay & LIX, France) Andrew Pittsm(University of Cambridge Emeritus, joint ACT/MFPS plenary speaker) SPECIAL SESSIONS There will be 3 special sessions. - Special session in memory of Philip Scott (joint session with ACT, organiser Rick Blute). Speakers: - Rick Blute - Samson Abramsky - Robin Cockett - Mark Lawson - Special session on the semantics of non-wellfounded and circular proofs (organisers Anupam Das and Abhishek De). Speakers: - Gianluca Curzi - Farzaneh Derakhshan - Farzad Jafarrahmani - Special session associated with the invited talk of Philippa Gardner (organiser Philippa Gardner) PROGRAMME COMMITTEE: Danel Ahman (University of Tartu) Amal Ahmed (Northeastern University) Sandra Alves (University of Porto) Paolo Baldan (Universit=C3=A0 di Padova) Andrej Bauer (University of Ljubljana) Lars Birkedal (Aarhus University) Steve Brookes (Carnegie Mellon University) Valentina Castiglioni (Eindhoven University of Technology) Liron Cohen (Ben-Gurion University) Rapha=C3=ABlle Crubill=C3=A9 (IRIF) Valeria De Paiva (Topos Institute, co-chair) Masahito Hasegawa (Kyoto University) Justin Hsu (Cornell University) Patricia Johann (Appalachian State University) Achim Jung (University of Birmingham) Marie Kerjean (CNRS, LIPN, Universit=C3=A9 Sorbonne Paris Nord) Robbert Krebbers (Radboud University) Paul Levy (University of Birmingham) Michael Mislove (Tulane University) Daniele Nantes-Sobrinho (Imperial College London) Alex Simpson (University of Ljubljana, co-chair) Christine Tasson (Sorbonne Universit=C3=A9) LOCAL ORGANISER: Sam Staton 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=_12403290857230081 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Having received a number of requests to extend the deadline, we are
announcing a general 1-week extension to the submission deadline for
MFPS 2024, for which an updated cfp (including new information on
special-session speakers appears below). The new deadline is April 5
AoE. However, we request authors to submit a title and text abstract by the original deadline of 29 March AoE.

---

MFPS XL: Mathematical Foundations of Programming Semantics

Call for papers

The 40th Conference on the Mathematical Foundations of Programming
Semantics (MFPS XL) takes place at the University of Oxford, UK, from
19-21 June 2024, where it will be colocated with the 7th International
Conference on Applied Category Theory (ACT 2024).

MFPS conferences are dedicated to the areas of mathematics, logic, and
computer science that are related to models of computation in general,
and to semantics of programming languages in particular. This is a forum where researchers in computer science and mathematics can meet and
exchange ideas. The participation of researchers in neighbouring areas
is strongly encouraged.

Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process
calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game
semantics; lambda calculus; programming-language theory; quantum
computation; security; topological models; logic; type systems; type
theory. We also welcome contributions that address applications of
semantics to novel areas such as complex systems, markets, and networks, for example.

Conference home page: https://oxford24.github.io/

SUBMISSION

Important dates:

April 5 (AoE): paper submission
(submission of title and text abstract is requested by March 29 AoE)
May 3: notification of authors
June 3: conference papers ready
June 19=E2=80=9321: conference

Submissions

Submissions should be prepared using the MFPS macros
https://mfpsconf.org/?page_id=3D309
in the form of a PDF file. Submission is via EasyChair:
https://easychair.org/conferences/?conf=3Dmfps2024

For the first time at MFPS, there are two submission categories:

- regular research contributions,

- early announcements.

Early announcements are a new feature at MFPS XL. They offer a forum for the early presentation of new scientific contributions without the
accompanying technical justification that is expected in a regular
research contribution.

The page limit for both kinds of submission is 15 pages, excluding
bibliography and appendices. However, it is expected that early
announcements will typically be much shorter, taking only as many pages as is required to present the announced contribution. Early
announcements will be refereed primarily on their potential
interest-value to the MFPS audience. Early announcements should be
identified by clearly labelling them with "Early Announcement" at= the
start of the pdf document.

Early announcements will be given equal presentation time to regular
research contributions at the conference.

Proceedings

A preliminary proceedings will be distributed at the meeting, containing both regular research contributions and early announcements.

Final proceedings, containing regular research contributions only, will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This open-access series is hosted by Episciences.org
as an overlay for papers published by the CORR arXiv or HAL.

It is planned to publish a journal special issue for selected papers
from MFPS XL.


INVITED SPEAKERS

There will be 4 invited speakers.

Philippa Gardner (Imperial College, London, UK)
Ohad Kammar (University of Edinburgh, UK)
Catuscia Palamidessi (INRIA Saclay & LIX, France)
Andrew Pittsm(University of Cambridge Emeritus, joint ACT/MFPS plenary
speaker)

SPECIAL SESSIONS

There will be 3 special sessions.

- Special session in memory of Philip Scott (joint session with ACT,
organiser Rick Blute). Speakers:
- Rick Blute
- Samson Abramsky
- Robin Cockett
- Mark Lawson
- Special session on the semantics of non-wellfounded and circular
proofs (organisers Anupam Das and Abhishek De). Speakers:
- Gianluca Curzi
- Farzaneh Derakhshan
- Farzad Jafarrahmani
- Special session associated with the invited talk of Philippa Gardner
(organiser Philippa Gardner)

PROGRAMME COMMITTEE:

Danel Ahman (University of Tartu)
Amal Ahmed (Northeastern University)
Sandra Alves (University of Porto)
Paolo Baldan (Universit=C3=A0 di Padova)
Andrej Bauer (University of Ljubljana)
Lars Birkedal (Aarhus University)
Steve Brookes (Carnegie Mellon University)
Valentina Castiglioni (Eindhoven University of Technology)
Liron Cohen (Ben-Gurion University)
Rapha=C3=ABlle Crubill=C3=A9 (IRIF)
Valeria De Paiva (Topos Institute, co-chair)
Masahito Hasegawa (Kyoto University)
Justin Hsu (Cornell University)
Patricia Johann (Appalachian State University)
Achim Jung (University of Birmingham)
Marie Kerjean (CNRS, LIPN, Universit=C3=A9 Sorbonne Paris Nord)
Robbert Krebbers (Radboud University)
Paul Levy (University of Birmingham)
Michael Mislove (Tulane University)
Daniele Nantes-Sobrinho (Imperial College London)
Alex Simpson (University of Ljubljana, co-chair)
Christine Tasson (Sorbonne Universit=C3=A9)

LOCAL ORGANISER:

Sam Staton


 
 
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=_12403290857230081--