From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12286 invoked from network); 14 Nov 2023 20:20:01 -0000 Received: from mail-sy4aus01on2126.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.126) by inbox.vuxu.org with ESMTPUTF8; 14 Nov 2023 20:20:01 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=n1aaelNL5DN9DTbO4DS6IqTxRnXR9AQQZhbe/1pERPankU/jAXxLNtKv06dc5ehqfD+cMOagAxhL1x3euwOUo0Zfy0OfOEdncoDtjTkflTYqFuKTi8ebwp8aEvKKYiGHDHZBDtD+7/vXzY3poTmZfQrt6qQDo9ZheSBE4HY+qDLTd2G3zkafttcsnMrAHZVe96a7qoaz84PCENu5yB6CbdgsxqtABhgAAXhuhv0az8qX0yvjVNxK4giA8yoOfcu4uhX4UTN1pnG6JuHfIkAGRCYlOC4Od8tRQLCDakKBAp4Qkd+r+C0Zp5XnSgzwO1w3tawduE+HZCXZDdSpmW8CYg== 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=Y2hyynU6a6DfbHKAWHxbNWGd0IW3Uto9K8uI94J6NKQ=; b=a+hNBKHDIjyoKB/ObdkB6N5MAWynGabsLKnVknZ9bvfTlTv2qu4NCu4kmr5PNmMtvr5FNEpsO2nMo1Ypt3xeOgGpdHFPkMJyJkmjKUKPJWR6oxyQasVM6jG+A10NNFd0amF8B9dAPKWYiFfH5kBOBtZlG5U5vl85ew5vFU89V1zaK9it0OBC+THGxAo+8pv0jahPI5NkpfaNUPwOdhOS6k5Z8NGxQ20iieWq83pg2wCgfAIHWMKvqsEGoPgYyp8JwtjZ+BFHndknbACFO7XE5txwVDMpOZGaYW7OZwoglT6qL6Dk3VZK1basTsU60ywNMEa6nFl3dq/lPbVTljE+Mg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 131.188.11.21) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=fau.de; dmarc=none action=none header.from=fau.de; dkim=fail (body hash did not verify) header.d=fau.de; 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=Y2hyynU6a6DfbHKAWHxbNWGd0IW3Uto9K8uI94J6NKQ=; b=QdulDweoF5bnhqn0+snMSzUWBithBR6UvFwgk02ue4MamPGroZQx/lglRB6RNFZGDDw4N87n+Q2oUVCb0egB9qiDOjzSunj/M78ckSsixD2Qyt3ZPtr+ZVWrWmzFt9HGECQyX4+gy8xruxljDUyOczJSkkmodSvrfpa+jW5ChuI/DAAeZgOOlxnTBIVg/WF+BgARLbU+6ROXS5AF1VO6/ogG0Fsi3bBnRPv0HcPYHkvgfeNc7v3DATYiL5Lj7s/w+ytcpF1+y0RYM96yeQwrr0/rYjb1yHcHGj4yV1fK9uSZXmFb4MtqguSFWNElcpYS2e7roHs2kFUCD10a4Wjjrg== Received: from SmtpServer.Submit by MEYPR01MB7069 with Microsoft SMTP Server id 15.20.7002.17; Tue, 14 Nov 2023 20:19:57 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=n/sev8CftkzscDQ9saQiZOzsyRhmzZWQ9S6gYuSb4STq/Yzu1/wYfpFsCf16zrN5VOjEqHb29DHMdlSO7LmAxu16x6If+2o/H77WuLLB+9ZEuai8g2EBPEakMmdGZC678i7iXl5DForRZmvOuDK4PRdjagcCte4dFWOt/Ob4wiWXnM7/8d9FGNdzkJe7DMd2Za3NrDlNa0uEbBEeem858LAE3VDmm0fxtAB2ZND2mGbbQuGv6LcObt1W/GL1B1bFx/GUuWbVM4MFRZ8wICNcwaDfaiYlqGDJJGQpomzpgtcBXpSSoi5pYS4OfKUNsEBbiKcrER9pDq2BHzRbXO1UDg== 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=BxsfDQvGf4ohSMeSizrvgzhDEzn9weg+50modummLw8=; b=QYeMIW//oAjJhCNJdZExD42spa0Dlfxs4PtaUhXYzduZJ9rW1rTEUtagbfMQj7AExFkvS8zsEj9l8zDz+nRApV0uPUfsOSHtGMqLYICIxap62hoqfSXJIHdvTnCJovg6iktVYV7eu7fuZqPVr+FcYAeoqle8YIl7TKv+yxfeSBB/VQavsi0MVmgIygcq+lnnJ817m//RS/Jd76kI8648qAELevdhiIrDiHxz/XoPqIQ0rlsvS2vxokcATPtG9Sg190eBEiPn5fG+XW6j7/ERnqwcbFRta3USc0In545wkvTM7wGuHypZfoqnkYJ1lAFv4zGsm1ypxM/0RXvRn+5qFA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 131.188.11.21) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=fau.de; dmarc=none action=none header.from=fau.de; dkim=fail (body hash did not verify) header.d=fau.de; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB8375.ausprd01.prod.outlook.com (2603:10c6:220:18a::5) by MEYPR01MB7069.ausprd01.prod.outlook.com (2603:10c6:220:140::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17; Tue, 14 Nov 2023 20:19:52 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by ME3PR01MB8375.ausprd01.prod.outlook.com (2603:10c6:220:18a::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17; Tue, 14 Nov 2023 20:19:49 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98%5]) with mapi id 15.20.7002.015; Tue, 14 Nov 2023 20:19:48 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=H9AQS81VB9pR//ubnHBzxGckJKcDKXpnT3pID8xHW5RPJytqg1o9FWQ0fNzwDDLQd5mBkcTdZCt+FoJmjOcuhr0aZfeukZCqzOPTNBDKPvSDfMLv6NkiPopyEbhpUBga+48VZem62nOnVyewiz3ctj2ljG7fdE/1bEjnpCtnsFjzzy+BRSsiPBfRpqetPETA0gISvFag7CAgBu+dsyIXsGObvV01tlVjcKAIN9TQjENM5xZ6u8OYdBC0MKBS7gVHxVmeQI/5caK4dANcEjx4Yw7g/Q+vi4c6pKA95EfOGxl2x/4Mqv4I7ECxth11JJ2zZIMFGqdy0A+CN4aoqg4MwQ== 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=BxsfDQvGf4ohSMeSizrvgzhDEzn9weg+50modummLw8=; b=Ttb885K7NHj//HgJWHCAxVY/ut7awuwpR61hwhJ8a9nxmLwa4oRlAHgU19HzLAZAurEllyD6tZdsDvr0wCiZFUvoekRirkdTZJyHcq9Rh/8iC9g11uBEVvsllPYRs4ebleeKGxNhxRmjIgpDxWQhz6eT/6aFhm+4bOQNH3ANQmhNcUyuQO9CNtOE4wQsBeTFdhMfvR7bvpmDoGbYmaOJwy6ycfcON/XktkBQtEhebkqOxAtau5SOxnHtV+FMmyK9N9S6D9mgQHn3AHL2OxDZqWr+ITrjyZjLaw1CbnxsWZlDqN04PIOyOHxoKW949/4r9PuavAuJcStpPlKBF9hEgQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=temperror (sender ip is 131.188.11.21) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=fau.de; dmarc=none action=none header.from=fau.de; dkim=fail (body hash did not verify) header.d=fau.de; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01CA0058.ausprd01.prod.outlook.com (2603:10c6:10:2::22) by MEWPR01MB9225.ausprd01.prod.outlook.com (2603:10c6:220:1fc::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17; Tue, 14 Nov 2023 16:49:50 +0000 Received: from SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:2:cafe::bc) by SYBPR01CA0058.outlook.office365.com (2603:10c6:10:2::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17 via Frontend Transport; Tue, 14 Nov 2023 16:49:50 +0000 Authentication-Results: spf=temperror (sender IP is 131.188.11.21) smtp.mailfrom=fau.de; dkim=fail (body hash did not verify) header.d=fau.de;dmarc=none action=none header.from=fau.de; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of fau.de: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.22) by SY4AUS01FT003.mail.protection.outlook.com (10.114.156.154) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17 via Frontend Transport; Tue, 14 Nov 2023 16:49:48 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699980588; 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=BxsfDQvGf4ohSMeSizrvgzhDEzn9weg+50modummLw8=; b=T/Ku/z632GxIUXB3T5CPL2IQvCIs0HaKalFEl/yEdz5EcH/z7raKBX6B7BSTiptF9gOIpz YnIhBH2a+yFouSGRcYshrhi51qLH2Wv0M/E2TjW+2ZDy8FMS/nyMeQXALjryH8dvqvNxOn 1Fu3FhOnMs9CwwomeNqyL0oXj54RK7POGTRMpgCjkKqsrt8kGtPUy3oOOGyjSA0ctODDS4 2e+HAgI1uCE+JM5ygvMsXLrpz1ZL98Y5/BdMdMVGQSxf/y/O9xpC+1w6WwIUbCmSG7qoek qpF79a8hIB6IonDC+Uphx/HgDto1J7i1GTWuIj039+1RTaTWH8kllYas5f5H7A== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1699980588; a=rsa-sha256; cv=none; b=J2Yn61Vs3aAO1LQ/FtcvPhL/5HK0SzzphA44LBvdJdzB2KoogxTmn8sIbxO33fi4coYBba J6j0/mw5+VQYZHNclCnCv61vhd1f1SJNe1Ty5KtpmHG3KcxC5cT/1jKAm+pbT8mZZkgIKc T1uqVOXieNMagjk2sMNFgCtCLUKpKNnmit3EdIZDSue71aDul6JgkFrlhmmlR5GnaOzz0v jWboezTsbVUaJkGcq21tt3iwhoUTCPPY+EltH+nSyyEZDjhgdNeQMXRX411hLZHqs/6HAK +nZHkSRXlio8JbIaek9V7AAwFEGebF5jpXHce4rhyEWnj7bMIa7UCQzOCj8XFg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=fau.de header.s=fau-2021 header.b="Cp/pkmbE"; dmarc=none; spf=pass (relay.mimecast.com: domain of henning.urbat@fau.de designates 131.188.11.21 as permitted sender) smtp.mailfrom=henning.urbat@fau.de Received: from mx-rz-2.rrze.uni-erlangen.de (mx-rz-2.rrze.uni-erlangen.de [131.188.11.21]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-3-0-R6jxuQNKKiNNI6X3--3A-1; Wed, 15 Nov 2023 03:49:43 +1100 X-MC-Unique: 0-R6jxuQNKKiNNI6X3--3A-1 Received: from mx-rz-smart.rrze.uni-erlangen.de (mx-rz-smart.rrze.uni-erlangen.de [IPv6:2001:638:a000:1025::1e]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx-rz-2.rrze.uni-erlangen.de (Postfix) with ESMTPS id 4SVBtp4Sk0zPnys for ; Tue, 14 Nov 2023 17:43:14 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fau.de; s=fau-2021; t=1699980194; bh=1CThfxd8tklKo7J+71kgRc8rKwaVXu6DhiX3Tkcq5Cg=; h=Date:Subject:References:To:From:In-Reply-To:From:To:CC:Subject; b=Cp/pkmbEif4RjKPIQT+EgRnFMIGmK3fNtsBBWVgCoFys4wnPbEjT/zEdb25sq6KSB xvuU4AiZabhjugZCL2kPWNfEVa02EpkFVq4HFcLCXyonUiEvZk+xobojdEsjFUW1IQ vQHBuDdSQQACS+lxmFhuFqmeER9Bfd5XdlcactHcHyPOnCMyL9mgC+yMcU9kD7iSlt XarjTjy/ioMwBQ+1OeIcN4tgYzrFI9uI/TcBmbHgzAueDg2n34FsxLCWNDepscEk36 jOCk1CH7Sl5+zHE+d/R6uhg7eCqCkzDrmsPxfVGvVDGdNWs2UDRtif59IKChs4vcjx ddLHwHDWYABaQ== X-Virus-Scanned: amavisd-new at boeck1.rrze.uni-erlangen.de (RRZE) X-RRZE-Flag: Not-Spam X-RRZE-Submit-IP: 10.188.48.90 Received: from [10.188.48.90] (faui8290.informatik.uni-erlangen.de [10.188.48.90]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: U2FsdGVkX18cnK6XE/26IvofvsWtoktTFuSJxTIGfZI=) by smtp-auth.uni-erlangen.de (Postfix) with ESMTPSA id 4SVBtl664kzPq1p for ; Tue, 14 Nov 2023 17:43:11 +0100 (CET) Message-ID: <9210c433-e393-4292-882c-d297f0152f9a@fau.de> Date: Tue, 14 Nov 2023 17:43:30 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers References: <81f8484c-8d29-4441-a8ed-dab26ca9ba9e@fau.de> To: categories@mq.edu.au From: Henning Urbat In-Reply-To: <81f8484c-8d29-4441-a8ed-dab26ca9ba9e@fau.de> X-Forwarded-Message-Id: <81f8484c-8d29-4441-a8ed-dab26ca9ba9e@fau.de> Authentication-Results-Original: relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=fau.de header.s=fau-2021 header.b="Cp/pkmbE"; dmarc=none; spf=pass (relay.mimecast.com: domain of henning.urbat@fau.de designates 131.188.11.21 as permitted sender) smtp.mailfrom=henning.urbat@fau.de X-Mimecast-Spam-Score: 1 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12311150349460071" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[131.188.11.21];domain=mx-rz-2.rrze.uni-erlangen.de X-MS-Exchange-ExternalOriginalInternetSender: ip=[131.188.11.21];domain=mx-rz-2.rrze.uni-erlangen.de X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT003:EE_|MEWPR01MB9225:EE_|ME3PR01MB8375:EE_|MEYPR01MB7069:EE_ X-MS-Office365-Filtering-Correlation-Id: fc2c8113-6e5e-4aec-f04b-08dbe531b6eb X-Moderation-Data: 11/14/2023 8:19:46 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: =?utf-8?B?cGpPMmJhZzVpMExzdnpxVUViRkJGdnNRQmVLcXMwU29ad2RiMUJaZmIzSmFm?= =?utf-8?B?aUhFWStDaEU5MXhiL2dPTlNJWmVvSi9Lc3RISTFVWHdGaXNRekhjT2poRncv?= =?utf-8?B?ZFp1WTNVRm9LMlREOUtmQzNBR0xSb1lpQTk5Nk5rWlpOM2RlcmcyRldFV09z?= =?utf-8?B?RVV3Vi9Sc2xVM21raWlIeTlhSENiRVkzaXhYbWpwWWtRczUrbHdDR2R4SnpI?= =?utf-8?B?UlFNV3MvYUxhUU42bXMzcnNYZm9Mak9RQ09yWmNWbUJkcWRGcll2ZTFUc1Zr?= =?utf-8?B?Tmw0cjFKRUprUWNPWHFQUDFjN01YZ0owTXFId3JQN1ZNZVFENlFNcDA0NE9W?= =?utf-8?B?L3NpMERPWUNyOEZud2RucUcxTkpQRlQwSFlLSmJxUXpxYnhPUWdJQnp2cEFq?= =?utf-8?B?aEFabG1lOWg5ZEF1VjIzeWNnWWpYVGtoWEw3dFZEaHdrZ0ZJVEpFNU90RTFm?= =?utf-8?B?RlZlREd5enZveXFmc3pVMm1Yd05CMk1scmY1TTRzRkxWcE5BSXhwWGFHZjFM?= =?utf-8?B?aEp5eS8yTGlZZTRMZFdnU2NZMm9jWUhjY2VOc1JrMEUrMEFDSDZRbkN6ai9a?= =?utf-8?B?YVliU2Y0WjR6T3RFMThjVEdta0ovWjJiekp3ZmlqNGxLMWc3bGIwL3cxT3lF?= =?utf-8?B?WHJnSjJRMlVRYTRmS3M0blc1V3pyUG1INEllMURuUzJWV1hUR0MwZWRCUUk1?= =?utf-8?B?Yy9DRkVhai9XT1hPbkxoUzlvTDRualFTbFlWanZGRkN5eGRRMzIzNWVrSU1M?= =?utf-8?B?akh2LzhiRnRHT0RZVnY5bWFic3E1aEZyOTdjSjdMNm05cDVLYlc5V2NtSWFO?= =?utf-8?B?V2haZG5GK2hEOFJ5cllQc2RiNlMyQjYrZURGdzIvU1U3SFhDTVhpQ25YWEV4?= =?utf-8?B?dE5tMnQ2ZWkxVjBKUmthL3d4SFYyQjZaSTBsd09xSlYyS094blBJUlhSNTFv?= =?utf-8?B?UmtHMllHdjJteWovVjd3cDdyYjFsU3VCdFB2Ti90OE93bFd3dHNRSzhRdkN2?= =?utf-8?B?RVJSUXFrb2hCME8rSEo3UGVJOGp4TTlFekF4Nzl5TmVJVFBKVXlhMTBweGRE?= =?utf-8?B?ek5LRmlCNXBpNklIOE9mOVpoSk90UDdMb3U5a0VFUEd5SW0xb2JEZFdPRUF6?= =?utf-8?B?WlhjNWJpb0VWYW9KRkN2cU1DYU5YRTZkQ084eklFelFaQ1hYSFgzU1hNaHEx?= =?utf-8?B?aWhkMFZmczFXajdWSStRYzZNMVgwSEJTUzB1aEp1V0xzS3ZFZytXemxwL05u?= =?utf-8?B?WmFyNTBHR21wTnlTdnBueDVtK0RXQm5CSkF3NTYxb1FvaThNN0NJRTliUVZZ?= =?utf-8?Q?L69JAhizANJyk=3D?= X-Forefront-Antispam-Report: CIP:103.96.20.22;CTRY:DE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mx-rz-2.rrze.uni-erlangen.de;PTR:mx-rz-2.rrze.uni-erlangen.de;CAT:NONE;SFS:(13230031)(4636009)(346002)(396003)(136003)(376002)(39860400002)(61400799009)(451199024)(8000799017)(82310400011)(64100799003)(48200799006)(40470700004)(40460700003)(44832011)(33964004)(63350400001)(36756003)(6266002)(336012)(66574015)(2906002)(26005)(30864003)(156005)(32850700003)(82740400003)(7636003)(7596003)(166002)(32650700002)(83380400001)(41300700001)(35950700001)(31696002)(86362001)(7276002)(7336002)(7406005)(7416002)(7366002)(2616005)(5660300002)(89122003)(40480700001)(498600001)(786003)(316002)(70586007)(88732003)(76576003)(966005)(68406010)(31686004)(6666004)(34206002)(8676002)(8936002)(225293002)(41080700001)(43740500002);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: fc2c8113-6e5e-4aec-f04b-08dbe531b6eb X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Nov 2023 20:19:48.8724 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Iwz3yFo6cAPIf7d4+/8FuejBqir+mFsCzb311s0JDYo+MtqrTA9cNSjQRN5HMp8TM/0cqpXrbhd1t+768rV3a7bGkJdig2L0rGGxv9Hum9PB1zL8Y9wcMr2faDCXK+3zl5guiBVMUSxhafdeAReBjM60kfMK6rAhUHCDKES4b3zeNyNv1IGyb9VKAD98cFGU X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB7069 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: <9210c433-e393-4292-882c-d297f0152f9a@fau.de> 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?WEM2SU9CSWh6REt4dFhYa013WEVBWEVvZmJYaGNqNnhVdHNLM0pRM3VhSGdl?= =?utf-8?B?ZktLNjVvS29ucnEvTTJPUEF2TXRmY3dIN1NjYXRqc25iZy9saWROK2FFZ1ZJ?= =?utf-8?B?ek1qMUg2LzcweEx6a2U0UEZMM0lGUTNndDJtd3ZnZzJvMnFsKytoZDBSWExW?= =?utf-8?B?VFBxM3dPbGdLbCtUUmhuSnJCSEZGNzVLYTA4bFRhZzZqU1IyZjhvS25qRnJZ?= =?utf-8?B?Z0xIY0JTcUtyM1dvb0VpVHd4bXVPN1FQU0FCQ2pHaDFWMG0xKzhjQVBVMGJZ?= =?utf-8?B?WGp2RXR1OXFkcG15WDNkMFNSQTVWOU5Fbis2SlNIQVRjdlltWW1MSWhSbFRM?= =?utf-8?B?YTd0MXpoRkxrVzczZVRaVGNMTlgwNlRDOUdQbHo4bTE5cDdmcUR3bTJvcnly?= =?utf-8?B?ZHptWEw5U1cwS21nMEluRzZOclh3MzNCaGZ6a2laT0pvQTh5cmI5MC9PR3Uy?= =?utf-8?B?VTBFdWJWZDl6TEtCNFBLM2xlcVNuOHhsYzQyWUEwdFN1TkozRlJ2WUx6d2xm?= =?utf-8?B?WnIxb0VxWlN4YnZnREw1ak9WNFM4Z1JHdkYxNzNuc0RiMmJzYlVISEFQcTNS?= =?utf-8?B?TUQ1NDlKVnhCR2c4UXZTQXlSZkhyUEwveHZsLysxamVyNmFnVDRBTS9xMjRO?= =?utf-8?B?VWxlOG5yQ0I0anRtYVhzbzNaTDM0dXdFQVEvV2NkRzMxeGVaem92VTFnUUQx?= =?utf-8?B?QU1WWjVhSnp6c1d0enZhVU5oTTJ0Nks0S2lGMEhsNzVVZTlUNjZOZ21NaE5r?= =?utf-8?B?ZHJWMDFESXBxRVRyVG03NFBpSXloaWR1UDkwa3lacXNiVktsQUdMUnBuTGlt?= =?utf-8?B?QkxEQThQeTdWMkRjcFg1V2t4MnJOTi91WDNEMzZpWGxxdGhMYTRPYU5LbGtv?= =?utf-8?B?dEtmYTd1ZmE0YW1jdHp6cHRwTjE0N2dNbHA2VU5BMGZBMVhUUWZBZGhRSk9Z?= =?utf-8?B?V3JiaCtrZHJSQmQ1R3U5NTFDS0RIeE5zUXU5NldFU3NGbWRpZUI5dzBocTdQ?= =?utf-8?B?SnFLMkVwNzhPZlF0VjdqQnhqY0VnbG93WllpblhDZmhQcjVLdGRicVEyakd0?= =?utf-8?B?Tm84cnlmUU8zNjI2QWVOc3JWd0IxUjZnY0laeUdwWm5wUXNyOEVTZGpYejI1?= =?utf-8?B?cDlZVXZ4VHU2MVlFWkl0Z09tWWZBSDdhSkp6VHFpY0RzWG9GWnNLeTNXNUV3?= =?utf-8?B?cTdJQS9YOTlWSEtRQlVEM1VYeVJ2UHk2RmRmL1UvcnZ6SXgzWHNJU3pkbjBZ?= =?utf-8?B?dVFRdEZJZVlWTkRMRHBqT01rVTV3R3hsK0JWUlB4QzRXQnpCM2kxV2tuM1Vk?= =?utf-8?B?bWRBZERWdUJVK1o4RXlXUm40SzZHZ0ZjUWQ0U3R5R2VqSzlZc2N5ODNCazQx?= =?utf-8?B?UVNUM3F4V3BYVGdVY2lhYXVRK2h0UWtBcXJzaURqYW90WE41cDc5Ly9LbWFw?= =?utf-8?B?dHFtUlVNbGgxanYvOTFOTXpMOVRHeUxUVUtzdk12OVV3b2R4cWh3OHV0M3Yv?= =?utf-8?B?TkJZdnlKM2RFYVZWc0FoaDgzTE9WdVZRbitFeDRMRDExYU16bGFuSXEvaTVy?= =?utf-8?B?QVhzeHFKOERWOEhGTWJ0RjRvWkoxbGpHa3lteUN1NVF2L1plekRGaVpZOVNJ?= =?utf-8?B?Ri9LL002a1pSejBiSDNiR1JUbTdCdHk5VDQ5SG5IS2x0VG80Zk1BL0JjdEVu?= =?utf-8?Q?Y/ac0CT7f5fqC30qssGd?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12311150349460071 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable FIRST CALL FOR PAPERS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 17th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'24) Luxembourg, 6-7 April 2024 (co-located with ETAPS 2024) https://www.coalg.org/cmcs24/ Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants In addition to presentations of contributed papers, the workshop will also include invited talks and tutorials. Venue and event --------------- CMCS '24 will be held in Luxembourg City, Luxembourg, co-located with ETAPS 2024 on 6-7 April 2024. Important dates (tentative) --------------------------- Abstract regular papers 29 January 2024 Submission regular papers 2 February 2024 Notification regular papers 5 March 2024 Final version 25 March 2024 Submission short contributions 7 March 2024 Notification short contributions 11 March 2024 Programme committee ------------------- Adriana Balan (University Politehnica of Bucharest, Romania) Harsh Beohar (University of Sheffield, United Kingdom) Marta Bilkova (Academy of Sciences of the Czech Republic) Fredrik Dahlqvist (Queen Mary University of London, United Kingdom) J=C3=A9r=C3=A9my Dubut (National Institute of Advanced Industrial Science a= nd Technology, Japan) Sebastian Enqvist (Lund University, Sweden) Richard Garner (Macquarie University, Australia) Ichiro Hasuo (National Institute of Informatics, Japan) Tobias Kapp=C3=A9 (Open University of the Netherlands and ILLC, University = of Amsterdam) Marina Lenisa (University of Udine, Italy) Larry Moss (Indiana University Bloomington, United States) Fredrik Nordvall Forsberg (University of Strathclyde, United Kingdom) Jurriaan Rot (Radboud University, The Netherlands) Matteo Sammartino (Royal Holloway University of London, United Kingdom) Pawel Sobocinski (Tallinn University of Technology, Estonia) David Spivak (Topos Institute, United States) Sam Staton (University of Oxford, United Kingdom) Tarmo Uustalu (Reykjavik University, Iceland, and Tallinn University of Technology, Estonia) Thorsten Wi=C3=9Fmann (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3= =BCrnberg, Germany) PC co-chairs -------------- Barbara K=C3=B6nig (Universit=C3=A4t Duisburg-Essen, Germany) Henning Urbat (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3=BCrnberg,= Germany) Publicity chair --------------- Thorsten Wi=C3=9Fmann (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3= =BCrnberg, Germany) Steering committee ------------------ Corina Cirstea, University of Southampton, United Kingdom Helle Hansen, University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Stefan Milius, Friedrich-Alexander Universit=C3=A4t Erlangen-N=C3=BCrnberg,= Germany Daniela Petri=C5=9Fan, IRIF, Universit=C3=A9 Paris-Cit=C3=A9, France Jurriaan Rot, Radboud University Nijmegen, The Netherlands Lutz Schr=C3=B6der, Friedrich-Alexander Universit=C3=A4t Erlangen-N=C3=BCrn= berg, Germany Alexandra Silva (chair), Cornell University, United States Fabio Zanasi (University College London, United Kingdom Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be at most 18 pages long in Springer LNCS style, excluding references. A clearly marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions must be submitted electronically as a PDF file via the Easychair system at https://easychair.org/my/conference?conf=3Dcmcs2024 The proceedings of CMCS 2024 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series (pending approval). Accepted short contributions will be bundled in a technical report. 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=_12311150349460071 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 FIRST CALL FOR PAPERS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The 17th IFIP WG 1.3 International Workshop on
Coalgebraic Methods in Computer Science (CMCS'24)
Luxembourg, 6-7 April 2024
(co-located with ETAPS 2024)
https://www.coalg.org/cmcs24/


Objectives and scope
--------------------

Established in 1998, the CMCS workshops aim to bring together
researchers with a common interest in the theory of coalgebras, their
logics, and their applications. As the workshop series strives to
maintain breadth in its scope, areas of interest include neighbouring
fields as well.

Topics of interest are the theory and applications of coalgebra and
coinductive reasoning in all research areas of Computer Science,
including (but not limited to) the following:

- set-theoretic and categorical foundations of coalgebra;
- algebra & coalgebra, (co)monads, and distributive laws;
- (modal) logic;
- automata theory and formal languages;
- coinductive definitions and proof principles (including "up-to"=
techniques)
- semantic models of computation (for programming languages, dynamical
systems,
term rewriting, etc.)
- functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing);
- formal verification and specification;
- control theory (notably discrete events and hybrid systems);
- quantum computing;
- game theory;
- implementation, tools, and proof assistants

