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=1.5 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,NML_ADSP_CUSTOM_MED autolearn=no autolearn_force=no version=3.4.4 Received: from MEUPR01CU001.outbound.protection.outlook.com (mail-australiasoutheastazlp170100000.outbound.protection.outlook.com [IPv6:2a01:111:f403:c40e::]) by inbox.vuxu.org (Postfix) with ESMTP id E1F91214D9 for ; Tue, 2 Jul 2024 12:24:00 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HwY72Q8SeNyz3J3eVs7qyc3rj87IPYXlq+DemeMnAvb2dmXmwIdhYLos9gKSIXcfqvTQUX5N0uX8jPO9kBY3trKXqQVbHOIMMv9/VVCxxKoCyERNhRtreSXdJR2gBH58N3LKjsOxnEElFrLWKK15TqtcCQJf4/5kJ6WrOD2bMzXUbpuE9IatxIysjgJHnYK2ST1/UfolP8W++KwDl5b5ki0TB23EU6gVfH0tUt3OrrGqDbNOinA+6WpQ7cG4BCv8pwFR/ldZ9Ek5cs0gPlE6v03ZIXSvdPY4mfO0Yh4yAPFkP2jwiv903FeG4R920hhZuZQeSGAyjaco0pyBorBT3w== 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=9eMypjhxMV7GgDY4TaJ4QJ/Afn3YGpFGUlrlORSMLvk=; b=MS1VPZLggKMa7jH4zCQ+ycAemM9eT6rkDrP6fg3wJXRm4E72BWxW3AOYrBfUUudwCyC9ho0KMxwcjhbgEFZQgMGKeM2Kz0b0twZ+EqoEyk90N599bnpyhX56mZnt5fuFbZkWS44v2nDmOk+9xfdKrmVhiMe3SDC3e97iA+LrcMqJQx3GQPGfIgz89yQOaOxkXWvrMRxHDgu9j/aM/9AaIDqOdxFkpzKNmZWyRLoTdqjvuUbjQ8cyR6u3fq+AFftObCsxi8Fi69hX/+BzwxnYooP4bvG1nxuHTP2SB2CFUxqDpvC/ZWbn+UofuzVhEozj/wdFaYTj56lF4VnAcoJGng== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.44) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=9eMypjhxMV7GgDY4TaJ4QJ/Afn3YGpFGUlrlORSMLvk=; b=pWWhqQBgFq6pOUxtJHPPMY8ct8C8wcUoa7nz9BrQWZNv/Nr076vRYKEA6JZWiW6O2dXvoQd/kzo6n5+OXNf0IvYOghQy5piVxyjSttIDvF/L3gnGUFgr4o2k/jgspszUIT6qq6Rd3rAgOsS4W0m+99fIUWTBT5xiXOWnie5PpCP7WzbeLldkW+VDs/4ED1gifh8yX3ih/O31/aaYEgg+EYeSx51KxB5e+7jTqkxFqKf+YIBaXcMHMmvopjDN/8Yz3pClSywIT8vDl6ryZZTYtUq8mEk+Lyrn/XqjtV4erOaeUJwSTAPZH+EfJkvFuxPQL1DcwjDerd/mDnstsBwEow== Received: from SmtpServer.Submit by ME3PR01MB6626 with Microsoft SMTP Server id 15.20.7719.33; Tue, 2 Jul 2024 10:23:56 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=XpElFzUZk8jxUMd6bvrIXoiZetkH9zlV2swbvNAj9Nsqc3SA9WIyCfBY7X0eeaac3Fd6M+/W9+Rv/ONNq7Lppt0/zTKcHKn3dqAbk+tvB0CWhGoTd1vwbej7X790p0l2S88Bwy6arkpTiEoc88n7lbCXWj9KNfx7jJ/4agiB0dn0kpwtxPpSeyENx7+QuCdyoihPneUPqtuNUSG75ZyYCIBviUgeQgNnq0WOeemlDBVk0JETLBEI5sx6UXzLaGVsS783Y/aE6CzqTzUv8Brjsq1XCTnP2dNDgblu+MQoyZpvj5S1D8FUehu39gkWCNVpHlbIkMNMinTJbjUuKohyQw== 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=3n5PiGj6jF+rDbu8QD6lB0EblsgqTFX0/FAweTahP9E=; b=YAi5e6PiGHiE3/gPNj1sfVBJksCUQkmI1Qaj+p8sdZmbe9y+qHdngklHRDAVkAXhgT5TaNLwJ/0gxGHh0xXMY77C6dZxSzTM88uUWvz5UhY3QKKJOEhTh1VN2QsoMdjeK0AmLpVVjRf9uK/GXHbCrZ2GMhrKc6s1sesrAA246pta7K0aa9bmCT4QjA9UmsOuy3mO+HfeaU2XxymGsJWG6zA9U6bQ3zpihaiitwMazVcTCCbTwoAUiEk8iedG7hf6hXMQreafVyE42GRlaj76YI28svsQztu7Z6hxbbdLCyS6aI+ZMZsKjT/zUZRQrJavCqy8c4yHnl9PXT+0DOO+Qw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.44) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB5821.ausprd01.prod.outlook.com (2603:10c6:10:9b::10) by ME3PR01MB6626.ausprd01.prod.outlook.com (2603:10c6:220:127::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.33; Tue, 2 Jul 2024 10:23:47 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by SYBPR01MB5821.ausprd01.prod.outlook.com (2603:10c6:10:9b::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7741.25; Tue, 2 Jul 2024 10:23:43 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::1a94:d1ef:3c84:a98e]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::1a94:d1ef:3c84:a98e%6]) with mapi id 15.20.7719.029; Tue, 2 Jul 2024 10:23:43 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ny9sqQsQIrxjEmI5vQAslEfHltOTnDpy/r/S7A9YRh5rWtmXmRcktPQaWH7WEorkfAw0mXajPmwtqJRPBd9oaru92+Q5WUTJwUk6Bldhfb3M0i5VnSMqM4BLYyOBLNnMYZ+Umgjov9HeunGG/j+rN5Fp7fIF/HzhJJP56I1lykUUlubpg8sX+sW3tIIgGODVSaEKa7z5Jj5+zTHtz4AuU9F1Jb2kcvG28o8THNdpHkU4QiT9+IRJwSZjUfRE2UzxNi6TRwDQDfo3a0PzF6qchUuS+1EXiecNpFegjaGYGDhUtygT06T1GNnF2yvj42frI6gDNBQzpa/cETeXOfNyIQ== 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=3n5PiGj6jF+rDbu8QD6lB0EblsgqTFX0/FAweTahP9E=; b=hZOYeGBEhAV/M8LwLVQE7Nb7l25rTIoRLMgsqcbWgQYTwA0b0BaBqictTScYljZJguGmrVAmlSOM+7ZYzTkU9Jv4XxfPAW1/TIcJfcCp/nEbefUwM1v5Agb6tlEIoz23nYwWArIAN8WHtbJOvNOUQYS4IX65tdxHv99YcBuJJHRotA6S3B73MiY9hXD5njTl9EM34mdSEqVF+F6mmsMBQw9DBs2vTQpqqm9Q2WkyCHQA34pfP23AZiqpYhoQpfbcbgRszCywAwI4Lh8JQW54H3GK4CtS4z7ZypzMztR3FXe33ln6HyB6WM+S1gU5vxcwLcC6ofX8GrsGkAiUnK6EhQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.44) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0063.ausprd01.prod.outlook.com (2603:10c6:10:1f4::15) by SYBPR01MB6636.ausprd01.prod.outlook.com (2603:10c6:10:12c::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.34; Tue, 2 Jul 2024 07:09:13 +0000 Received: from SY3PEPF0000A724.ausprd01.prod.outlook.com (2603:10c6:10:1f4:cafe::a9) by SY5PR01CA0063.outlook.office365.com (2603:10c6:10:1f4::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7719.33 via Frontend Transport; Tue, 2 Jul 2024 07:09:13 +0000 Authentication-Results: spf=pass (sender IP is 209.85.208.44) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.208.44 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.208.44; helo=mail-ed1-f44.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY3PEPF0000A724.mail.protection.outlook.com (10.167.241.20) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7741.18 via Frontend Transport; Tue, 2 Jul 2024 07:09:13 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1719904153; 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=3n5PiGj6jF+rDbu8QD6lB0EblsgqTFX0/FAweTahP9E=; b=bN/lPQgJmT6MLINJ+0RuUcfczdFOiKZcabB0Hwo/U86hPQJJmXGFlYth/Cf8AbP4jaUe+z rbBYJsm09fe3lFMbsofml9fbky7g83mmaj6oil13DkPilLzErWW/dcf5MMmd9eRIwKDWR0 uyPfLKQxVKKsmbQMoCTmx8P8i7RV7epfODWrhNTIGUFmrBn1xDowbgpakkhEHimzN6b7Iy qjENaNXTv1XNrQdATxdUJz13tUnvzu/PRhww2G4dDZgx6hVzZv5AZz4ZvrhEUXxZRCkvNM 961Iqg3+uWkhc1+scGqLqxxqUYxl4vMdf3kNTlr29i9evErVjN0upDIPSm/qwA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1719904153; a=rsa-sha256; cv=none; b=fgknWmoN/ns2k7+2tPnrPhSQjz34MWvn2ww5hSbZP3cUTmV1eOilUSeJo3AefbZVKlqQKH G2KYERQmW5L0AFCl3+gzoxEqRgv5rlJ5pBaTxRSRr8AtrNqE2NkiMOIn2m9ndjq3v6rcBG mdBkiSOudbWmgl42ITIN5pa1ooxM6Zs+cKCVMqufiYiuHN1gHd/IgkZO/o1eLEfi+KPAiC vSbfMD6PGX16Clz05ycz5yN24OkqsXO8yA3lNZovJuYO6Axq6RLXjuSGdV0nvDsdSOCzFM vZ8uP7kEQusN8/bozZ5tMS+g0L465cg5PqB7KPP4sKfC/aCa6tSR9d5UuW7Iow== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=d0DRFHjc; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.44 as permitted sender) smtp.mailfrom=abhisekh@gmail.com Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=d0DRFHjc; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.44 as permitted sender) smtp.mailfrom=abhisekh@gmail.com Received: from mail-ed1-f44.google.com (mail-ed1-f44.google.com [209.85.208.44]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-69-tH1EV1anPmiKmz8taXluhg-1; Tue, 02 Jul 2024 17:09:07 +1000 X-MC-Unique: tH1EV1anPmiKmz8taXluhg-1 Received: by mail-ed1-f44.google.com with SMTP id 4fb4d7f45d1cf-58b966b4166so290950a12.1 for ; Tue, 02 Jul 2024 00:09:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1719904144; x=1720508944; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=jMFEMHzTaOwRZzZw8+NHrguyo9uN4/VvTxrxSRhUN7Q=; b=d0DRFHjc6oTEa8oY+tNcIQRbfeIrhzHoQxD1/fpzSXE7f8fPsHe3mmoYzrbxTM1uVf JLa7Ceel+1P/PoWLc/1x+uW3d0HMe+3BlugpklOdMoJyaCUaEPF4Fp97XDw+3Dq/dV5T 0QXLIDj3fn8gvf3f4D37rDaNdm+YlKH17zo/OTkMlNnDgahxRyR4E/L/1G5bNmacbYwu B9AqKStZf41UFnFYt4A0e/Q+1L6kcfBnHEcQRPYH4rSvBCuCydkSa+mo79Kx4MorFhUT aXVrF+I4YRINM6lGrgEzTvSMU2dLIS0sJhuLgz3XdZ4tQYFtQQh5cm1+3blFyRundjI+ 7wBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1719904144; x=1720508944; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=jMFEMHzTaOwRZzZw8+NHrguyo9uN4/VvTxrxSRhUN7Q=; b=F9/Qky88Ms7yTz7EhdBsJ9aYLBHdcBs4MAI97+imrzlnFATfhCCT3ySFznW17B6QVB v0ssreyLYg55m8Bc+y+EuN/4HKy6VJ8YOmvdMdYLQoUQ+CJWa/0LgrIZgR8uO7Px42ay 3CvfWIzEwoANaanYPphg00iVT85+Coq7KkxoEH+oWx5sFMoVfPv61HvTk8rIQ7m+zO+M zkwxv7O3x8CAiJ/NVGrTkxPPXJQ8q6R7Z+Q+hM1qm/e2zdsnZHFSDi735Dfu3J9rQS8b U1VMK4vGWTKBueCu2HlW1cmeIuunXXkTGprAArgvAV1m2j1LwOnsTbgqJ77ylMgQlbnO ljeg== X-Gm-Message-State: AOJu0YwZTbpqtymVAm0YWAGuBi3CbeVPgM5lCocl92UQCDm6dOzr+7iX ercW4nPAqM0N/SKCvS8iWdpaC4PXWZXj6Z2Pfk5OvjG/BkscMrDzPEeuRAq4LGdONi+EG2/QQm5 Xas/RSF6IpU/+JzzMZgg1r6K0jlEoOy+C X-Google-Smtp-Source: AGHT+IG3R7ibau8gJqaAnHGzTnxpvo0XBVImgaB/8m6j+dmCuzSf5SSSPKHO279WnJnP8QrxbxwpzhwxOMHZoCVKI4Q= X-Received: by 2002:a05:6402:5203:b0:585:3a33:9de0 with SMTP id 4fb4d7f45d1cf-587a0bfc64cmr5771276a12.26.1719904143397; Tue, 02 Jul 2024 00:09:03 -0700 (PDT) MIME-Version: 1.0 From: Abhisekh Sankaran Date: Tue, 2 Jul 2024 12:38:50 +0530 Message-ID: Subject: ICLA 2025: First Call for Papers To: categories@mq.edu.au 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="00000000000083dfad061c3e6371" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.208.44];domain=mail-ed1-f44.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.208.44];domain=mail-ed1-f44.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A724:EE_|SYBPR01MB6636:EE_|SYBPR01MB5821:EE_|ME3PR01MB6626:EE_ X-MS-Office365-Filtering-Correlation-Id: 64b9e4e4-0f04-446b-95a0-08dc9a65e0be X-Moderation-Data: 7/2/2024 10:23:41 AM 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;ARA:13230040|1800799024|376014|48200799018|7416014|35950700016|32650700017|82310400026|7093399012|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?ZjcxdFdOMEs0dVF3bGxRQjNLWHdnY01VaXlYUFhINTFoL3JHL3hmYzZTVEtU?= =?utf-8?B?U2E3ajV1ZzNHT0tQL0hvR0h0UmFRQUptM01hbG5SRHdQNTZCYy8ydnNmUVV0?= =?utf-8?B?R3RUWVFLTmRCUUkxTE85dmlZVjExUmduS1ROYmVyWTdNYXdOSzFVRXR5TjNq?= =?utf-8?B?UFZBRDN1WGsrUmx3V21kM3hlVXZXTnNtbWloL0lGOVlyK0Jnc3ZhTGJjQ1F0?= =?utf-8?B?eDRVSzNhdk5FRmt4MHpSUi9zZEkyQVVMSk5aMk5ZN2ZOb2VHYThkMmNIWm9U?= =?utf-8?B?aVBxQWozVUlqcGIvN1FPR1plcks1TmxaYWNXMlpVY1l6TUZVdm5vbDM4TkpW?= =?utf-8?B?bVdrOVpWYis0RUNBWHljdjVEOCtMRm9mVk4vQ3EvRXlzb29HL3RrbVlodXMy?= =?utf-8?B?eTRqYWV6bjdMUWl5RFpaci9mYzZiRmdsck5ja2d6V0g4MW1Wd2xuUVJtRjMy?= =?utf-8?B?ZTZkRnQ0UFJXWnllUkRXT2FZS0VVbTVtM3BBQi9NRkpLTS9kYU1DT3EraGtT?= =?utf-8?B?a3c3SGt3cGtZNWJzKytaN2dCQlczNHJUT3JRRk9sZmsreVFLMHE0SmZSR3VW?= =?utf-8?B?QjZ3Rjlzdm1hYlVHbUNFVVAyNVFENjRuNnlzd0M3eUFxT1JRd2FzVGQ5Mkp0?= =?utf-8?B?RENGSTNQR0w0ODlRRVl4ci9iVk9KaFk2d1NuVjN0S2lRMm4waGVESW1XVWdh?= =?utf-8?B?N20waUhzSDFHNmc5MlB4cWh1dldUa1l5aks0RTJORlUzUzNzL1o2Ymg3MmZM?= =?utf-8?B?YlV3SDhIUFM3YzVHNHJtb0xLb0hBQkd2dG9IcVhzckFzUENjZkdZUks1NUU0?= =?utf-8?B?OXlIcG0vM09RRGJHQWlack1NT1hDbGtpQUgwLzV1UWJxQnFGdHhhcDAwL3Za?= =?utf-8?B?Z1FhQm42aTdFalVsSjAyRHA4SldoM0F0SlZCc1NPa1ozZ3FnTzZ6SlhpOHVO?= =?utf-8?B?MEQ2a1JsVnFPaWtzYVlzZ1g1ekdrdHJ1Mzd4TDR3L05IYzJ3Z0tBUm9CcTUx?= =?utf-8?B?eGE5enhRRFloeVNsU3k4bnZkZUVPYnp2ajNaaXZpMHVGd0c4dk5wUVdoRVRG?= =?utf-8?B?Z3NOOWU3d1l0NXBrT2FkR0RJbm83Qm9mazEwTUhGVWM4VU1wd3EyUG11T28v?= =?utf-8?B?UkM2dllyTSt5Q2FEU0JLVnUyK0JWcTQxMFI2LzdDZFl6Q0EvRDNGM2FrTDdX?= =?utf-8?B?aGNFdjhPVlVFNURaV1Ixb00rRzBIZ1hoZXE3eWRzOWpwVkU5NVRKdnU3WWRp?= =?utf-8?B?VFdXcmROVGR1UERzTDROSTdSTW9GV1lvN0Q5ZlkxT3JBSWhFOU4zVTFjQXQw?= =?utf-8?B?Y2EwNlFIaWVWeWt5TEJVUm95ZmovSGd5WWI5ZzZiUm13d1lhcU5KZnZUNGFU?= =?utf-8?B?ZkVvTkNpT1hxa0RGRis4U29MaFBTUGwzZmZ5eTVUSGxtaTRoWGlxbm9RQ2Fx?= =?utf-8?B?Zlg3bVNqSmRnWVN4bTJWNGd6Mm5wZDZLN0V1K1YrWDU5dHRTVWFBQnB5ZVJi?= =?utf-8?B?RE1BTlBpL2orcklVNzRDUGVjUUlJRnJtMjVJTzY5K1M1WDRuNWQzS2pEdjY5?= =?utf-8?B?NithbzJkM2k0L1lObDgyWk0yUTB2b2VkZEN0azNtYktESjc0SjRic1A4WkZa?= =?utf-8?B?S29CcXFSd1VkUGsrNTRBUnpTd2JGYnBtVHRPSTZ6UjkxcFJVbWh6aDEzZmFi?= =?utf-8?B?VjlMZ0pGUDFhaVFGNmZwMTRlNXZFaWFBSjJUUVU4K3llU2RXbUxNRkxBSVd6?= =?utf-8?B?VmJOcVdlZWlRRTlEVXRwK1Izc002Q0gvejc4SnJNeDcxbEVQNnBZd0dzLzF3?= =?utf-8?B?MVZyWks4UlF5b01EY0pMbmpDMnZqdkhsUDU3aTFDQzFqZTdseDJwakQ2VUVw?= =?utf-8?B?enVjenpNOW80VHBsYTN5Sk8vTEFvNmFMOEpxeFpUWFlwYTA5cHgvbHQ4Zmlk?= =?utf-8?B?R1g2cE16R09GRmsrdGVabUJOYlV2RlA2ay9DeEpnc2dkRm8xM0krWkw5V0k3?= =?utf-8?B?dHR5eTFhY2JBPT0=?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ed1-f44.google.com;PTR:mail-ed1-f44.google.com;CAT:NONE;SFS:(13230040)(1800799024)(376014)(48200799018)(7416014)(35950700016)(32650700017)(82310400026)(7093399012)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 64b9e4e4-0f04-446b-95a0-08dc9a65e0be X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A724.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 02 Jul 2024 10:23:43.3495 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 8f4uFlAcIcjYI86yqOF49lH1ajIq80/VjVJgSp9WEof/IlvitaNtdrfI3Y9uKIWpMui1MPK+hI3qzC/r6vwd5w1yaon9ggooibnM+vuNp0SNRplCgA33H84Bu4XcvBGrRH2ov9SYmVTAuT24cs840D+kDBxWM83KG4HNmHpE2XvJxbvwjCFs8tXW4Vyd9fMn X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB6626 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?SDhIM2xFa3lZVnNNUzJiWDIyaWFaRUxqbEhocEtQMWhIRWdUVlhnTmtXdFhE?= =?utf-8?B?c1JzTmEvSHdEeTVsa1JONU4yaEJjNUwxSFczcE9nVThKODBrUVBNR29jL09Q?= =?utf-8?B?SVlrYU5WTkZtYkhFTDlQZUk1MEN6V0o0S0V3OXpCTTMrU05aTE03N3NCSkpw?= =?utf-8?B?M2lsU1haUUlKUTNGaTZraldzNnFXTkxUeUdOUjBjWHlBOFkyUGZrT3RQaldC?= =?utf-8?B?cFMrcmdsYys4c3VKQVlZcEFwV3hreWxZMm12dVFaekk2UGpyZnlCWGIxdm53?= =?utf-8?B?SUdkS090RGxxK0YwWXBTR2JPY0VSalZaZ1pleUd5cjNjQjAyNG1qeGNjVVhB?= =?utf-8?B?WFlRS0c0Zk9sV0tWQzRFQ1g5WUJjenVJNkUyZGlDS2t6QU9SdjJ6RDJ4QXlm?= =?utf-8?B?WXdsaUFNMGdkVTNYcTJWaEt5MWdva0tvd3Y2eTBON0hhbVNLR1M5cTEzcklL?= =?utf-8?B?dldtV1Mza1ZNL3VJTlVmdTZONmxCMSs2emJydTUvMzk0Y3BQYUZQck1zVUNl?= =?utf-8?B?NlFzQnpyMkNzL1FZMWYzVDViUlA1bXJ4NDllbFBuYWJKM3dwYnUrOUVRdVNK?= =?utf-8?B?QTBxdnErSGlsZzFmOHhqME9zeTdsT0VkdWIzL0RUblNvQlhSZXpVVnh3eTZ3?= =?utf-8?B?VjNBREU5WlNpQ1NkOEEvNTE4Y21sQjZEWk9VVzRCbEY3RS9paG1adEdZZUI1?= =?utf-8?B?RGNhMU1UV2RRcGV5UjBLalk0enFlMmNoTGYwMzBXYUt0UUdtNG5YemdPSWdt?= =?utf-8?B?TkwzSDArYlVNRGVjMHVXVStFd0V6NVVVcUM4ZjdjVXVkc2ZMREQrS25wdkZH?= =?utf-8?B?dm5lTmVMc3VuYUFZeExMWlpFR3V5MCtkdnVrTWs3MjJlZG1HNWpPVlh3ZEox?= =?utf-8?B?VVkyVG5ReTI2dWdNOVlQZk84b0dDT0tNOXZPekhldGJuOGFQL21Tb3lvb2U4?= =?utf-8?B?Z3BVL3JRNlpLWnBDRXhVbVFJeFBzTThyR1pvKzMvaUFOU0h6djhMUFNtRzVa?= =?utf-8?B?SEcwcGV3Sk9tb3NGdG5ZUlhjZWVRV2lwamdnMHlWTGJhNi9Cb0tSQzdyMmxU?= =?utf-8?B?bzRWdFBFRmFpSUZ4Y25XalJJQnhHVnl4SWgyY3JtVWo3c0RmcmIzMjNnbGtT?= =?utf-8?B?eDNsUzg2Q2VqRmRiblJ2T2QyOXBYeUdaT1AyL2pJMEdzZlBjWFVQZm03bGlY?= =?utf-8?B?UW9IaW1RbHFWWGUzbXNvamx4V2U2N0VIYUlkMkNiT0lsMWJlTm5iOFF2WHRJ?= =?utf-8?B?QlBxTnlMSUVoanZhelRwQ05HdkdkWWFTc3lzNGtBZ3BFWG9QeTUrQnBZWTZo?= =?utf-8?B?ZU1wZW5LRlhjUEtRUURVQUtJa2FBbDhOYkpCU3NMU0RRVjMwQVBscEdXWVdW?= =?utf-8?B?K0hZTDNDd2tnVUczNEllL2FkWjJvbng3YndHL2ZxZ1hFWFZ5SmNYMVJrVG9P?= =?utf-8?B?cDFJVC9uZlNNelFaaGs3Ris1bDUvYXNwTXRnWmhjcXNrSXBhUFdVYjViSVNF?= =?utf-8?B?aEJONHBhcXZZeUNBOFVaRTJycGZVOWlZVWFKYTcrTWs4OThGZU9nVDk5R1BO?= =?utf-8?B?UnNLZ1QyUGRVM2NIV0gwUFJFVW5ZQ0U0RjE1emo4ZzlieWRickRsU2FINk1J?= =?utf-8?B?WjJUR1N6U1owYUpmNHdZbTRGcmdPRndmTWNWRnVoM3lmc2pmNThCSW5xbkF3?= =?utf-8?B?WDBrOUNtK3M5akd2MWtNZGhuYjhZUUNaclhrQ1AzdUVoTUlxbEd4VGx2VUVZ?= =?utf-8?B?YjUrRHVoQzRLUFl3VXp0VkhySjRkb1NvVnkyYVRtYXhmYm43Yzd5eGw2U0oy?= =?utf-8?B?Z1JuQWErY0VnODVyNlFWNHZ1TDJKL0dDM2ZVV1ZBc2JxMDJ1d1F2aHhpOU5n?= =?utf-8?B?dk15Vks5Y0tydHVZcTVDWVBxSE44UkNvdUg3Y3JXT0lrRkVkZW00ZUs0WjN3?= =?utf-8?Q?ytukN6aS8zGArlQDrR412orW3YG+tmt0?= X-OriginatorOrg: mq.edu.au --00000000000083dfad061c3e6371 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICLA 2025: Indian Conference on Logic and its Applications Dates: Feb 3 -- 5, 2025 Venue: Indian Statistical Institute (ISI), Kolkata, India Website: https://logicindia.org/icla/icla2025/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D About the conference =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The Indian Conference on Logic and its Applications (ICLA) is the primary c= onference of the Association for Logic in India (ALI [1]). It is a forum fo= r bringing together researchers from a variety of fields in which formal lo= gic plays a significant and often foundational role: Mathematics, Computer = Science, Philosophy, Linguistics and Cognitive Science. A special feature o= f ICLA is the inclusion of studies in systems of logic in the Indian tradit= ion, as well as historical research on logic. Details of the previous ICLA = 2023 can be found at [2], and those of the earlier editions of the conferen= ce at the ALI website. [1] https://logicindia.org/ [2] https://icla2023.iiti.ac.in/ The upcoming ICLA 2025 is the 11th edition of the conference and features t= he following: * Best paper and best student paper awards; * Two kinds of contributed papers: - Extended abstracts for inclusion in the conference proceedings. The r= eview process for these abstracts will involve a rebuttal phase; - Short abstracts only for presentation in the conference; * Invitation to selected accepted papers of the conference for submission t= o a special issue of a journal (to be announced in due course); * The conference will take place in offline in-person mode; * ALI will co-organize with Jadavpur University, the Asian Workshop on Phil= osophical Logic (AWPL) which will take place for the first time in India in= Kolkata following ICLA 2025. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Events: Main conference and co-located workshops =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D + Main conference: ICLA 2025: - Date: Feb 3 -- 5, 2025 - Venue: ISI Kolkata - Website: https://logicindia.org/icla/icla2025/ + Co-located workshop: AWPL 2025: - Date: Feb 6 -- 8, 2025 - Venue: Jadavpur University Kolkata - Website: https://sites.google.com/view/awpl2025/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D Important dates and information =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D Submission dates: All dates below are AOE (Anywhere on Earth). - Deadline for abstract of submission: Aug 11, 2024 - Submission deadline: Aug 15, 2024 - Rebuttal period: Sep 23 -- Sep 28, 2024 - Notification to authors: 18 Oct, 2024 - Camera-ready version: TBA - Registration: TBA Easychair website: https://easychair.org/conferences/?conf=3Dicla2025 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission guidelines =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Authors are invited to submit papers presenting original and unpublished re= search in any area of logic and its applications. Please see below for a de= tailed list of topics. Listed below are common guidelines for all submissions. A submission is eit= her an extended abstract or a short abstract. 1) Submissions must be in electronic form, and must be submitted through Ea= sychair via https://easychair.org/conferences/?conf=3Dicla2025. 2) Submissions must be in English and should provide sufficient details to = allow the program committee to assess their merits. Each submission must be= a single PDF file. 3) Submissions will be peer-reviewed in a single-blind process. 4) Submissions authored or co-authored by PC members are allowed. PC member= submissions will however be subject to a higher level of scrutiny than oth= er submissions. =E2=80=94------------------------------------------------------ Additional guidelines for extended abstracts =E2=80=94------------------------------------------------------ 1) The submission should not exceed 12 pages excluding references, and shou= ld adhere to the Springer-Verlag Lecture Notes LaTeX2e style [SV]. Detailed= proofs of technical results or other supplementary material, if necessary,= can be included in a clearly marked appendix or made available via pointer= s to technical reports which may be read at the discretion of the programme= committee. There is no restriction on the length of the appendix. [SV] https://www.springer.com/gp/computer-science/lncs/conference-proceedin= gs-guidelines 2) Submissions of previously published works, or concurrent submissions to = journals or to other conferences with proceedings, are not allowed. The aut= hors can however make full versions of their submissions available at onlin= e repositories such as ArXiv, HAL, ECCC and the like. 3) During the reviewing, there will be a rebuttal phase for extended abstra= cts which would give the authors an opportunity to respond to the initial r= eviews. Instructions related to the rebuttal will be communicated to the au= thors before the rebuttal period. 4) Accepted extended abstracts will be published in the conference proceedi= ngs which will appear in the FoLLI Publications on Logic, Language and Info= rmation [FoL], a sub-series of Springer LNCS. [FoL] https://www.springer.com/gp/computer-science/lncs/societies-and-lncs/= folli-publications-on-logic-language-and-information/734370 =E2=80=94------------------------------------------------- Additional guidelines for short abstracts =E2=80=94------------------------------------------------- 1) The submission should be about a page in length describing the main resu= lts of the work. Pointers to technical reports detailing the results can be= provided. 2) There will be no rebuttal phase for short abstracts. 3) Accepted short abstracts will not be published in the conference proceed= ings. They might however be made available on the conference website. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission Topics =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The list of topics include, but are not limited to, the following. Submissi= ons of interdisciplinary nature are especially encouraged. + Algorithmic randomness, category theory, descriptive set theory, foundati= ons of mathematics, homotopy type theory, logical aspects of topology, mode= l theory, recursion theory, reverse mathematics, universal algebra + Belief change and revision, deontic logics, description logics, dynamic e= pistemic logic, first order modal logic, formal epistemology, imperative lo= gics, logic and artificial intelligence, logic in decision and game theory,= logic and social choice theory, logic and social cognition, logic and soci= al software, logic for information, logic for probability and uncertainty, = modal logic =E2=80=93 algebraic, algorithmic, category theoretic and model = theoretic aspects, multi-agent systems, normative reasoning, provability lo= gics + Automata theory and logic, category theory in computer science, logic and= algebraic methods, logic and concurrency, logic and games, logic and quant= um computing, probabilistic logics and stochastic processes, transductions,= two-variable logics, well quasi orders + Automated reasoning, formal analysis of programs, formal verification and= synthesis, hyperproperties, logic in industrial applications, logic in sec= urity and privacy, programming language semantics, real time logics, tempor= al logics, theory and applications of SAT and SMT solvers and theorem prove= rs, software/app development for logic + Algorithmic meta theorems, comonads in finite model theory, decision proc= edures for logics, definable functions on relational structures, logic and = computational complexity, logic and constraint satisfaction problems, logic= and databases, logic and graph structure theory, logic in machine learning= , many valued logics in finite model theory, proof complexity, stability th= eory over finite structures + History of logic =E2=80=93 Indian, Chinese and Western and comparative st= udies, Indian philosophical systems: Buddhism, Jainism, M=C4=ABm=C4=81=E1= =B9=83sa and Ny=C4=81ya, interaction of classical logic with other logics, = many valued logics and their applications, non-monotonic logics, paraconsis= tency, particular systems of logic + General tools and frameworks for logical systems, Large Language Models (= LLMs) =E2=80=93 cognitive aspects and impact on society, logic and cognitiv= e science, logic in education, logic and ethics in artificial intelligence,= logic in law, logic and linguistics, logic and metaphysics, logic and phil= osophy of mathematics, logic and philosophy of science, philosophical issue= s of logical systems, philosophy of language =3D=3D=3D=3D=3D=3D=3D Awards =3D=3D=3D=3D=3D=3D=3D The following awards will be given to selected contributed papers during th= e conference: - Best paper award - Best student paper award All the authors in any paper considered for the best student paper award mu= st be students at the time of submission of the paper. Please note that it = is possible for neither of these awards to be given in the event that none = of the submitted papers meet the requisite standards. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Programme Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Chairs: C Aiswarya (Chennai Mathematical Institute, India) Prabal Kumar Sen (University of Calcutta, India) Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India) Members: Rupa Bandyopadhyay (Jadavpur University Kolkata, India) Sanjukta Basu (Rabindra Bharati University Kolkata, India) Kuntala Bhattacharya (Rabindra Bharati University Kolkata, India) Amita Chatterjee (Jadavpur University Kolkata, India) Madhumita Chatterjee (Jadavpur University Kolkata, India) Tran Chieu-Minh (National University of Singapore, Singapore) Deepak D=E2=80=99Souza (IISc Bangalore, India) Anupam Das (University of Birmingham, UK) Hans van Ditmarsch (University of Toulouse, CNRS, IRIT, France) Su Gao (Nankai University, China) Shibashis Guha (TIFR Mumbai, India) Petr Hlin=C4=9Bn=C3=BD (Masaryk University, Brno, Czech Republic) Moritz Lichter (RWTH Aachen, Germany) Khushraj Madnani (MPI-SWS Saarbr=C3=BCcken, Germany) Gayatri Panicker (Vellore Institute of Technology, India) Anand Pillay (University of Notre Dame, USA) R Ramanujam (Azim Premji University, India) Nicholas Ramsey (University of Notre Dame, USA) Krishna S (IIT Bombay, India) Abhisekh Sankaran (TCS Research, India) Manidipa Sanyal (University of Calcutta, India) Sylvain Schmitz (IRIF Paris, France) Stephen G Simpson (Vanderbilt University, USA) Slawomir Solecki (Cornell University, USA) Shichang Song (Beijing Jiaotong University) Bama Srinivasan (Anna University, India) Vaishnavi Sundararajan (IIT Delhi, India) Sergei Starchenko (University of Notre Dame, USA) Ramanathan S Thinniyam (Uppsala University, Sweden) Jouko V=C3=A4=C3=A4n=C3=A4nen (University of Helsinki, Finland) More members are expected to join. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Organizing Committee Chairs =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D Sourav Chakraborty (Indian Statistical Institute Kolkata) Sujata Ghosh (Indian Statistical Institute Chennai) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Co-located Workshops =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Asian Workshop on Philosophical Logic (AWPL) - Date: Feb 6 -- 8, 2025 - Venue: Jadavpur University Kolkata - Website: https://sites.google.com/view/awpl2025/ More information and updates about the conference can be found at: https://logicindia.org/icla/icla2025/. For any queries or suggestions, feel free to write to: icla2025@gmail.com. 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 --00000000000083dfad061c3e6371 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for Papers  
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICLA 2025: Indian Conference on Logic and its Applications
Dates: Feb 3 -- 5, 2025
Venue: Indian Statistical Institute (ISI), Kolkata, India
Website: https://logicindia.org/icla/icla2025/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
About the conference
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The Indian Conference on Logic and its Applications (ICLA) is the primary c= onference of the Association for Logic in India (ALI [1]). It is a forum fo= r bringing together researchers from a variety of fields in which formal lo= gic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics = and Cognitive Science. A special feature of ICLA is the inclusion of studie= s in systems of logic in the Indian tradition, as well as historical resear= ch on logic. Details of the previous ICLA 2023 can be found at [2], and those of the earlier editions of the co= nference at the ALI website.

