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.4 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_ZEN_BLOCKED_OPENDNS, URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS 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 5CAA4307D1 for ; Wed, 20 Aug 2025 07:51:56 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=dtgyBcO0W5U57hWkTQgwT01BTbkHbA9ICVY63in42NeEHwgrkZNV4gsKt9sAvMP+mMrnMcUz8Sp1z7bWzeXdQc9uBNU/2nc05nAfw2XtQXAXswF+RdJU2OXkdEH5+b9Wats4nfpx8097k6ScYGlO8flBW67TQnIFmeh+wFalGxAZkstK7jracayIPiCnHrcPpP2fzTSNd2bOvS5KVbZZXU0DJy02QLsfnpgnAluraXt4n2ah3fG7xeTnZQbHQulX1UCQSUaMO1ygOFt6RJZGtfzXcNg8i7rWZVg39yu3EwMl1ZyQTV/9fUVARw8qNGX1iaaemZ7e7e/mJU2omkPkCg== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=KwIwbZwLPn+Hy1hikRzy/hLt7OctnHdd/iiapjYVkio=; b=XdZZ0oF1wjF+0J0nScuibAQtn/0BWMhO+RNRJSeyX1Hz4JSoa9lO/IHATdDi8qAJu30ZjCmKo93V1jZdUyi8YJg2y5maK8AeMoWhtAVFgMFmt7b+WnaSwp+voWWT82B1EN4wp02jclfzOwCTepp0Vbib2wfG8f4Sil8JWc2+9me6+/rMuVrq0co71tkcRNEfY/RN6JIylBpU0Lj2rHQxRHjK0Fg9qbzoECwkl3+19s4/GdNaX8g2AhrBbDh5bwLA+lhY6CVc0lBwyAcFDoO5a03xf6+tUGpn6eLu9bt9PJDqrvn9qg61S1TMfa6Lq7ZzvVG7Sk60GJj7POnBNL79kA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.47) 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=KwIwbZwLPn+Hy1hikRzy/hLt7OctnHdd/iiapjYVkio=; b=g2KSONRb3MHEYw79MX6YQAnGBNbrmUtG7BI12tVhpRNOhPGA0o/V5Pf4zsNIAm669dqj6By40laeFZuAkgXFDleP4ogf2tl+UioZTANaGvH51j+4HuI8Rd9dBwuiSx/IGmoDu6mFcnSkWmyZNboacLdEx8pxr88W5ErfMXZxYcvlpQQ1VWF7T7swRWhg+gJEl3kPWmF8apt8RK5e74awIs2qhpvkXDDoLGdEW251m7VYmkKOxJm/Xfn5+oxJLDU+4Ws2Hu6Xfq/gh0ZE9bJU/kGbXCZKgD4BW7sxpU6/JZ9WfTt6WYbIxD+bYcS/oPzjvXLx52s4eCKmoZXHefJPsA== Received: from SmtpServer.Submit by ME3PR01MB6022 with Microsoft SMTP Server id 15.20.9052.13; Wed, 20 Aug 2025 05:51:53 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=ZuLd3UXRxspxccUL+B6DVTwfxNxCww3rPj6e0cHyC1Ok17FOvyGPAPnhzIkHsOZKdoVxC3eRjZK3y2k4723xxyDI4cSZ4GbHzP16Rnqu0qu7vtEWYFukzCMO9DBO5AKsIaJNAUYw0GxX7QeWi1iVQtt1BoOaDF7I4jNbSzbMmpnwTvCBrnkVPvYuh7VZfYq59kpyqs7bPtsyRpAGU9KcypLbsnX7J1Io1cap21YdCz917Yaz+K2j8AXkevdIzIbi7IbL89xDomsa0Zp0yMiY/IGly/EItoC5f6fz6BNAo6ykMUaDNtgOqymYNhg4p34wGP7ddiXgojY3oFbMX/dSrw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=jmAe+Oehzo6AR5C8sX6LpUvGaaWlkrU06e72/qLqPmY=; b=fj5T7mqUxbCYmBmWaXdE/Dm4QjODtnmyzwajdjj00sB0UF+fAHHN11NuArmP09Yi4BuMxgzw0FX+7v47rcFmJB8CcWrse1k8NxfpzUjf8jWRpXoMDtjP8dgOJNJSQyjgasxxZHUkQb8gtzEBwpfbDZR4uC/DBqoJc20Vmw9O7keoptXShtVM6IqL6LhOiZnyF5CuHtIhLos370AI5phCXdzNkvF67kQtpOWvkITl4Cer0u4H0TudCvqpfTkJ+dHcU+28wH3bxEihng76kpfLX5qtZqLUbbytXX8IV9o0XxqXU851SQApW4OnIGUbgu8rgAMPl6yxLB2vztxIsCdpJw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.47) 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 SY6PR01MB7671.ausprd01.prod.outlook.com (2603:10c6:10:163::24) by ME3PR01MB6022.ausprd01.prod.outlook.com (2603:10c6:220:e7::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9052.13; Wed, 20 Aug 2025 05:51:39 +0000 Received: from MEYPR01MB8560.ausprd01.prod.outlook.com (2603:10c6:220:164::11) by SY6PR01MB7671.ausprd01.prod.outlook.com (2603:10c6:10:163::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9031.24; Wed, 20 Aug 2025 05:51:35 +0000 Received: from MEYPR01MB8560.ausprd01.prod.outlook.com ([fe80::803b:4f63:534e:7162]) by MEYPR01MB8560.ausprd01.prod.outlook.com ([fe80::803b:4f63:534e:7162%5]) with mapi id 15.20.9052.012; Wed, 20 Aug 2025 05:51:35 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=S3TVNZZPXOC+jGWsbbR9z9WlRF8hJmgaSqUaPcEKvINmRdZ8l9qPdo1Bc2NyafjpGlrp9oAvULIlK9chnZ12aiDEA2rPUXxxlCK10rOlGCmvfL6se/LeNfRAYiA0oOGvTaRX3ZkRKxHv0pzTLJMLRzwf3/UIUN7I4/kAU0KSialOgayOoFIlj0g6Sr0iroTs8r8tl4k2BjEcpjPVMe4pSOnmkVpTgw3uGvtJpNYBIKFOUx7eyAKySLk8ucZjKbJVybfyH0DB0efwiwYtwDTn9cvpL4VAQAGY+eZJcxJHVWqmyXtS2ZaRnRJYF/PuqzHVpIhBUQWzJ/zRLK60pYi1gg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=jmAe+Oehzo6AR5C8sX6LpUvGaaWlkrU06e72/qLqPmY=; b=IYRy8pxIUNXIQHCs018iuGmGaGbaWPgF9AaHdzeIIQgn+XBtx+s8U8IqSW/AfgApMzSCCrJUH8poq7rpBJPKQBAJfxA5982k6SWEWMdOa5YAnlcBhe0Z2gJYWnDAbbuecir5DZAkPWjdoTNUhyHc0Ooras40RNEV6JesnUxFRRaV1lAo2c3LRRvQ5BF/nqMGDDsW/RCPmUQ0eFus8fDZnpCyeaxXYPfEqKHV7JGCpfzEwgLeohWBOHQYPmG+I9BcHcxa5oAlZGMbSziZS0BnLv1lf/91KYai0h8HDVVRU4g2frFQVKMfdJlFdUajO9tlgqJT/0EUWHjCNSQZQRxDTA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.47) 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 SY5P282CA0065.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:203::19) by MEWPR01MB9085.ausprd01.prod.outlook.com (2603:10c6:220:1f7::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9052.13; Wed, 20 Aug 2025 05:28:23 +0000 Received: from SY1PEPF00005A3C.ausprd01.prod.outlook.com (2603:10c6:10:203:cafe::51) by SY5P282CA0065.outlook.office365.com (2603:10c6:10:203::19) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9052.13 via Frontend Transport; Wed, 20 Aug 2025 05:28:23 +0000 Authentication-Results: spf=pass (sender IP is 209.85.208.47) 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.47 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.208.47; helo=mail-ed1-f47.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY1PEPF00005A3C.mail.protection.outlook.com (10.167.241.39) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9052.8 via Frontend Transport; Wed, 20 Aug 2025 05:28:22 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1755667702; 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=jmAe+Oehzo6AR5C8sX6LpUvGaaWlkrU06e72/qLqPmY=; b=kjCaQ3ZBYtQVucKSvjfyijQ3nutlttWVdCxVlUyxSpVeIbhgOkrJQg+ECA4MSZGPOfbOyj WwOgw4Q4LfzEqTvnASa1NKdHQFK/F4+Um94MtWunnAUUWWZJ8qLwblZEc7C/I2Q1hknf7I i/zrWZAIAsYJlVNYFZZXQ+cV5ywk0dZ8wI6HmeMx2cM8T5zSfr27YaviXtxGq1Pl4ZytzP eMRH6tr6w9y3y/5I7PF3p4tptNzx38BEFfvcFTH9HL5uGnEdtFppLLJvdAQx3eqAJ+0ZnJ rGE7t8IeiJuAh4e5zVdNqlCuvhGBbYFatrGksb0TIWTI3tH2r/IYGg0XORVwGA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1755667702; a=rsa-sha256; cv=none; b=XkObhOzZQBgQrcW8TIGn3mQQG7vNtyONNHbh9KGjyrI7rk0ODnVwGO1nUdBXp6b1eOGutx XO+ghL6GtJpTmZ9tyji5/tpMn2Re5i+7y/QHC1SY3ADdFC2Vw9sFKnqoPRhhTRpCts1taK TitByIqDQnILBctILOUtFp683CLkkK/rlD2AQC+/4ob72Y+3V/CWH3Im8YmWgJKdJWVoxv G6z3WCDvQd3ysqZMciRMkGFUNVa4EQ9wgf/v4S95Kshs38I/K5O5gGAWTO3uegdHVbAXNm GwYuDqSksKzevoHjRU5+lbYWCCiNyqMDhByRmPZHQ5UTod3ITLghJWTPFz8J/A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b="NjYjP/JA"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.47 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="NjYjP/JA"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.47 as permitted sender) smtp.mailfrom=abhisekh@gmail.com Received: from mail-ed1-f47.google.com (mail-ed1-f47.google.com [209.85.208.47]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-53-y4paE9epOLGb2rnnj5TjXg-1; Wed, 20 Aug 2025 15:28:19 +1000 X-MC-Unique: y4paE9epOLGb2rnnj5TjXg-1 X-Mimecast-MFC-AGG-ID: y4paE9epOLGb2rnnj5TjXg_1755667696 Received: by mail-ed1-f47.google.com with SMTP id 4fb4d7f45d1cf-6197efa570eso7577959a12.1 for ; Tue, 19 Aug 2025 22:28:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1755667696; x=1756272496; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=9WPppAVmC5J3y57X+KffAK0aHsaFB4+pTU0sEmUoMig=; b=NjYjP/JA27Unh59N0U2UW9yH/IIGTYYpOSXAzxtVHcnRlQj5/JItjkStLYqPLqJ+8J OuC1uhKoLkXRbihcMxrj1+8IMUGPWQRLKXN6CezqGAyHMCv3vSagEg4Jd7PMtOHQUQIy 15+9b53wnLdFg8pMfGFQjn+VZN4vEJTmJQ5WfYbYFUj3wqqOydrbqhdpt1suqvceRPu3 TCaUyZd3hS1GTPPN+JpARHL1+XDuSPDTc0ImKeBaNkWGIp7KyHIFHNApDo0AMXWQY1LR Q2rQ50pq4STAuC+GzCvlmJ5qkw8HdUVzsJoGnZGwLmLkIselqDvBCWwvHfYeP31D2Kvk JJxg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755667696; x=1756272496; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=9WPppAVmC5J3y57X+KffAK0aHsaFB4+pTU0sEmUoMig=; b=xSVqYVyn4CRaoEsrnUb8QyvI5B4tE21aXjdAZyWnszIGzUQBmJi9b9ght+UjEAQFub sweppMPS6fOG62LDkUGJF7elrDivJTs4bwIFEo3ZFPyMObXTH5lsRRxQRlDDkd1kgVLd joYgyf0PYIS2oHxzYA8DFJp1pSC8P8qfmGiWD7LR40LRVbGhdkOBnWByo1z8JL0DIdBN dPaoTK5QBex2SCumXpf/sw1qs6Kqw3+wLjoQ50YoAlBkH9iK13DqfODpGwyC6GpO1gRf 9SMxqPjO+Uf0Izz2OW4g6iDOrlLmqGDLsDJ5nD+ePVQ+l0xMTXaPe+HTCMjnqK5q8OsB Ag2Q== X-Gm-Message-State: AOJu0YwP4vG2h0NMAi4yc73bE4du4NuRFV0GN5Czyrq5Y237B77r4T9/ dMN0AM/5QBwF7ouEeNFzKI96aFWNtEJQQ+Xmra/LwjDVIRIuYmafj+ke36AKbjXY3Sy0lPSmsSH U+MI76gsOBMQIwOIYqzxFJ60RKt2yAgtoLVXM X-Gm-Gg: ASbGncu40uoqIzJRe5K81T1tVtfiG0fKa8vJHk9KQMeWo8ocS6vkPbpVt5hujxcxPXX gMGKXQ4cE8LVjjjqp1JA5NVYCnIaVpZY04ZLDctqphRwK9E5G/7Aa5rBIdiOITCiS8SVpdfIypN ubczQO6vOrEz9ApcW8H/BFhDkRZx9T6309mWqOrkQXN1DbSokNcvsV7sam/K5JPKedugPe70LgH 5T08yuquK1l9LqNzCfooeQG8L+yuPzFH3P9NhguxQ== X-Google-Smtp-Source: AGHT+IG4JmpVXbp32CEt1l9hyyGHYDxKzgK8WOAyog/l/Y73O1vU0PiurG9w8IqCRY6LltZFu9dFZkJ52CLg4PAyixQ= X-Received: by 2002:a05:6402:40c6:b0:615:c5a9:4cab with SMTP id 4fb4d7f45d1cf-61a9757037cmr1349060a12.13.1755667695515; Tue, 19 Aug 2025 22:28:15 -0700 (PDT) MIME-Version: 1.0 From: Abhisekh Sankaran Date: Wed, 20 Aug 2025 10:58:06 +0530 X-Gm-Features: Ac12FXyGjIJSTTZffhVm_UpE4U4dLeSyxqWvT7inOX_I6hDHYMpG_r5vCgSfd8U Message-ID: Subject: RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals To: categories@mq.edu.au X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: kkaOwEhRbaPnJTH-CyElPrcuvqgcpovjO7-pedkC5Fo_1755667696 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="00000000000055bd4c063cc53d7e" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.208.47];domain=mail-ed1-f47.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.208.47];domain=mail-ed1-f47.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3C:EE_|MEWPR01MB9085:EE_|SY6PR01MB7671:EE_|ME3PR01MB6022:EE_ X-MS-Office365-Filtering-Correlation-Id: 8fe60a38-d8a5-41df-8dc0-08dddfaa618d X-Moderation-Data: 8/20/2025 5:51:34 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtFwd,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|48200799018|32650700017|35950700016|156008|7093399015|1800799024|82310400026|7416014|376014|13003099007|8096899003|3613699012|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?NllXVUpNWU9oRE95SW1Oekk5YkdJcW5qb0M2aWZVOWdaL3p0eXQ2eTZXODVq?= =?utf-8?B?TWpVeUtYZTdmN1Q2d3VReERSSkovWHBCUTR1QnBLQXRqYThXcDRSelVmZWRB?= =?utf-8?B?RXFoTTFESnQzenp0OUQ2bi9BQnliRmtqcUI5Q25jTkYrMm9JaVREWG5uMmhi?= =?utf-8?B?TEg0QWFpbWpIb1Q5NCtzTVBRY1JUSDJBb1ltRnkzc1NQM2FyVTd6RzRvZ2tw?= =?utf-8?B?QVdMVTgzN080cm1Td25NSFJhWWlxRkRja2Q2ZnVMbVJQRFZ4TXhETDF4Q3dJ?= =?utf-8?B?amh0NS9tNll0b1pYNmZrNEtQVWlhZ2hPbFFXVHFTUzlqQWZvbHRJK09DWU02?= =?utf-8?B?eUtQK3dZNUtieTE1d1F2UnRKcDU0b0ltNjFLTDhROUMvYzcxNmxUNStYK2RE?= =?utf-8?B?U3h3YzRUcWhDQ1JTOWx1WVpORUxUaTV3ODZMZVFZZXFpb1dHQzk5ZTBxS2JO?= =?utf-8?B?REdubVlFcVFUTG9CemhBT2RqL1NQb2Z0cFJNNCsyUFluY1ZUWE5HbnY4RGZ1?= =?utf-8?B?RjV5ZXBza0lkYmJYMTVESHphUHhyeUw5TDVGaW82T1VseEFmdit3NHUwZmZk?= =?utf-8?B?K0U2VUtaaXpCTHBNR1AwNnRtUmx3WCt2eWtvZDRqTHdPd2lJRlZweVM3eU9X?= =?utf-8?B?c095WmFNOVMwTEZ1RDRHUTJQd1h5YmZ2c0h5d3VQS2ZTZ09yVGlGbDdvZFN4?= =?utf-8?B?a1p1TEo2ZGFvZkJQSlZQSUtFK0RqUWF4TjBOcnk3YjI5OU5GZGova2VmRHhU?= =?utf-8?B?NHZTME1JKzRxaWhBZG5OamorUmpoa2kyMjFYVVNER240dk9YQXdFOFpiUWFz?= =?utf-8?B?dWxSY0diUXpLQmh6YklGVXA2M21kNlh3K1JGUkVncS8wQ0c0d0plR2RaTE1q?= =?utf-8?B?MG1lSmJ1U25VT0Y0YkVYdkFKdEJNTnpNczZiOTRxSUwzbHhERHpSZkUwMjUx?= =?utf-8?B?a0o3RmdqSnpiWGR6UjBhNEYxWElncHVLMW9rWFpvQURaMVFhY0VndU4xN05z?= =?utf-8?B?N1NMWnZsVGFvQktkTmRDVkNlTmIwYUZjZVk0bW5IeEFraEhXdEtXN2lwZjRv?= =?utf-8?B?bGcwemlQRHlMTWw4K2VqeWdMbXdNYzVqbEFDQ3B3OU1JTysvRE5BSWRNL0hY?= =?utf-8?B?MFZ0Vk5oNjA4R3ZmV0I1OHVTaGNRUGhRSkdVdmF4akxET3AzNkFRajRQMmE5?= =?utf-8?B?RGFKNi9seWlVcVh5bVQvN2Z4NzBhR3VBMjdGU3JybGxDYlI3M3pVYjdBRzU0?= =?utf-8?B?RmV4NzN1ekJmR0dpcGw2dWh0Y3JjVlYrU3FWTmtGUVJMYXdpR0F0Q29aNWln?= =?utf-8?B?eG50Z2pjKytRdTlEcjQ0eEwrZkxPSXFjeXQzUmlRaitGeVRoYi9xckRKcUJS?= =?utf-8?B?dVJadytqalE2VzluamtsZWJ1U2pHUW9vRjJhc2ZhL0lDc2pYOUtaVUhiT0Np?= =?utf-8?B?VmhGelRHUWQvS01hNjJFOFlpenk3UFNNdTdGSC9MMkVJL2JnR0Q5ZWMyWGc1?= =?utf-8?B?WS9ueVptbkxWUFhRUzU2aXcySStjNFZJWStGcytBakNYNVkvd01BRldpOHUr?= =?utf-8?B?bzZ3TmFtZXhlUm91THdXVHQ2NldaNURXL1RZTTNpOWNSMUx0cjV6c2dFak4x?= =?utf-8?B?Wk9JSEFLaDN1NWN2UkZZWlJiSVpMK3Vwc21tN0UyV0ozMzFhY0wrS3ltZ1Vs?= =?utf-8?B?TnpnaVBubnpETFF4bGpvQ2kzUEVVYTdhM2J4UkcrREthSEcxcXlOcEZGWWNT?= =?utf-8?B?WmNxUXBCRGdlWlJDL3l4c2xpWU5OWFg3Q0toczY5cElOZTdlUHBURnZ3SFRV?= =?utf-8?B?V0xGc294VGgrTWhMV1ZYMzhqNHVDSUxXcW9BSzdlUVNsc3prZkZLeVpqYjZh?= =?utf-8?B?Y2lkbDQ1UlZzbEtyaE5FM1RBTTdiRUlaRGVVQXRrU3F3Zlc1SEpVYWtRcTN3?= =?utf-8?B?eWpDMUNsZ0xEcm5hdjFXb3NSZWZ6WlZDb3FBaWgzQlNkTmhIQzNyRW9ROUZS?= =?utf-8?B?dUs3TkRjR005R3NQcGNOUXNGRXA4cXdTQ2VBRmZSOXNXZ0hOZG1iMG5TWVlE?= =?utf-8?B?aFNVOUVZY3ZWNTNiODQ3ZmF0TTZIeGNDNnl3QT09?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ed1-f47.google.com;PTR:mail-ed1-f47.google.com;CAT:NONE;SFS:(13230040)(48200799018)(32650700017)(35950700016)(156008)(7093399015)(1800799024)(82310400026)(7416014)(376014)(13003099007)(8096899003)(3613699012)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 8fe60a38-d8a5-41df-8dc0-08dddfaa618d X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3C.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Aug 2025 05:51:35.4309 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: GwUzalCkpFfRnmBXljQ3EFLlGBuDV7lZYJeV/9+Kpxsc0OUVIbHAeOz3QMOVa3q2UwpDlfHkQfz/SuKDjWs9GRF4Kz1G1F1j3l/GRM1RR1fSxVM5ylCq/bu49VexqWvJN2JETg1+i1kDlpoZWASDEtvlX3gPZmxqR0OZ31I7ugReBt0Xiq8iTFAjol74WrV5 X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB6022 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?eEdnQy9qalEvcFpoamJ1Uk5yVkRtRGZsL2ZvWmxzbnFKYy9yWjM5WGZ0Tnl5?= =?utf-8?B?MTJRMzh2cVpvSC8xY25NTlR6QTBOQnVZc1hZcVpEODF3dm9uSjZaV3pUS20r?= =?utf-8?B?cEZLVjZFOXV0US9EV1BQazdMdDYvUS9OVWM1Z0lxVmRqamNIWnNDem9XMTFx?= =?utf-8?B?N2JHU1gvSnRqV2dZZkRYN0hEOFZFNHZ1WU1ZejFwZjFQT1lDMkQ1b2o5bjRs?= =?utf-8?B?V3B3WXUzcDZBbllUdFhZbFFXQ3pjM1A1anVseFI5UnF3WWdNcjI2UzY1c21U?= =?utf-8?B?cUxGV284dGtqSmQ2QmpnSDVnZzVRdDZHWUVNaXhMWEtFZ3FMWkFjMUk1NzFl?= =?utf-8?B?S1AyOEpXZUhBVnArekV5VitKZHNRTmcrTzFQaHcyTXNQNFJraHlnU3lXOS84?= =?utf-8?B?UmREU2hUeUVHdkU0bXpmSjVVVG53Y1hNVVJjOGdBQXprU1orRkVxS213bWts?= =?utf-8?B?aFNHT2oxdVl1YUN3T1VIRHc5cFZITEFvL3JsWStvNlBMRm5TMG5KVVdIdlVk?= =?utf-8?B?RVFaRWp4Z043dEpkbG1WOVZ2Z2xrbzI4NFhocGZHc0MrQktRNzBiNTFRL0o0?= =?utf-8?B?TzluMS82WGxKY0ZvMjVNOUtYWGZtcEdBYkNaR1VrWGd4SjNCeXdKMWVnOUJp?= =?utf-8?B?aFdoc3RXR2NXbXhWQzAzQ1lJUzJBb3V0WnZmVmhtL3IzUHVSTkp5VzFEM0E4?= =?utf-8?B?NTJ0ZDd3TUVKTExOcXpYL2c2UG9nczBvQXR2Y1l0cjdYS0FZOXkydmdYbzJG?= =?utf-8?B?bm1xc0l6Z3E5MTBZTWZOeE9NVjdycUJhT3p1Y0YrNjlkWmtZSmVLYXFoampt?= =?utf-8?B?Qzg0Z3hQVngzVjJyNDVpblhac3hjNm9vMG14MS9ZK1c0UTFFN0dxSnQ1KzJr?= =?utf-8?B?RjVrdkRQVEE0dXlJUHZkaWlhSzVkd01mTUkvbjFkc3RSK1AvM0ZJc2JUcW5T?= =?utf-8?B?cjlCQ0prb000VnI4RTVrMGd4TXBzTVdPTjB1eW53dEV0SVdXMmxOQU5kRTZa?= =?utf-8?B?bDFrNkxlUXRaRGNVWWx2MTNzRmc4N1pwVUM0S1R2VzU1SmgyRzlZNjFCeXpM?= =?utf-8?B?aVRzdkszUEg1VEVDTVptbkVIU0lacVFZSVpQb0NkSG0wT2xBOXh2eE91TlZH?= =?utf-8?B?QUtWS0w1d0xxTVc1YkxMd2Y5VFhlVWpVSnpuRmRHZHFieTlKbUJSQy8zcStZ?= =?utf-8?B?V3ZQMGUzbytXVXNpanJpUlE3cmhRam5EYnF2UDJGai9aU3hydU52NmNyamxJ?= =?utf-8?B?UUxmbW0vcXRhY2tKQTFBNm5XejBRRlhHWERWb2tSalppM21zam1KUm84TjhD?= =?utf-8?B?M1hvT0RCeFNKbzhpNmZyMDdtRy8xbXVvczlwSTZlNTdjR1RJUkxmcnJvRXdY?= =?utf-8?B?YlBkVUwzUzh1YVhEczUvbDZxN1Rua2xMUVIyaC8vOVhPZitXNzJ4N1U1NzNx?= =?utf-8?B?eWE5K0xrMlZ3clJFV0NuZG9MVzJZb1pRL1VaNlZHT2JqOXZmL1lEZXU0eGpp?= =?utf-8?B?Z2lGRzFuQXhSVGN1TUk2bmtXNVlvNG5vMVgzZW5nS3VLSjZsbklIWERRNSt5?= =?utf-8?B?OUlUZEJmaVl4OXVrUVFJS25XWWxmeWk3UzdkclRKcUdXZlI1WmNNUmNoYnhh?= =?utf-8?B?WUxXdFVzVFplWkl2V3gyVnhMVkN0OTZmVms4ZnJwRHRwZW4wUkpuZzkrSG1m?= =?utf-8?B?QTUrQWRRRDk3VTU0dFhJMFErVGhiSitlclhPaVF5bEsvbExQc2syTnZYeDN5?= =?utf-8?B?bExJZkZWaHJndFNNa1p3d0pZVk9COGQvSEFzank1Q05oNkNhR0RHQ1htMkdy?= =?utf-8?B?Skh0SnR1SEIxaEhqWnhPNjlVTkdmeGt6MklBWm1jQW96dEdKY2ptUnVOeUdQ?= =?utf-8?B?eFBxVFNyazMvYjdCZzZyYmNEajZHZzNUM0U5T1oweWo5dmc9PQ==?= X-OriginatorOrg: mq.edu.au --00000000000055bd4c063cc53d7e Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable =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 RHPL@FSTTCS 2025: Workshop on Research Highlights in Programming Languages December 2025, BITS Goa, co-located with FSTTCS 2025 Website: https://fmindia.cmi.ac.in/rhpl2025/ Submission deadline: September 18, 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Dear colleague, As you may know, FSTTCS 2025 (https://www.fsttcs.org.in/2025/) is going to be held at BITS Pilani, K K Birla Goa Campus (https://www.= bits-pilani.ac.in/goa/) during December 17 =E2=80=93 19= , 2025. The conference is organized by IARCS, the Indian Association for Re= search in Computing Science (https://www.iarcs.org.in/), in= association with ACM India (https://india.acm.org/). It i= s a very visible forum for presenting original results in foundational aspe= cts of Computer Science and Software Technology. As in the previous years, this year too, co-located with the main FSTTCS co= nference, IARCS is organizing the Workshop on Research Highlights in Progra= mming Languages (RHPL@FSTTCS). The focus of the workshop will be on all are= as of Programming Languages (PL), including but not limited to: - Applied formal methods - Automated and interactive theorem provers - Compilers - Concurrency and memory models - Domain and type theories - Program analysis and verification - Program sketching, synthesis and repair - Programming language design and semantics Further, in view of the increasing role of Artificial Intelligence (AI) and= Machine Learning (ML) in PL theory and practice, the workshop also include= s in its scope themes pertaining to the influences of AI/ML concepts and to= ols on the mentioned PL topics, and vice-versa; for instance, probabilistic= programming languages. The website for the workshop is: https://fmindia.cmi.ac.in/rhpl2025/. The objective of RHPL is to foster interactions between the attendees of th= e workshop, and more broadly between researchers working on Programming Lan= guages and the traditional FSTTCS community of researchers working on Theor= etical Computer Science and Formal Methods. We solicit: (1) Talk proposals: On recent work that has been published in good venues, = or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been d= eveloped fully. Selections of these proposals will be made based on the pro= mise of research possibilities and their novelty. Proposals to the workshop can be based on one or more works, published or u= npublished. They may be submitted using the Google form below. https://forms.gle/RufuAs54zxsadp1n7 The important dates for the workshop are as below. All dates are in Indian = Standard Time (IST). - Submission portal opens: July 28, 2025 - Submission deadline: September 18, 2025 - Notification: September 25, 2025 - Early registration deadline: TBA - RHPL@FSTTCS: TBA We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Abhisekh Sankaran (TCS Research) (co-Chair) Divyesh Unadkat (Synopsys) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Sumanth Prabhu (TCS Research) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) 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 --00000000000055bd4c063cc53d7e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=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
RHPL@FSTTCS 2025: Workshop on Research Highlights in Programming Languages<= br> December 2025, BITS Goa, co-located with FSTTCS 2025
Website: https://fmindia.cmi.ac.in/rhpl2025/
Submission deadline: September 18, 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Dear colleague,

