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.5 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 7720 invoked from network); 8 Nov 2023 21:22:12 -0000 Received: from mail-sy4aus01on2124.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.124) by inbox.vuxu.org with ESMTPUTF8; 8 Nov 2023 21:22:12 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=RbrgktTnsMNDVPKllycr/l1aQqv/ujOuq/q3DhrO3NQ8tudx6G1K5ix4yGn49Lys68aHjyZdUSecZKr5R4fL/HY0fMzgDqXjRs7CuZmYUDel5psyyDk0NkKQb2BnA+FmYqEgsHgsCjI+l2Z1jMhq1p+YWrq5bxapXK4JIlZinuewExjwCYkVReU1qTaHqMHog1NATkY+fQ+cib+VheoEDf66Y0VGlzDAzYHXbW7LDJuA/ZJmxJI3mm1wT3PYNlWsfbKilNKfn/qTrkTHzUG93oJygg0/XpggqB5l5C8A0whtd/fOXOMXMH1t7CvaoJurWWws+RIfx7YJBuJDi5ydPw== ARC-Message-Signature: i=5; 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=Rn71X5tGKh32fhNUPiVk37SGKwo2vvn6gub61tvl5hc=; b=Wu8BDikgL1gOsj/jyNzssv9YtjrCZIo4ZI97w2MSze51VJBKVEMJwmapOuiJnBkU29MhNf4sOGp6OAzcBSFeJLlKWYaalWseSv1yOhEMT0t6gVONF4GHT0yaTZeOV27hkslACxMo1yHYA1TPQJUwxFoNlXag0aDhPu/XAhg10PsUtTNnngqrOvjY0T8u9QZZdKRgLEvb7YQkCtxhktchYyWe1ZDzodKz6wakkVa1gZ/aaeqQ6CXhDrMnqs21yCYuq86+UgjLELoDgPFPj5C9YIraZcUqC1nUBiigwCyG/kxFHOhHzaPmTFRzvQuYVFCIJVZzKo2Q9u38jAPdB/bd/g== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 129.67.1.171) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=bestguesspass action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); 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=Rn71X5tGKh32fhNUPiVk37SGKwo2vvn6gub61tvl5hc=; b=T9wKzH/pM1qh/Z0PILWvr3i3/xwgLHbupKIu2A/TvWdsNe/G9CWwJfebJNxwUFx+VI1jwraDBpCttwgttB1ihtUYNqZB2bK110qciVNGlK85AkLtJyxgfyNRnqtx5cotFnossPxSNlohuzKzjqZZVG3oZGPCodYM+ZaQTtE+rcbpopgdhFcBTNYdHz5q1sAa0BigQkOMAoist1m+RUnZe08t0/GGIWG4wcUtZAbrtMLNzUyz5ZzyIIZtxvj/VI4k+g7VANps5pcHkPM5K9SZTjt1RfD6+jwZvbEZ42tBJSuwP6PZ4/RZ37Ob8SQ7zF4RoCwOxZtKP8VrFagvV2GXJQ== Received: from SmtpServer.Submit by ME3PR01MB8054 with Microsoft SMTP Server id 15.20.6977.19; Wed, 8 Nov 2023 21:22:07 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=VMBCnIxZQ5QpHXWJNun5zK/XHmwhtBiRp63GB4mPCeIl6MjTrw/vVmg0YA6Elt1t6dOuv9w9b5ZeLuch4kFm4cVriPo8k/E8FY6MlbrRK2wrpK9qq007KsBAuF67X3xyUof5eeLyy+kSf3a9jIKMyhmxHmFdghxaFSfRoVu+tyGrIuM3XDjo4s5U/haZhqRALodR9Mt8NvhtGOMrMQawe+E5PECdLQqAfMEwoyYI++281RZq4fgbb5Y6gB+6PMzkN0JVIQTFZoGDXUKhHJ418PiG3VAR7WXUOdpY9fJ92pdZ1PRdtW8KDrhJdZRu2knClarAh6a1x7KQL6lXC6EG1w== 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=1T8QAiryVrCcgRjEvKD2oFfWOcIDM97vHh6qfRWXMRU=; b=VxqGrrn1GxaRsl1C1p0Vn5WuWubJ+O9JWudEo1vWj+Qy+Imjky9trn+y0AvuPPj7HS6GIxGG2mg2pqwoozOoz+vtERmP/dVF2ve5Brak0olrPOP++NMTN0Auivkr2mUYVXCzzLpg38SxhUCJNHQ/DvEiKiIzZPR069t4Y/ncscGuLCkhFRaqFCXInXCRj0hUcf1TiBlL85rrhv9PC6O8BFAwYKWGTFjHxgfX99Omgq/8KrfIFP0khX9dNLiObmuSG9DPsIOXnyFTcsafPL2ghuQRmWzXBOKA+YfuDbDCcZSuhNUyq8ZEpx6+slCqFVSO4BtB432Y0jhy/+9HKhpSFQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 129.67.1.171) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=bestguesspass action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB7993.ausprd01.prod.outlook.com (2603:10c6:10:1a0::11) by ME3PR01MB8054.ausprd01.prod.outlook.com (2603:10c6:220:192::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.19; Wed, 8 Nov 2023 21:22:02 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by SYBPR01MB7993.ausprd01.prod.outlook.com (2603:10c6:10:1a0::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Wed, 8 Nov 2023 21:21:58 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::bbab:ac15:656:dbc7]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::bbab:ac15:656:dbc7%4]) with mapi id 15.20.6977.018; Wed, 8 Nov 2023 21:21:58 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=cvsey5hycnIKl4d81NB8NPrxjold0Lrsey7fNzfuoNpBhdVrYNLt0HofoEIfCbCFgPuNqcvWRi2wcrhbaUrAksICwq90CJEzsaKxZv6KUjFLskzTDkSEA6NhNr7ps8Q07VrnML32/0rcT/mrSnCXARFFYTtkr7DOKh+KdTu19u3j3yD4JbSdpdSanuFse054YfmB2BOl+hbUS3BAUOOAdEOC8/bX7zp7iX9sWO7HQqJB4sUVh1hRQCIDdUWsOjYMMuHKn2vr19ANRBSx7+1w9hHsFEdYtQVcGQAbfAUGJoO3UHoPOn0BE9bYhfiE+jBYUhIWKZiXUMB8YNSacpjLBw== 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=1T8QAiryVrCcgRjEvKD2oFfWOcIDM97vHh6qfRWXMRU=; b=GtcdLVmRudnD0X9hEN8K465dKDd2kTy3HjOy+W4awW2icvQQ2DFYplEUQeJlP4FWM43bKztAP2lWYDnMbQn+5fdnaDkyL3qN1Jd4TIYIKi+5MUfPRokE6EFM987eXWxESB2/eaCE2J58+c/i97quYr7ko+xa06HgdBbJTSmh+XEOmgw+3NtzjThSWWElKxtj5gp3ZRE4+SjblYA3Gi+Ygt/2QR9uzJIwCbnoPHmmxn85aMYbTTmQ7PMaTAo1pXs7uojuPFyFlU5QRf02iheI1E4JpXU2iborspTVyGGQiFuUjW8KNAl24aLUVC70b+z0givJ0fAiHQFA291+J9+F4A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 129.67.1.171) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=bestguesspass action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0058.ausprd01.prod.outlook.com (2603:10c6:10:1fc::17) by SYBPR01MB6525.ausprd01.prod.outlook.com (2603:10c6:10:11c::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18; Wed, 8 Nov 2023 21:17:32 +0000 Received: from SY4AUS01FT016.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1fc:cafe::9c) by SY5PR01CA0058.outlook.office365.com (2603:10c6:10:1fc::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.18 via Frontend Transport; Wed, 8 Nov 2023 21:17:32 +0000 Authentication-Results: spf=pass (sender IP is 129.67.1.171) smtp.mailfrom=cs.ox.ac.uk; dkim=none (message not signed) header.d=none;dmarc=bestguesspass action=none header.from=cs.ox.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of cs.ox.ac.uk designates 129.67.1.171 as permitted sender) receiver=protection.outlook.com; client-ip=129.67.1.171; helo=fallback4.mail.ox.ac.uk; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT016.mail.protection.outlook.com (10.114.156.67) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6977.19 via Frontend Transport; Wed, 8 Nov 2023 21:17:30 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1699478250; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=1T8QAiryVrCcgRjEvKD2oFfWOcIDM97vHh6qfRWXMRU=; b=nv1XtgsV2hYSpTzqshWMiABXYqcSBfZX5dxbVUU8Q6jWELsr85vfzlT3G8s/3POF/yeHP5 tHArmN5/tra32zhi53vaa2TGiiuBqpJGCdDDlPvOrI8lsQ4+3/fZI4HEgmlm2f/BQscrpe OW4kfXYZn+r2YUEj9r/DllEVcqCNzwQQYMAiADjtWt8BYzESS7qhAB9PZuecP4mgwEt4Zw quqOGGLLDH8lTDO/r/VYP8RJtNcQYZpRgLOV/h47YrVFl5syhDbX3xMv/Ic6j8rU80gRhz LZ1Ak+auALswXI+Yiytj5g+Njg6hNnXj/w2aOB+wCaRvAQfOUkwLyBQ6b5d8Hw== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1699478250; a=rsa-sha256; cv=pass; b=gLLlJBES6wI9D0ngEbpdu2WA+yd0qCroy8PLGBES2fBfBmWTEJ6Vwtwy+IzhawuNmVZGvQ oPPhNyCkvEmPG8CDmNUwEQJTikYLKBGqDgyZv7RSSOJCdS3oMOFV/MMyhCPKe5a7PV7TAy noI3JrMBo8dy0LP19Fu2UTkoEz6hh/PWrFC2vUWLjkDmBpmKeTh5MCzMnzJVBDDb+LWpE9 smHnFDtr7YetA738q65lZbfZdJwD9Y5jFKOf5RQe4IHYQPxn/ZwR7rU2FNbcnEHEQSgyIk kbg4gMIpj1M5/vgP5ELn9Wv3PwwgUtr+HWVj1DWPxw+G3Gmprz+pbh5qnv1vQQ== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=none; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.171 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from fallback4.mail.ox.ac.uk (fallback4.mail.ox.ac.uk [129.67.1.171]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-85-3oNJe0U5NPm8ANpfUny2Hw-1; Thu, 09 Nov 2023 08:17:11 +1100 X-MC-Unique: 3oNJe0U5NPm8ANpfUny2Hw-1 Received: from relay17.mail.ox.ac.uk ([129.67.1.165]) by fallback4.mail.ox.ac.uk with esmtp (Exim 4.92) (envelope-from ) id 1r0pvA-0002dj-Gh for categories@mq.edu.au; Wed, 08 Nov 2023 21:17:08 +0000 Received: from ex2016-01.nexus.ox.ac.uk ([163.1.154.141] helo=Ex2016-01.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1r0psc-0008nO-3F; Wed, 08 Nov 2023 21:14:30 +0000 Received: from Ex2016-05.ad.oak.ox.ac.uk (2002:a301:9a91::a301:9a91) by Ex2016-01.ad.oak.ox.ac.uk (2002:a301:9a8d::a301:9a8d) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Wed, 8 Nov 2023 21:14:26 +0000 Received: from GBR01-LO4-obe.outbound.protection.outlook.com (104.47.85.104) by Ex2016-05.ad.oak.ox.ac.uk (163.1.154.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7 via Frontend Transport; Wed, 8 Nov 2023 21:14:26 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=QJffhj7AuKBkDeNrYRIFzt0ApaPOzUr0jw5ZUzn8pR12wtyI29pz26niXUlEoao47LcJZSoaX3yMe5cbmoKwtVKscOfwNeGODhR1xLGmoqjPHvs2kw78LZO4KxM/KZ1wY/8BYX0jTqJXr0UWpxVLhJhZoNvtKqqlda1bx92JYk41es2DxwCrw1rbSGGjz5U2DsoZggO+WaSydvAxpQWm8T6GuGVti7axiT6tBJ4f2XGuJO5eRYjqhH8gFYuwTKemv1ks6LFX/iQv2/LxKpYTk7j+4eI4ViQ41k10twXVswdyvhzv25X1z9tpcnVRP5c5Ui3p73wp3FWYz5K9fZsa6Q== 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=/6qd8pEdh/zI0IPBdN1OQe1XaL+52gZJuGnOgDVHcBo=; b=hCOZ06zDnHlNkQ684DxJRSTCtBQhvbL2MGeb3132OSUj28GbiUTgtJ14NpdGU5d/RV+/ZTe8KXPctnS/ChUCreUEU4tORLAMtnETcZRvZLRqY73GI4c66xX4RlKqbxDrgZaB7X9yTPTQz9xzIKqU6PwcrsorAgNtfCGeSPMptJ9kvOAzYutw8jhLixLuoWgUR4pSz6lckLivgkdKcA7s8hzymUQMcK2ur/YehIwiyQ2FC5eCzzESIcQ3XckPd4M9JJhsNDXlANMAxfExNdcYiPVXYTnNswE6pNZTpzkwslE27HEMxhU7EK9oKSQS5fkduWF7WbodiAVtBNyfgOfEhw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by CWXP265MB1894.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:38::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21; Wed, 8 Nov 2023 21:14:24 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::40de:a72c:ce2e:8d4f]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::40de:a72c:ce2e:8d4f%7]) with mapi id 15.20.6954.029; Wed, 8 Nov 2023 21:14:24 +0000 From: Sam Staton To: "categories@mq.edu.au" , "GAMES@lists.rwth-aachen.de" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" , "DMANET@zpr.uni-koeln.de" , "homotopytypetheory@googlegroups.com" , "rewriting@ens-lyon.fr" , "types-announce@lists.seas.upenn.edu" , "coq-club@inria.fr" , "ProofTheory@lists.bath.ac.uk" , "las-lics@lists.tu-berlin.de" Subject: ICALP-LICS-FSCD joint call for workshops Thread-Topic: ICALP-LICS-FSCD joint call for workshops Thread-Index: AQHaEoiMf8s/f0YU8UmkfErVJ3rc0Q== Date: Wed, 8 Nov 2023 21:14:24 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.4) x-ms-traffictypediagnostic: LO2P265MB4182:EE_|CWXP265MB1894:EE_|SY4AUS01FT016:EE_|SYBPR01MB6525:EE_|SYBPR01MB7993:EE_|ME3PR01MB8054:EE_ X-MS-Office365-Filtering-Correlation-Id: 84b5e14a-4cc1-415d-77b9-08dbe0a01e0c X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: KEpUUezItvefY+RGzaorASv/8m9JOjfqox2Mvk2f3u2Cw4jaQtxy3br0mXF5M5WIFs458colcwbaU6Vef9PhkiM59Dj+Y8s/M/rkqky/BXBMXYmHtEv3uiHjktrV1WtiSj1GqsH0sPLsZfT7F7WfG8UHmRGsDoXQgDgpwniSu6PBCnUiJ712E1kaWQc4RSj5OS7ynTj2p3vkF6cZeVcjN1riQ5YwbHUd59nit/NAQqyPnrjejjd46C4K8LOFR8bYjyxNB9UyArPL+YM3tFmc2NoFoSYVGw5F+GJERle7/onh1xUuDvVD2WLmpFnAk7E8/9GLLC1AwXpyWSUOLZxsFNi2ey5xpBCJk+JWIdTXUz4hiffrG/Qv+W9NkzuWRC/DVZNrFDQsv5owhBJ+j+IKDqQl/17gVxuscB7OLDgvP/AFtsrXsLmDyFNdawi/qu9tONjkYBxowTu3iRWYK6utkWhSsCqWIkcEarfNpnBTkWWN3s0Gnz/m2KuIiv0lGeGSD8uNcLTaHMnajhcNj3tb1H6QjN5I4ZJ7HDgEXIYgjmwcHaWYvYQE0uyGfug5dv5MguL052jsQBy8691zezHGqwohyaYkcHZXr/GBPWndYmJw9al0XHC7HNQ3HHi0mQgCzc1kiTtzx0SpiXRX61/f3g== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(39860400002)(346002)(396003)(136003)(376002)(366004)(230922051799003)(451199024)(64100799003)(1800799009)(186009)(4744005)(966005)(2906002)(8936002)(66946007)(5660300002)(66556008)(8676002)(296002)(66476007)(786003)(76116006)(316002)(6486002)(66446008)(7416002)(110136005)(64756008)(71200400001)(478600001)(44832011)(2616005)(6512007)(41300700001)(6506007)(83380400001)(921008)(4743002)(16799955002)(38100700002)(86362001)(33656002)(122000001)(38070700009)(45980500001);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB1894 Authentication-Results-Original: relay.mimecast.com; dkim=none; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.171 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk 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="MCBoundary=_12311090817281531" Return-Path: bounces+SRS=8qflU=GV@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.67.1.171];domain=fallback4.mail.ox.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.67.1.171];domain=fallback4.mail.ox.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT016.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: b1511522-7b82-41d4-33c9-08dbe09faf26 X-Moderation-Data: 11/8/2023 9:21:56 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: iZUos2H0pAnwuUpAGXDtMm8AOoV4ZiLFdg5H+/AJaHN0DnWJYN1XWMk6VEDF1bOtUIwQVAcbTvlBYcW/RiEQVyni1knefAGHsfzy2cc8QDcNn5FpIo83HRwU8snv4bFYjNch4B/KVl7UzSxBj37qcKKPm/EpSbqdphz39jIyWx1zfyiqxzBucsUe6zWXFJ98/RcLZxC0D5aH0vM8JCqFb+n0sqwCNMG1KR63c/zT2zegXXEi3Bimb4yI72KbgXJNomDRKGHKgZviNf/XbgO9mMG5YYTiwUFtFIp8yrCrGnejKxSitMowfwqRqoyt7rvE0pOIUZFNMl1BMgLk3uh0rMAAkwsXsWzwIr5MKuPmvAOaeBjKVtG41ok/pZjrhlLZApmg2S2AdNIE/uZNo4Ib1j8Lyptej4Vl2i2/WMfrd02VNtvonUoDZxzpu4Y04Tsmyif75nWh+yaLQOdhDffcy0Hv3uaEbAFeQ+FrsmBNJa1idGXGIkC9WOGb1b6cT2brMtJvk0nq8JX7B72Qm7ePq8qN7H4W8r2Ia/PWKe/unJThB8oXpbrYsHe19+DVElJs0tX++70RFet16EHmhFRiGh/sCWPP160+YE6/Snq4qQyIBuWglJl3laN7AWyet7h3qV4+GkmL3qgl1QqQDsh3EhgKWj44a1wX+TMYGvEogfOKls6UFsx/QVQKYgZ/ABxs8tJGTOwEJJPEUodQOBbTlPWqTgbecQXF4ki4ZNNJS17fuUDpE9RbK5F2Sd3EEe3Sq7+ZDYBWeju6I5WSxG/fXzgBVbNYiXZQirVpzAvXysWzoggjJmjXxY8DFE8MW/scIiTYb9K6q3X3S7vkSzwpKNP5tAjUHxSI9hoEu4C3n1JDJStIAARbiyGMabSy+yqbdRVAIdsAVnngcGixqRJCWhRj+HN+uzgYzIfCBPjMfDI= X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:fallback4.mail.ox.ac.uk;PTR:fallback4.mail.ox.ac.uk;CAT:NONE;SFS:(13230031)(4636009)(346002)(136003)(376002)(39860400002)(396003)(8000799017)(451199024)(61400799006)(48200799006)(82310400011)(64100799003)(40470700004)(2906002)(7336002)(7366002)(7276002)(7406005)(7416002)(44832011)(41300700001)(8676002)(8936002)(40480700001)(5660300002)(786003)(316002)(68406010)(70586007)(110136005)(40460700003)(35950700001)(32650700002)(6486002)(966005)(26005)(45080400002)(498600001)(6512007)(2616005)(6506007)(336012)(7596003)(166002)(83380400001)(86362001)(16799955002)(33656002)(76576003)(921008)(88732003)(89122003)(82740400003)(156005)(32850700003)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 84b5e14a-4cc1-415d-77b9-08dbe0a01e0c X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT016.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Nov 2023 21:21:58.2326 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: b63L0n4p71S6GirOiTRG6DF4MMQj1NT53A820g+sAa3Gfaw2jk9K/9RIAJgZOCUlGZiHSrxEs/YpaOcmWuiJ/eEoBq6ZpMuU75UTF/Ra84Yf9S6t4uftUgfoaDv91/BUp5NzUV78SK9QgPukwSjrrnVZCFrtpPuvxTV4+Wrsi+tB6Ki45MTgQ0xcoY9JUvpE X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8054 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: =?Windows-1252?Q?3Fah4r4gDYfmUAcHoD4ZNBmE8iq0HYqbtYeryp3H770H58TbImGI+ZEY?= =?Windows-1252?Q?IWhBhGXthrgOsGdak6fUs6GkZhWUkUl4+A1fIEa2AB2uOr5TcasOy4Nu?= =?Windows-1252?Q?7pxI6tWD/xiPN7U/bpY0cUHPbtsz5EquSO2zPWa6BpJk4sNZkcLDYZdp?= =?Windows-1252?Q?2r6QgTqeZ7efryE6gIyK/qKE5WYSo3qWxJz4ADTzoW1KJ+wwjsIBjMVq?= =?Windows-1252?Q?VZowE2tjP80ncjQHIAB6iePIy2x8FszCrgY6O6LRIS6g7xGgvL9C+0o0?= =?Windows-1252?Q?4Wh8Tc1/sYdCmRtzjraXaRvNBZFO695dCKXE+1VupuGYsapaY2Kj/S3F?= =?Windows-1252?Q?Lca6OyrOlPfGlmzBiul20r1r0dW/WD7kQRW4LQLg883sbavqzvG9eTqq?= =?Windows-1252?Q?uApWBmKBYNoNH7KYpbbPc47FIfcKiXLDV8ZG0+yIQ1k0tnoKhYvbCvdI?= =?Windows-1252?Q?IoyOsbyWcv7xz9Dz6xcNbUejdp9juCvMO6kXtjl+NJAWCWp0SFF3f6hI?= =?Windows-1252?Q?a1IsHcDMU1yy/0N5GcnBC6bgZivGwgeo9VUfJgAoeTkDQb5BVp5P5duT?= =?Windows-1252?Q?u/Lb1QYCOvI2+WbbMT8K2bjuPn1QHa+g4NkH/QOO2JiLYC3PqV2okuhk?= =?Windows-1252?Q?3EvZOJiNIPJ3XkEpjpLn48xK02BSWsCe8Z4Oek/MXXR/92eJyS9PmaAG?= =?Windows-1252?Q?7fQHJO/Z40Dxtxd8jhHAMM8C6QeEdMBCiT6jZn0HMD5xxMAh/gtbJFZ7?= =?Windows-1252?Q?ZaD8n3pMqyucEH6aM7dBUwUa3uIjrI/U/JB9gXfFI0Ddw42zdqantadE?= =?Windows-1252?Q?viQ/0+kBvyB0ht8xWlv4NGIe7YgQuBTI1rqb9agPILhkqMz6PX5eycQS?= =?Windows-1252?Q?D+qdIFSKShfhxd7+yKPB08gefCCt4v66sKhqfJ7RoFr31FPpiwQnLgxs?= =?Windows-1252?Q?+YvUkbpUGaPblkh8ITMk9t/OG9+NdjA3cg6iwSWYXv9yW/HZuZ+17CJc?= =?Windows-1252?Q?Bj2ZEvESd4Xyc4BWOcLi42wv8+FpCpdh5t4cSCqT8OnlzlpFLb3V3Mxb?= =?Windows-1252?Q?wmY1M2z88QVX0z201XKhsMu72aHI/1GU/xtVI3zwsMmzFGMQka3IHKEU?= =?Windows-1252?Q?2UQDIXxczCLAc5vH0NpUH47zv96dwB79vcs4q9/X2OlUAauaXqV8zJa1?= =?Windows-1252?Q?aEtpOznS4o1mdU3jblTD4NtgfFfQ6Znwsl8wBXaI2WBUpJ65X5nKWlj5?= =?Windows-1252?Q?jBhtwsDJu1Y4G7KMSjD7Y3GZYhErWCldP50c3QwBzNIO98YYkzrISA1a?= =?Windows-1252?Q?uuRRuGPXUDqgMzZgB/6xUSiFiUCT/4tZKxYLKa2ppI6Jmq0X?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12311090817281531 Content-Language: en-US Content-Type: text/plain; charset="Windows-1252" Content-ID: Content-Transfer-Encoding: quoted-printable ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th t= o 13th of July. We invite proposals for workshops on topics of interest to the ICALP, LICS,= and FSCD conferences. Note that workshops for ICALP track B and LICS will = be joint this year. Proposals must be limited to three pages and should be submitted to icalp-lics-fscd-24-workshops@inria.fr . Workshop proposals must include all the information listed at: https://lics.siglog.org/lics24/cfw.php The organising and workshop committees of ICALP, LICS, and FSCD will determ= ine the final list of accepted workshops based on topics and time/space ava= ilability. IMPORTANT DATES - Submission of workshop proposals: 31 December - Notification of the accepted workshops: end of January - Programme of the workshops ready: 31st May - Workshops: * ICALP track A: 6-7th July * ICALP track B / LICS: 6-7th July * FSCD: 8-9th and potentially 14th July - Main conferences: * ICALP: 8-12 July * LICS: 8-11 July * FSCD: 10-13 July 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=_12311090817281531 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th t= o 13th of July.
We invite proposals for workshops on topics of interest to the ICALP, LICS,= and FSCD conferences. Note that workshops for ICALP track B and LICS will = be joint this year.

Proposals must be limited to three pages and should be submitted to

icalp-lics-fscd-24-workshops@inria.fr .

Workshop proposals must include all the information listed at:

https://lics.siglog.org/lics24/cfw.php

The organising and workshop committees of ICALP, LICS, and FSCD will determ= ine the final list of accepted workshops based on topics and time/space ava= ilability.

IMPORTANT DATES
- Submission of workshop proposals: 31 December
- Notification of the accepted workshops: end of January
- Programme of the workshops ready: 31st May
- Workshops:
* ICALP track A: 6-7th July
* ICALP track B / LICS: 6-7th July
* FSCD: 8-9th and potentially 14th July
- Main conferences:
* ICALP: 8-12 July
* LICS: 8-11 July
* FSCD: 10-13 July
 
 
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=_12311090817281531--