[1] https://logicindia.org/
[2] https://icla2023.iiti.ac.in/

The upcoming ICLA 2025 is the 11th edition of the conference and features t= he following:

* Best paper and best student paper awards;
* Two kinds of contributed papers:
    - Extended abstracts for inclusion in the conference proceedi= ngs. The review process for these abstracts will involve a rebuttal phase;<= br>     - Short abstracts only for presentation in the conference; * Invitation to selected accepted papers of the conference for submission t= o a special issue of a journal (to be announced in due course);
* The conference will take place in offline in-person mode;
* ALI will co-organize with Jadavpur University, the Asian Workshop on Phil= osophical Logic (AWPL) which will take place for the first time in India in= Kolkata following ICLA 2025.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Events: Main conference and co-located workshops
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

+ Main conference: ICLA 2025:
  - Date: Feb 3 -- 5, 2025
  - Venue: ISI Kolkata
  - Website: https://logicindia.org/icla/icla2025/

+ Co-located workshop: AWPL 2025:
  - Date: Feb 6 -- 8, 2025
  - Venue: Jadavpur University Kolkata
  - Website: https://sites.google.com/view/awpl2025/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
Important dates and information
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

Submission dates: All dates below are AOE (Anywhere on Earth).

- Deadline for abstract of submission: Aug 11, 2024
- Submission deadline: Aug 15, 2024
- Rebuttal period: Sep 23 -- Sep 28, 2024
- Notification to authors: 18 Oct, 2024
- Camera-ready version: TBA
- Registration: TBA
 
