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.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2118.outbound.protection.outlook.com [40.107.107.118]) by inbox.vuxu.org (Postfix) with ESMTP id 47CD7217CA for ; Wed, 3 Apr 2024 22:53:56 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=KVRC5iu4hWZjub4OX1svwsjK24lo2tRhihcycWbOKYsHqe+90XYFMAI+g+3v+5+FEuf7mA8eHFdBh9YyWLUZxtYrGOszsy003iF0uNtWy8EYLuE0NafHosWv3zFRNobr/1D6k/ETtfgXt3zjCKC7e0MOZ6pVmMm9Q6b/QjsidRABGniPx3aa6LUSBJCyHXxoTFKg2V1wLQgQYRRRUme6sO+E1hCtV4x4L94vC3CqqPgbBt/CWjlCxjNeBiVdrnCdLfVervMcbPElEYeVbMI6JlhFBTOaspx8yMlrI7FgZKzx1SEfynwfeYzqXlouMBPOgdPAz/cXwFHhL8iVFcjokQ== 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=vy2JLdEO6BO0ay5/HcCFdQ12EDP+a5t4V7dc3iaw8hA=; b=OobmegIGR1ImHLsrEwtuFu5vHWjTGiFu/pwxBrBmELKyjN0fnyYomlSueNzjUsfGl6bjnPTVbv4OMx1VjdDKKjESJOcSoWF+19+HLaCuNJnm9vf7vSvhPdVlmVa0ZeAntrsMc+g6o94U8xvajpghrfxKt0aXvaN/plRkzM4wjiY01mpTgR/8E4NJBrNT4Gd+4o1GrdU4Ti3rbnnt1YdgZTAWb+LKwcvp2pR7e8PPNZZlfsJsXPskTjHf18/5lhwSn2SMMAmW+LTrFKbN3R0OdnqzQDfmNA86829dHLtSESbyDyUst0MKEMb7hvNyzCqAe3w433R29dgWC/njIfzayQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 77.75.78.210) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=seznam.cz; dmarc=fail (p=none sp=none pct=100) action=none header.from=kam.mff.cuni.cz; dkim=fail (signature did not verify) header.d=emailprofi.seznam.cz; 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=vy2JLdEO6BO0ay5/HcCFdQ12EDP+a5t4V7dc3iaw8hA=; b=RFlq25icJoRuMTU7txrEfBaR5eDdmQVotnEqg+RPs6KtM3jpeIy8AqqlnmlKexmyfWC0FDQ2HfH3h/RPFb4mWdoqcxnd1oMPweu1dBOEbCnuomegcfg+eaq5gRS/qs3YbhfJ3Cc70loXNScibF4/AeSMcUO6if5QFPXOskNzEI3ZLEK4nISJ/LVAxb4sOVD9rrbeV2MRAvx/6lG3pUq1h5lmf999EsRDO+iXgdH+qYWJAUi7Io6iML0c1PHUax3HZ3DY0bdqwRCWgyHVuB3lUOvCvgoJtBad++NuiPY7XE8S6fNpT4pdqwe8DaLCgvntnrM3ZNBfmO2smLdiSmXC4A== Received: from SmtpServer.Submit by ME3PR01MB8132 with Microsoft SMTP Server id 15.20.7409.46; Wed, 3 Apr 2024 20:53:53 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=mZxiZoi5Uxzk9op2ar2MfhpmtaRwfF6N4HLVZQPJgZl0EUG1vrLL5CWO868Sv1DrjIDa78nz1gdxYWnAXkYjjaCF8vDb4u2vqpqq/aL4CHlAw0BvjOlP9aR3o9KFAF4EG77HcRlYAlaTSAcuMESzbuWZCskVLnQsU3N665TT0e5bCu6SNEbFoMDS8nCxzCjsoMSPwdw1084SIuFABBv1QmTcd2ehbo3yTFgpV/GHVBIgsHVV5J2HLU+9Uel24AyJzykCZCwv9H98H2+c/aimZzh/vHQchjrjcnPWRUD8Ef638SpHXcd2HPTQakW9Ri1l04IQ7a7L+rGi1qJeBMx3ug== 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=/jLiTliXuKhpabrTmFzeZEGJwyUMSbIGuq1rJW2Wtgc=; b=gM0xbw+UXE6eU7k5R8+GiG2vNuOkqCNNtYm1B5RX0KBVNGz/4QKpvjUCmF7IU/CU5XmNzKw3LfjvYUZpMw5nVeiXMcqsRpcLWzqoNzVJewmF4vLLEPHZLme1my9AZYKxrQb0e9Bhe6Dug7OEcZ+K7PcMLndlYgVMc5tDg+dc1iaaSoVHfhngMq4EmMNVl5hvYavbbN20FXvtwIIN5t1D66R61LfMEr031JbPHRP01Iub/WRLnw2aWc98Mls9W+zXuY9DVwI39Zm4NddY2fn+zN2PPaq7sd7k9ahnhwGaf2/r86yh3o0iqLUy0y0FQMHbSoYLzMqJjcNIrCoKrCaIkA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 77.75.78.210) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=seznam.cz; dmarc=fail (p=none sp=none pct=100) action=none header.from=kam.mff.cuni.cz; dkim=fail (signature did not verify) header.d=emailprofi.seznam.cz; arc=pass (0 oda=0 ltdi=0 93) Received: from SY8PR01MB9096.ausprd01.prod.outlook.com (2603:10c6:10:228::20) by ME3PR01MB8132.ausprd01.prod.outlook.com (2603:10c6:220:1bb::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.46; Wed, 3 Apr 2024 20:53:47 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com (2603:10c6:220:61::15) by SY8PR01MB9096.ausprd01.prod.outlook.com (2603:10c6:10:228::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.46; Wed, 3 Apr 2024 20:53:43 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba]) by MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba%7]) with mapi id 15.20.7409.042; Wed, 3 Apr 2024 20:53:43 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=CFMkieiddC05fEtkpMrCbtfXoO4hOG85/SQP5s2pJVRSaH+Mi9o/yd12aZnvbp2qw5hAMBsSNMuO/AljAS3bkMmq36g+sTSsrmXpKK9mxGI0x3MpUU548Sw14q6CxD+IkQwemWAkpVonvD2UiVVZkzfzfCDNJ72bbU8ZCZpi3k/JpaX3lv+JDJs1W3nyJTw2UN8d2EAgdoRE88NV8j9DExVv6v8fwQpCDGkHxmZR6/w74PhoSPogPsuJ8VqX5/VdfgG4UUQXYbuJKovzYBvDbrLW2/jJYGEKvhHsd6o0ILO+Pxd8CzDsOuztistxDT+pxR1HB5VPhlKzWckw2tFZdg== 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=/jLiTliXuKhpabrTmFzeZEGJwyUMSbIGuq1rJW2Wtgc=; b=Mef2X2lDIWZUdVZxUDrf3H//UcojbI/f17/cvDpo0X3cPXRl5WrNMeIFXHAvvL3zY1GuKz1lc3xZ0ERTangrE9QrtBQN9hK6xPBnAbWog39195reGvuOPRNnpuUWZLfCJ6hp3pCVC9V8s73bVeT42UHBSsTM8JKbFpDUYXahJS1Sd9g/hptgRu33U/1giyGS3Yc8379FiaeG0tQ0h854R2EMyIyoDtyA/LPWWG12+fFlFcm50ftkXwem0e9zv2zpfv5cuLKXdi4G7VxNFRkwL0rvgxw/KZSwwXhOMiKo0fDPWoFwsfU8XCm1dcXl05oKH3ro1nPTBmoOUmdqrNFKrA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 77.75.78.210) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=seznam.cz; dmarc=fail (p=none sp=none pct=100) action=none header.from=kam.mff.cuni.cz; dkim=fail (signature did not verify) header.d=emailprofi.seznam.cz; arc=pass (0 oda=0 ltdi=0 93) Received: from SYAPR01CA0006.ausprd01.prod.outlook.com (2603:10c6:1::18) by MEYPR01MB7360.ausprd01.prod.outlook.com (2603:10c6:220:15f::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.46; Wed, 3 Apr 2024 15:08:35 +0000 Received: from SY1PEPF00005A3E.ausprd01.prod.outlook.com (2603:10c6:1:0:cafe::78) by SYAPR01CA0006.outlook.office365.com (2603:10c6:1::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.46 via Frontend Transport; Wed, 3 Apr 2024 15:08:35 +0000 Authentication-Results: spf=pass (sender IP is 77.75.78.210) smtp.mailfrom=seznam.cz; dkim=fail (signature did not verify) header.d=emailprofi.seznam.cz;dmarc=fail action=none header.from=kam.mff.cuni.cz; Received-SPF: Pass (protection.outlook.com: domain of seznam.cz designates 77.75.78.210 as permitted sender) receiver=protection.outlook.com; client-ip=77.75.78.210; helo=mxd.seznam.cz; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY1PEPF00005A3E.mail.protection.outlook.com (10.167.241.37) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7452.22 via Frontend Transport; Wed, 3 Apr 2024 15:08:34 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1712156914; 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=/jLiTliXuKhpabrTmFzeZEGJwyUMSbIGuq1rJW2Wtgc=; b=YYwfloftgXtpLy5qZqn53ZA3+1qySJZdNpJ9TE0KZyVLrRDS6AH04u94BvH0MAjgKAB6TZ WZ/w/8T0o3Kmy7X39XbM4EW5rvpPbaKXu5rLUhpYW35VyNGZlHhLsGQhG5Cs+8BrCpkJfn ph3rRE9MAx5sjTDiKcoX3uCF5r5g3XxFJJJXdAoCN/x3R69pMvAt0eNTHomomDRuVvOp8e SH7+dq5wmKHl05kvPyCVQU2VaiVY+VY8ZPbFPpUXIbDzNVfGO2y2u21x98W09m1VwGStG5 ymYGPSB9SuwmL6Lkvsz646Ij/Kd138lUO/InBEBTjzIuhHCqiLKK64CzhAW9Gg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1712156914; a=rsa-sha256; cv=none; b=lGtHQzSti6TvRZBJomcsSexmV59RqFHLJCjFgkZ28XUFfr5wfs46X/0P49jZM/Ver3NRP5 NYuDJ1R4zaKG+Zz2FyNOs/HdGH7E8eVVdjbtKgVR2cVJp5wh6tNmTIY3b3JdKQoMidom23 jwhwLLlUNdXYi4lsNuBhHK+Uqn1JTDzIt0smgHcW8EB/vYAvUzstGKqVzarMr7FzE7c4eK zr4Qgy61Na1AqbASP1ujD7JOTkoDOgQGfcdRDN44+Mi0rS1bYkNVQDL9GouyszEm1td1mN hPFQix3Un0SmHj6qxUpLc4V8btinEhEYqkimML0/shGBYPIFIJDGUl3IUKC+Tg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=emailprofi.seznam.cz header.s=szn20221014 header.b=fvcf34eq; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=kam.mff.cuni.cz (policy=none); spf=pass (relay.mimecast.com: domain of "srs0=q3y1=li=kam.mff.cuni.cz=jaklt@seznam.cz" designates 77.75.78.210 as permitted sender) smtp.mailfrom="srs0=q3y1=li=kam.mff.cuni.cz=jaklt@seznam.cz" Received: from mxd.seznam.cz (mxd.seznam.cz [77.75.78.210]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-3-2e_L_lIPOpavGVngJ6t-dQ-1; Thu, 04 Apr 2024 02:08:29 +1100 X-MC-Unique: 2e_L_lIPOpavGVngJ6t-dQ-1 Received: from email.seznam.cz by smtpc-mxd-7d479b979d-lgppq (smtpc-mxd-7d479b979d-lgppq [2a02:598:64:8a00::1000:4df]) id 0f90f70f199afc410ae9e70d; Wed, 03 Apr 2024 17:08:18 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=emailprofi.seznam.cz; s=szn20221014; t=1712156898; bh=ISJAThtigNY+OvM5nHSZG97tbGzpRmj5w18n5TR8l14=; h=Received:Message-ID:Date:MIME-Version:User-Agent:Content-Language: To:From:Subject:Content-Type:Content-Transfer-Encoding; b=fvcf34eqekJf087+PxQWH6rhEh1SXatacfeF3LsHybvnhQTTE8iTkc4R/Ja9xR9fY 43/IJlLdo5JLjpmr5Im7XT4Lm7JxnTZOmDc6biuVV6pLDMzMoP3Weh6HCm4dTcK6i5 qqeU8GC5o/BIQdEpZEn2LH1xzkZvLwEE2hjGtUhD2ttXypnyhXkeBbNCj+CtJpN7h5 JDt0KLPjjSE/8ImqwjLSv5erm6D5auZyaE6BUyKNWPz9e6u3ZaALQJsD753qRdcMS6 IvbilFRcKUTpu8xwJgQ2drrfIQGAVJjDDcKThkXPgxlMwUS9VItyfKjxYDpHNTWJUd caSlpCsT/Tivg== Received: from [IPV6:2001:718:2:2905:6968:202e:b0b6:1e20] ([2001:718:2:2905:6968:202e:b0b6:1e20]) by smtpd-relay-6b57585476-f2cgg (szn-email-smtpd/2.0.18) with ESMTPA id d74f8d77-9fea-43e5-a8c9-63d42409b078; Wed, 03 Apr 2024 17:07:18 +0200 Message-ID: <6016f090-ea25-4e6e-8f73-a4f4c2918c67@kam.mff.cuni.cz> Date: Wed, 3 Apr 2024 17:07:17 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: categories@mq.edu.au From: =?UTF-8?B?VG9tw6HFoSBKYWts?= Subject: Structure meets Power workshop 2024 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=emailprofi.seznam.cz header.s=szn20221014 header.b=fvcf34eq; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=kam.mff.cuni.cz (policy=none); spf=pass (relay.mimecast.com: domain of "srs0=q3y1=li=kam.mff.cuni.cz=jaklt@seznam.cz" designates 77.75.78.210 as permitted sender) smtp.mailfrom="srs0=q3y1=li=kam.mff.cuni.cz=jaklt@seznam.cz" 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=_12404040208320211" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[77.75.78.210];domain=mxd.seznam.cz X-MS-Exchange-ExternalOriginalInternetSender: ip=[77.75.78.210];domain=mxd.seznam.cz X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3E:EE_|MEYPR01MB7360:EE_|SY8PR01MB9096:EE_|ME3PR01MB8132:EE_ X-MS-Office365-Filtering-Correlation-Id: 1901f29e-ba08-4649-ce82-08dc53efee7c X-Moderation-Data: 4/3/2024 8:53:42 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: kYhdBQ+Ze7Uc+sYYGKynOIB5jwtLce9HaaxtzUYtcUxaVvP83yF7gRX05AoJBdCh0UxJrpdAQy0oic0IakTMHzdmrSy8cPvWinUOZ2EQbrTaJA43tUmXWYy7WM1DOMGbOsMfq7ATcExA2a9syJ3MA4c/56p3tWPn2kCq3pSzW5zAtB+lDgExXit5VXZJakTpXbLBSDZQU9t6pAdbX375wgJimA+Y7rgOZfwIJRGbY30jCthO+OFAkytuHDZRBZiq/9K4Gv4rh0QGtMlYdIf7RUrW6Dh/8ZRaPn6JDpA31TKl5WUAS6Aai9QfY0Uc6JgX+/TnoZv5TcQdV53781dASEqZBlg86I/5DnBYtfcawZQQPS2mcGwZ65FGtsFFnOGJETNWbfuNVVKuBkwbyx/lHJ2GIEPeCVsIQKXKZwaM+XfnOGAMrDYkqvM0asOkBV/7Hg8V9lwcHC5ks046syi6pg5YVytCEfQkKcxCLgDx6hz6w26dqvYMmJzG/XKJEYfLdfGumoDqUvqarc6+DWSBR1Fhg0z5GvDzt8GXc4Omf5dtaEGV3AYw0tlXZcDnnI6z4CyH9mlnoQ1WQVF6D2TCwyCJ//JA6ov2HhyXXy/oZkH7X5GdRbaENkmlziE4EhCPg0L1oBGk3Vck1jYZF7pxFT9qh8Fg/+BVqcAEKNGcmLTcChcDhL0eJewFL4wjr+y73PV6CAtet8E8AcZN8YR41fMvZyZWeZZGvcgHJFlIgS7fdGwiG3Eacygq6nKeGO4wRQnjn36gsknhGhzmiGryovN1w4wblV8Oc8Mr9nwXKKk= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:CZ;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mxd.seznam.cz;PTR:mxd.seznam.cz;CAT:NONE;SFS:(13230031)(48200799009)(7416005)(376005)(1800799015)(82310400014)(35950700004)(32650700005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 1901f29e-ba08-4649-ce82-08dc53efee7c X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3E.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Apr 2024 20:53:43.8251 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: ZAPUA+o1x41FYnMJCxe5t9f9eS1jsxH7XLfGY5Tlgqox0rIoneT+KL8fqV0My1knSigXNDdCg0zft81oXJ+o+YRNDCW/7jBamHiQBxZBno9hpYXijy5cSUfT+wJJ9yQ/8EwMABkQ79pkVbnccv+F8q5YUIhURnL+P9zm5p3QIGezA+DHx6Lh7zFJzOx0YmVqoqg/BCpZUto+1G4bjN4amoo2KkCepleeW2NdXD3r0Wo= X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8132 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: <6016f090-ea25-4e6e-8f73-a4f4c2918c67@kam.mff.cuni.cz> 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?VW1kbUdBbVZSNGpuOFY3QzFHSnVrMEZJcndwam45OElPZGZMRUdLUENLMDJZ?= =?utf-8?B?YmpPTzhhNCtORk9hZUU2VHhUMm92S1ZrZU5wMUFFdlh3Rk82Ym9SZWtLRDlo?= =?utf-8?B?WFYwRzFSQUJsWnVRY25OSkpCN1dNYlozT05POEk0T3FvUWYybC9EaUxlUFVK?= =?utf-8?B?TkVXdWNOU3c5alBwQ2x3U3Y4MTJNV2FHajI2bUFWcDl6STMvUURPT3h3ZmNE?= =?utf-8?B?RUVQYUUzb0hvK3huUlVPTnBDQ1ZoSTg5VCtYQnhQZFY3cHM0ZWZ4ajhZTVE4?= =?utf-8?B?cVU3TDIvakdkNW1GNDRDaTdVZkZoL2dGbVRMR1l1cmhTcXAwb0xFdDVteWUy?= =?utf-8?B?VVhXNVJ6UHRsVWVCNGUxdmpxZ2xyMzdwMXI5ejh4T2NBTlVza2tmTG5ocjlw?= =?utf-8?B?em15cDB3dnZPTTVPdHliY2J2OENQVndPdk16eFlmWVYxWEpGbXlYMC9KSW4v?= =?utf-8?B?TEtQbkZuQWV4cUdxcFJaaUZjVVlINDJqVWIvNVJFOGMzYXdGRWhFVytEREor?= =?utf-8?B?NlVmdnVpajJwY3NEVWhVYWtieG13cmxwN01yaVh1cCtnamdpaURpZ2dPVFFD?= =?utf-8?B?VmVQbGd3ajdKUHJQM2hWUkF2T2U4MlFEMkxRY3Q2amF4TmpDNjU2dVI4ZkNJ?= =?utf-8?B?OG51ME5tR0ZDWHhrMmZUbUIzNlV6WEE1L0N6ZjlSbWlQVUN6bnRNdGV5ZWlU?= =?utf-8?B?SnBPSU8xTEcwa04rb1VLMm4yU1JJbU5hejVKK2ZQRVN0aXd3L2YrbS8vaUEv?= =?utf-8?B?cDYra05FNDIrNnNwQlV5L1lxY2RDWUY0RlpiTHRhWE5GMmpPOGMySURWbWVn?= =?utf-8?B?ZG5MdWwrb2hIM01ibFNqc0NiMCtlek9YSUdmZ0UwMEd6SDdOdVoxTXN4MnBw?= =?utf-8?B?elNKWXhyWDFwcDV4R3pWVFFpbWtONnRPelY3dndRZkpOM2FGUGlFY3BrUFcv?= =?utf-8?B?c2Y1bFVxS0xKNXlKZlhIb0RFT3ZCR2M2TU5CekhuVHRUeEhLU0RjbzRheUNQ?= =?utf-8?B?azZ3T1BVUElHSmFQdHNiN3NrbTN3QU9aQ0FFY0VrT2VVbWtQR2FMSUQyUlFU?= =?utf-8?B?TDdBbUIrZkJIVUdNVE9Nd1RVNWRiUEdCVTRWTi9ranFOTDRvdDBRTVF1UFRG?= =?utf-8?B?YTg0ZURrNm9tRDNIbmY4NHZlOUoxOXVqVEc5OG9HdUMzdVBselNLZXAvbUtG?= =?utf-8?B?UzYyNUFHZnJuajRaZ21UTzlBdUlBWUNoMTlWZWY5T0piS1N4UDJCd0J3QVNP?= =?utf-8?B?dis2OHJ3akxxMnRjY2JJYzBXMTdCTTdyYzNyWmdiWVRIUXNrWDlxcHFnTEty?= =?utf-8?B?SUc2MjNJRFFCOUpZeHE5Nlg0Z3pJLzVQNkNEMjVrSjZOY1ZJcnVlRmZMVlJh?= =?utf-8?B?OHMvOGZyNC84dkxweWpRUlBLb3hqNDFpdUZ0dWRWVlpoVzZYQWNGNU9zUll6?= =?utf-8?B?cjdRQlJ0NUM0M3pGbkdYblBPZHVuZVFoRkZEcVZyZVFJaXh2T3dzWTJmVkNt?= =?utf-8?B?N2NsdDMwLzA2VzdSbXlBc2x4emgrVm1XdWtSU1ZKSnM1K29CcmsvRm55ZDRZ?= =?utf-8?B?d0RBQ21QT09ybXVSdE5Mc1lZRVN4NytPbU04bmVtclErTXYyUDVvRlRJZmU2?= =?utf-8?B?RC9GNUdQWng0djJMYXJ0T0JudXdBYk02eWNUTmtXZXRMYndyRDY3aXR3VGR5?= =?utf-8?B?WFYwUHM3NDhpUmZMYlc5cC9MckdzalRDdzlaK0Z5Qm1hZWl6ampEN2tOSEUx?= =?utf-8?Q?nTUX7lXtBYL65n5wdU=3D?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12404040208320211 Content-Language: en-GB Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable **************************************** STRUCTURE MEETS POWER 2024 (LICS/ICALP/FSCD workshop) Call for Contributions **************************************** Workshop dates: 07 July 2024 (Tallinn and online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2024 Aim --- There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (=E2=80=9CStructure=E2=80=9D), the other on expressiveness= and complexity (=E2=80=9CPower=E2=80=9D). These two traditions are studied by a= lmost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective in Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested in establishing new connections. Previous workshops on this theme were held as affiliated workshops of LiCS 2021, ICALP 2022 and LiCS 2023. This is a LiCS/ICALP 2024 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged. Important dates --------------- Workshop dates: 07 July 2024 Abstract submission deadline: 17 May 2024 Author notification: 1 June 2024 Invited speakers ---------------- * Karoliina Lehtinen (LIS, Aix-Marseille University) * Tarmo Uustalu (Reykjavik University) Submission ---------- Those wishing to give a talk at the workshop are invited to submit an Extended Abstract of up to three pages (excluding references) describing the key points of the presentation. Submissions should only have a single author =E2=80=94 the speaker. Any co-authors should be clearly credited in the abstract and on the slides. For submissions please follow the instructions on the workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2024 We encourage talks at all levels of progress, including novel contributions, already published results, works in progress, as well as survey-type contributions. Depending on the number of submissions, contributed talks will be 20-30 minutes long. Registration ------------ TBD Organising and Programme Committee ---------------------------------- * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden * Yo=C3=A0v Montacute * Luca Reggio * Nihil Shah 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=_12404040208320211 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 ****************************************