In addition to presentations of contributed papers, the workshop will
also include invited talks and tutorials.

Venue and event
---------------
CMCS '24 will be held in Luxembourg City, Luxembourg, co-located with
ETAPS 2024 on 6-7 April 2024.

Important dates (tentative)
---------------------------
Abstract regular papers 29 January 2024
Submission regular papers 2 February 2024
Notification regular papers 5 March 2024
Final version 25 March 2024
Submission short contributions 7 March 2024
Notification short contributions 11 March 2024

Programme committee
-------------------

Adriana Balan (University Politehnica of Bucharest, Romania)
Harsh Beohar (University of Sheffield, United Kingdom)
Marta Bilkova (Academy of Sciences of the Czech Republic)
Fredrik Dahlqvist (Queen Mary University of London, United Kingdom)
J=C3=A9r=C3=A9my Dubut (National Institute of Advanced Industrial Science a= nd
Technology, Japan)
Sebastian Enqvist (Lund University, Sweden)
Richard Garner (Macquarie University, Australia)
Ichiro Hasuo (National Institute of Informatics, Japan)
Tobias Kapp=C3=A9 (Open University of the Netherlands and ILLC, University = of
Amsterdam)
Marina Lenisa (University of Udine, Italy)
Larry Moss (Indiana University Bloomington, United States)
Fredrik Nordvall Forsberg (University of Strathclyde, United Kingdom)
Jurriaan Rot (Radboud University, The Netherlands)
Matteo Sammartino (Royal Holloway University of London, United Kingdom)
Pawel Sobocinski (Tallinn University of Technology, Estonia)
David Spivak (Topos Institute, United States)
Sam Staton (University of Oxford, United Kingdom)
Tarmo Uustalu (Reykjavik University, Iceland, and Tallinn University of Technology, Estonia)
Thorsten Wi=C3=9Fmann (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3= =BCrnberg,
Germany)