Easychair website: https://easychair.org/conferences/?conf=3Dicla2025

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submission guidelines
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Authors are invited to submit papers presenting original and unpublished re= search in any area of logic and its applications. Please see below for a de= tailed list of topics.

Listed below are common guidelines for all submissions. A submission is eit= her an extended abstract or a short abstract.

1) Submissions must be in electronic form, and must be submitted through Ea= sychair via https://easychair.org/conferences/?conf=3Dicla2025.

2) Submissions must be in English and should provide sufficient details to = allow the program committee to assess their merits. Each submission must be= a single PDF file.

3) Submissions will be peer-reviewed in a single-blind process.

4) Submissions authored or co-authored by PC members are allowed. PC member= submissions will however be subject to a higher level of scrutiny than oth= er submissions.

=E2=80=94------------------------------------------------------
Additional guidelines for extended abstracts
=E2=80=94------------------------------------------------------

1) The submission should not exceed 12 pages excluding references, and shou= ld adhere to the Springer-Verlag Lecture Notes LaTeX2e style [SV]. Detailed= proofs of technical results or other supplementary material, if necessary,= can be included in a clearly marked appendix or made available via pointers to technical reports which may be = read at the discretion of the programme committee. There is no restriction = on the length of the appendix.

[SV] https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu= idelines