STRUCTURE MEETS POWER 2024

(LICS/ICALP/FSCD workshop)

Call for Contributions

****************************************

Workshop dates: 07 July 2024 (Tallinn and online)

https://www.cst.cam.ac.uk/conference/structure-meets-= power-2024

Aim
---

There is a remarkable divide in the field of logic in Computer
Science between two distinct strands: one focuses on semantics and
compositionality (=E2=80=9CStructure=E2=80=9D), the other on expressiveness= and
complexity (=E2=80=9CPower=E2=80=9D). These two traditions are studied by a= lmost
disjoint research communities using distinct technical languages
and methods. We believe that bringing these communities and
research fields together is an important objective in Computer
Science, which may hold the key to fundamental advances in the
field. The aim of this workshop is to attract investigators at the
boundary of the two strands, and those on either side of the
divide interested in establishing new connections.

Previous workshops on this theme were held as affiliated workshops
of LiCS 2021, ICALP 2022 and LiCS 2023. This is a LiCS/ICALP 2024
affiliated workshop. It will be a hybrid event, however on-site
participation is highly encouraged.

Important dates
---------------

Workshop dates: 07 July 2024
Abstract submission deadline: 17 May 2024
Author notification: 1 June 2024

Invited speakers
----------------

* Karoliina Lehtinen (LIS, Aix-Marseille University)
* Tarmo Uustalu (Reykjavik University)


Submission
----------

Those wishing to give a talk at the workshop are invited to submit
an Extended Abstract of up to three pages (excluding references)
describing the key points of the presentation.

Submissions should only have a single author =E2=80=94 the speaker. Any
co-authors should be clearly credited in the abstract and on the
slides.

For submissions please follow the instructions on the workshop
website:

https://www.cst.cam.ac.uk/conference/structure-meets-= power-2024

We encourage talks at all levels of progress, including novel
contributions, already published results, works in progress, as
well as survey-type contributions. Depending on the number of
submissions, contributed talks will be 20-30 minutes long.

Registration
------------

TBD

Organising and Programme Committee
----------------------------------

* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
* Yo=C3=A0v Montacute
* Luca Reggio
* Nihil Shah
 
 
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=_12404040208320211--