PC co-chairs
--------------

Barbara K=C3=B6nig (Universit=C3=A4t Duisburg-Essen, Germany)
Henning Urbat (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3=BCrnberg,= Germany)

Publicity chair
---------------

Thorsten Wi=C3=9Fmann (Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3= =BCrnberg,
Germany)

Steering committee
------------------

Corina Cirstea, University of Southampton, United Kingdom
Helle Hansen, University of Groningen, The Netherlands
Ichiro Hasuo, National Institute of Informatics, Japan
Bart Jacobs, Radboud University Nijmegen, The Netherlands
Stefan Milius, Friedrich-Alexander Universit=C3=A4t Erlangen-N=C3=BCrnberg,= Germany
Daniela Petri=C5=9Fan, IRIF, Universit=C3=A9 Paris-Cit=C3=A9, France
Jurriaan Rot, Radboud University Nijmegen, The Netherlands
Lutz Schr=C3=B6der, Friedrich-Alexander Universit=C3=A4t Erlangen-N=C3=BCrn= berg, Germany
Alexandra Silva (chair), Cornell University, United States
Fabio Zanasi (University College London, United Kingdom

Submission guidelines
---------------------

We solicit two types of contributions: regular papers and short
contributions. Regular papers must be original, unpublished, and not
submitted for publication elsewhere. Regular papers should be at most
18 pages long in Springer LNCS style, excluding references. A clearly
marked appendix containing technical proofs can be added, but this
will not be published in the proceedings. Note that the reviewers are
not obliged to read the appendix, and the merits of the paper should
be clear from the main text.

Short contributions may describe work in progress, or summarise work
submitted to a conference or workshop elsewhere. They should be no
more than two pages including references.

Regular papers and short contributions must be submitted
electronically as a PDF file via the Easychair system at

https://easychair.org/my/conference?conf=3Dcmcs2024
The proceedings of CMCS 2024 will include all accepted regular papers
and will be published post-conference as a Springer volume in the
IFIP-LNCS series (pending approval). Accepted short contributions will
be bundled in a technical report.
 
 
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=_12311150349460071--