2) Submissions of previously published works, or concurrent submissions to = journals or to other conferences with proceedings, are not allowed. The aut= hors can however make full versions of their submissions available at onlin= e repositories such as ArXiv, HAL, ECCC and the like.

3) During the reviewing, there will be a rebuttal phase for extended abstra= cts which would give the authors an opportunity to respond to the initial r= eviews. Instructions related to the rebuttal will be communicated to the au= thors before the rebuttal period.

4) Accepted extended abstracts will be published in the conference proceedi= ngs which will appear in the FoLLI Publications on Logic, Language and Info= rmation [FoL], a sub-series of Springer LNCS.

[FoL] https://www.springer.com/gp/computer-science/lncs/societies-and-lncs/folli-= publications-on-logic-language-and-information/734370

=E2=80=94-------------------------------------------------
Additional guidelines for short abstracts
=E2=80=94-------------------------------------------------

1) The submission should be about a page in length describing the main resu= lts of the work. Pointers to technical reports detailing the results can be= provided.

2) There will be no rebuttal phase for short abstracts.

3) Accepted short abstracts will not be published in the conference proceed= ings. They might however be made available on the conference website.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D    
Submission Topics
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The list of topics include, but are not limited to, the following. Submissi= ons of interdisciplinary nature are especially encouraged.