As you may know, FSTTCS 2025 (https://www.fsttcs.org.in/2025/) is going to be held at BITS Pilani, K= K Birla Goa Campus (https= ://www.bits-pilani.ac.in/goa/) during December 17 =E2=80=93 19, 2025. The conference is organized by IARC= S, the Indian Association for Research in Computing Science (https://www.iarcs.org.in/), in association with ACM India (https://india.acm.org/). It is a very visible forum for presenting o= riginal results in foundational aspects of Computer Science and Software Technology.

As in the previous years, this year too, co-located with the main FSTTCS co= nference, IARCS is organizing the Workshop on Research Highlights in Progra= mming Languages (RHPL@FSTTCS). The focus of the workshop will be on all are= as of Programming Languages (PL), including but not limited to:

- Applied formal methods
- Automated and interactive theorem provers
- Compilers
- Concurrency and memory models
- Domain and type theories
- Program analysis and verification
- Program sketching, synthesis and repair
- Programming language design and semantics

Further, in view of the increasing role of Artificial Intelligence (AI) and= Machine Learning (ML) in PL theory and practice, the workshop also include= s in its scope themes pertaining to the influences of AI/ML concepts and to= ols on the mentioned PL topics, and vice-versa; for instance, probabilistic programming languages.

The website for the workshop is: https://fmindia.cmi.ac.in/rhpl2025/.

The objective of RHPL is to foster interactions between the attendees of th= e workshop, and more broadly between researchers working on Programming Lan= guages and the traditional FSTTCS community of researchers working on Theor= etical Computer Science and Formal Methods.

We solicit:
(1) Talk proposals: On recent work that has been published in good venues, = or is mature in terms of approach and evaluation.
(2) Poster proposals: On early ideas that are promising but have not been d= eveloped fully. Selections of these proposals will be made based on the pro= mise of research possibilities and their novelty.

Proposals to the workshop can be based on one or more works, published or u= npublished. They may be submitted using the Google form below.  

https://forms.gle/RufuAs54zxsadp1n= 7

The important dates for the workshop are as below. All dates are in Indian = Standard Time (IST).

    - Submission portal opens: July 28, 2025
    - Submission deadline: September 18, 2025
    - Notification: September 25, 2025
    - Early registration deadline: TBA
    - RHPL@FSTTCS: TBA

We look forward to receiving your talk/poster proposals to the workshop.
On behalf of the RHPL@FSTTCS workshop organizing committee:

Abhisekh Sankaran (TCS Research) (co-Chair)
Divyesh Unadkat (Synopsys) (co-Chair)
Deepak D'Souza (IISc Bangalore)
Uday Khedker (IIT Bombay)
Kumar Madhukar (IIT Delhi)
Kartik Nagar (IIT Madras)
Sumanth Prabhu (TCS Research)
Ganesan Ramalingam (Microsoft)
Abhik Roychoudhury (National University of Singapore)



 
 
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
 
--00000000000055bd4c063cc53d7e--