+ Algorithmic randomness, category theory, descriptive set theory, foundati= ons of mathematics, homotopy type theory, logical aspects of topology, mode= l theory, recursion theory, reverse mathematics, universal algebra
 
+ Belief change and revision, deontic logics, description logics, dynamic e= pistemic logic, first order modal logic, formal epistemology, imperative lo= gics, logic and artificial intelligence, logic in decision and game theory,= logic and social choice theory, logic and social cognition, logic and social software, logic for informati= on, logic for probability and uncertainty, modal logic =E2=80=93 algebraic,= algorithmic, category theoretic and model theoretic aspects, multi-agent s= ystems, normative reasoning, provability logics

+ Automata theory and logic, category theory in computer science, logic and= algebraic methods, logic and concurrency, logic and games, logic and quant= um computing, probabilistic logics and stochastic processes, transductions,= two-variable logics, well quasi orders

+ Automated reasoning, formal analysis of programs, formal verification and= synthesis, hyperproperties, logic in industrial applications, logic in sec= urity and privacy, programming language semantics, real time logics, tempor= al logics, theory and applications of SAT and SMT solvers and theorem provers, software/app development for l= ogic

+ Algorithmic meta theorems, comonads in finite model theory, decision proc= edures for logics, definable functions on relational structures, logic and = computational complexity, logic and constraint satisfaction problems, logic= and databases, logic and graph structure theory, logic in machine learning, many valued logics in finite = model theory, proof complexity, stability theory over finite structures

+ History of logic =E2=80=93 Indian, Chinese and Western and comparative st= udies, Indian philosophical systems: Buddhism, Jainism, M=C4=ABm=C4=81=E1= =B9=83sa and Ny=C4=81ya, interaction of classical logic with other logics, = many valued logics and their applications, non-monotonic logics, paraconsistency, particular systems of logic

+ General tools and frameworks for logical systems, Large Language Models (= LLMs) =E2=80=93 cognitive aspects and impact on society, logic and cognitiv= e science, logic in education, logic and ethics in artificial intelligence,= logic in law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy= of science, philosophical issues of logical systems, philosophy of languag= e

=3D=3D=3D=3D=3D=3D=3D
Awards
=3D=3D=3D=3D=3D=3D=3D

The following awards will be given to selected contributed papers during th= e conference:

- Best paper award
- Best student paper award

All the authors in any paper considered for the best student paper award mu= st be students at the time of submission of the paper. Please note that it = is possible for neither of these awards to be given in the event that none = of the submitted papers meet the requisite standards.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Programme Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Chairs:
C Aiswarya (Chennai Mathematical Institute, India)
Prabal Kumar Sen (University of Calcutta, India)
Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India)

Members:
Rupa Bandyopadhyay (Jadavpur University Kolkata, India)
Sanjukta Basu (Rabindra Bharati University Kolkata, India)
Kuntala Bhattacharya (Rabindra Bharati University Kolkata, India)
Amita Chatterjee (Jadavpur University Kolkata, India)
Madhumita Chatterjee (Jadavpur University Kolkata, India)
Tran Chieu-Minh (National University of Singapore, Singapore)
Deepak D=E2=80=99Souza (IISc Bangalore, India)
Anupam Das (University of Birmingham, UK)
Hans van Ditmarsch (University of Toulouse, CNRS, IRIT, France)
Su Gao (Nankai University, China)
Shibashis Guha (TIFR Mumbai, India)
Petr Hlin=C4=9Bn=C3=BD (Masaryk University, Brno, Czech Republic)
Moritz Lichter (RWTH Aachen, Germany)
Khushraj Madnani (MPI-SWS Saarbr=C3=BCcken, Germany)
Gayatri Panicker (Vellore Institute of Technology, India)
Anand Pillay (University of Notre Dame, USA)
R Ramanujam (Azim Premji University, India)
Nicholas Ramsey (University of Notre Dame, USA)
Krishna S (IIT Bombay, India)
Abhisekh Sankaran (TCS Research, India)
Manidipa Sanyal (University of Calcutta, India)
Sylvain Schmitz (IRIF Paris, France)
Stephen G Simpson (Vanderbilt University, USA)
Slawomir Solecki (Cornell University, USA)
Shichang Song (Beijing Jiaotong University)
Bama Srinivasan (Anna University, India)
Vaishnavi Sundararajan (IIT Delhi, India)
Sergei Starchenko (University of Notre Dame, USA)
Ramanathan S Thinniyam (Uppsala University, Sweden)
Jouko V=C3=A4=C3=A4n=C3=A4nen (University of Helsinki, Finland)

More members are expected to join.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Organizing Committee Chairs
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D

Sourav Chakraborty (Indian Statistical Institute Kolkata)
Sujata Ghosh (Indian Statistical Institute Chennai)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Co-located Workshops
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Asian Workshop on Philosophical Logic (AWPL)
 - Date: Feb 6 -- 8, 2025
 - Venue: Jadavpur University Kolkata
 - Website: https://sites.google.com/view/awpl2025/

More information and updates about the conference can be found at:
https://logicindia.org/icla/icla2= 025/.

For any queries or suggestions, feel free to write to:

 
 
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
 
--00000000000083dfad061c3e6371--