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.3 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_MSPIKE_H2,RCVD_IN_ZEN_BLOCKED_OPENDNS, URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2096.outbound.protection.outlook.com [40.107.107.96]) by inbox.vuxu.org (Postfix) with ESMTP id 6AAD325404 for ; Fri, 12 Sep 2025 08:32:37 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=DDjIyWGlS/4EK1QGmEqMnRZxBqxYTTOp9eMlll5V/WAUon1HFTiQ6ceAaC5nSfieRMiuOASaFPoWu/NebKHW8H80mXLH4teMjjp7u9TqzKInnjiV4p16pcPyhENWQ4J07VaJsdgvRsXMCKyQzoLHQbATlhwrkcW72HeFpfjAaozjw8y7V4/E4LUjcHhJ6bV5gM4m2rJQmBJkM2HlX6Ed2iQXsHip2QxwvE+cBk/WMROo7kURFNK92Ga9jdqsJBdlP39ZJK7Vgalr+fUyz56aY4nL10EBGI4J4p5CGvzOTv3jY0G90pkHl+hh0T7LdB9R3aPYNtO2eRSfuhm6e7KJmA== 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=VJ856I2SvHHFKkEcTDWb72DxSHfYE2kjDop5aqYznQc=; b=UQI3lsoi82iiqgXq/DaDPEbxlS96LqbZaWseZSJ80MQgvg5zOSzqWrLEsQP2oxq7mpjcYsgq08AP/ozrvpXqisnXTOmfVgY+0PzM8vd0KD2mnpTZaEoTlPeHRQZqkzb4B0kt96t5EkXerzu3WwAgUqBZducbjBSBU+Y+L57dK+cWa88EXGc36XiFMbBLITP5StqBho9iB0lD+FiDhRbA3CHMnsjyX2rZK7jmPHa0PUs/FGGYoshf2TreI4eihHdN/X4B6Vqk8QGp5rRRZNfI2tMbXF1JXmpmF4TLBkCpK6+r9hqT2/WMn7hr4yaYxCTdgOSLTZHNiXq6CP0SCOKA8w== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.41) 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=VJ856I2SvHHFKkEcTDWb72DxSHfYE2kjDop5aqYznQc=; b=pe6E873oKhDe5EZmdgqQYxi1v2I/TSFDUBJ6S3jbnBsGndvZsohkpwzl9N/SQWPFjvRckZL8fp4RYh+r+mtHENOwI0WxskSBkG7LO1guW/TfF9kx9FoPCdDupiBTTqgvj3xFwSXm7hhD+3F7H5Ks7XJi61ihfYH/qQMPchBJ2gxB96mS1pAKl+9H1egNGmYxVIDAPxri0Px9+S9fqsiLEnuogy3I8Ove4kWG9uDwlla4A07zio7SI7rjuXt+SDuXPkXa2MyDZwzmbk+5S/sPpBR/dUZG5aGBrdr8+gg8F5+NN5wYk5+MUaHdrcArxoa67XFybGEjHOcLW4xL4XkEQw== Received: from SmtpServer.Submit by SY4PR01MB8418 with Microsoft SMTP Server id 15.20.9094.22; Fri, 12 Sep 2025 06:32:34 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=v0/hVWSUCTTIJ3FX7yMDTlhAe8QjO9LonTUQhNtoSz5Pz4D7sTo/dpQnmu1FpBaYy+vmuV7kxa+obyE2LTs8BBJ5ccOtcL78ajfryQOOuq+bnH8LwDcRGg2yHU+o31qQtme4WyquAXFqtkaxRvM+sb3iBSLsNI+noIbfgHlW1gI00IdwHM/EXxK0PWsM4JlJeWCLS6Lh+XU/pgTSGrVNqGmGJ92m20XpzFYDbFs+7kz5s6LcI965rUzxSctSy143YOn7OqQaYmqWAtcabpYD3B3nt/nvDEB4hokKN3WsAjvvDK/sNgCpvREBCI+9W4myueHbKwjQsWcPT5JNxRk2JQ== 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=l5opfRLFIpgmXT5oGMF8yHzSgMFwnTBUHJuLYVs1+wg=; b=lcRF9AEbLUW/SHlLX4eQUtCiMKUJMjYb1We+3fDj/uB3r4g4FAzPkBFWGaNHX6iPrEHqCCYYZIrhzQe+wIaobcWwzrKeHntJhX2EDZz1tIT0ebGT3L0okG51c8v4LI2D3yvgM787sApuuGXVZZT+NXrCmrw4p5JaA9uslPYpx+aQ+GkN+XqWNjESmNTDCWyK8D1+6RZyVwNTRnKjsicxtUSzwgr3Hgz4D6OoNhXuvXGvd6yE8WPUaTBXzuF6ZwKnhZt1ZIwn2snMHFA2N1C14my2nW5H5UOb9A4PfQ31giAARM5CuYN2fg/XD4YB3wMl0z3sZzqZ2YIV2ORK6oFdYg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.41) 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 SY4PR01MB5466.ausprd01.prod.outlook.com (2603:10c6:10:fa::10) by SY4PR01MB8418.ausprd01.prod.outlook.com (2603:10c6:10:1c5::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9094.22; Fri, 12 Sep 2025 06:32:23 +0000 Received: from SYBPR01MB7916.ausprd01.prod.outlook.com (2603:10c6:10:17b::11) by SY4PR01MB5466.ausprd01.prod.outlook.com (2603:10c6:10:fa::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9094.22; Fri, 12 Sep 2025 06:32:19 +0000 Received: from SYBPR01MB7916.ausprd01.prod.outlook.com ([fe80::6689:f5b1:7c27:4656]) by SYBPR01MB7916.ausprd01.prod.outlook.com ([fe80::6689:f5b1:7c27:4656%6]) with mapi id 15.20.9094.021; Fri, 12 Sep 2025 06:32:19 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=oR/3t6YHhdNJho8QPF7EOle2+JLLO/J+kPFm6KfG/ANJIdE0Gn/+/38nynexa8PHg9UerQI5Mkd6fybA9qmrlYEc/jjZWigT06PLT+cIz1oQrZM3H5AhZBdyTdamnCyU42tgS7RTa6+Nzk8iBrcUADhzGbo5UiPKiGC9E9tNc+AiJyLvFlEyposHOitKkR0bncR19NtskDKCzUKlN2/WGhuPXgX5ac1qvwCQ65SA/XCkdvQnK7oBXyS672xsUup2dXylMTDTfp8LUIgJWFkLjrVv++cQaMibihdONdyEKMfF+1X7neKVMpR5xFxO6gi7XF4MxUfGoRljdGtQO1Zx1w== 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=l5opfRLFIpgmXT5oGMF8yHzSgMFwnTBUHJuLYVs1+wg=; b=BHR5uRyH+Z6CuWuxJ93a2GrORJXOpBFrZjMwzOcrcaHozWUC+9dBCgj/lo/N2E9mwE4PJn/9D0QGdgBVzdAhbZFvL/L3O+6VXwhxl7SXenVIfyDSzotH+xvxIC0ezaCCYDljhUWEi68SGEZR6zJ7qMUsXL2H1NcodBKcjTZbmYnBEwvQ+ZvwPLL3cTZi5PMOjV/BhyxW18PABsITrAM4OBMFeyCMbp+VN838nah+9KYMme9Dg8IlWONkkNnaYnXjcDT53/Ob/QE4iZIa2BhGjvfzXW9cNw0FBo6/s5VqpkNn1SVpWqheT+r/4Ub7YUKGhTY/lGwYmif/ORqgt0moKg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.208.41) 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 SY5P282CA0113.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:20b::6) by SY6PR01MB8234.ausprd01.prod.outlook.com (2603:10c6:10:1d5::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9094.22; Fri, 12 Sep 2025 05:50:21 +0000 Received: from SY2PEPF00004FF4.ausprd01.prod.outlook.com (2603:10c6:10:20b:cafe::fd) by SY5P282CA0113.outlook.office365.com (2603:10c6:10:20b::6) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9115.18 via Frontend Transport; Fri, 12 Sep 2025 05:50:21 +0000 Authentication-Results: spf=pass (sender IP is 209.85.208.41) 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.41 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.208.41; helo=mail-ed1-f41.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY2PEPF00004FF4.mail.protection.outlook.com (10.167.241.6) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9115.13 via Frontend Transport; Fri, 12 Sep 2025 05:50:21 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1757656221; 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=l5opfRLFIpgmXT5oGMF8yHzSgMFwnTBUHJuLYVs1+wg=; b=QHtMW1EUjddAJMewKitfD5gyynFm7/hsr6AaLQQVXTHKOIvYswEYfN+DPPCogbS+YXSQ1w rWkiy5OQP3pqAUvKIm0TKcc2RsmW8D/X6+qFl45yhUSYWlizqFy8jTuaSr0Wrk6InKloBO Qnpe/yAaBbiSmFNQhM2ITqJfAAtNHTEeUqfPtsRxIRaca/mC2k6zA1vsjbuOOHQU8Vousj geQbWPjlSAy2Wq1Yu4ZdGgimt7fCcMarh9hq9aoR7mlo7Yx2vC637AFtgMmWgH9tcsw8SS 4c4T3OLz5iTk+w+i7NUYasRs941lI6tMXFqGa3lA9Whd95SEhZV2pjuTY01dPw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1757656221; a=rsa-sha256; cv=none; b=jEh76OSHAg/CEXxNr7AQrYKVNELf0eisfbAOLQJ/OhBZnE4p7ET1cp+7aEwGM1r6I/rWKa LJqZtHfRMiCYDfv/m+bFlKfC/YNSGr19SYlMZPBgHzAod0kx+oNrdS6vQ92LUtXJZEj31R n5LHrvUoVWuepQPtteZaD8u376smItE4lSxRJifIJsdoMg/qrpsE3AfDN7M7utNbPUH6OC GOE9YYaiQgN1TtMLjlCnXHcWHuwQwjdY1jEpkGgCEC1Q5tXK+RBRJyeoOUcLfyIrKEnxFO MAJ5p+1v5QKtCi9xZ8JMgkaGHZMbvBnlgMPFVp1jTX8Gw9Cq5Ews+fEI6zCgvw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=ITaC0ZHg; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.41 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=ITaC0ZHg; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of abhisekh@gmail.com designates 209.85.208.41 as permitted sender) smtp.mailfrom=abhisekh@gmail.com Received: from mail-ed1-f41.google.com (mail-ed1-f41.google.com [209.85.208.41]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-86-WImJ28shMkyHPpEgKMfd5Q-1; Fri, 12 Sep 2025 15:50:10 +1000 X-MC-Unique: WImJ28shMkyHPpEgKMfd5Q-1 X-Mimecast-MFC-AGG-ID: WImJ28shMkyHPpEgKMfd5Q_1757656208 Received: by mail-ed1-f41.google.com with SMTP id 4fb4d7f45d1cf-62ec7fe6e35so2744968a12.0 for ; Thu, 11 Sep 2025 22:50:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1757656207; x=1758261007; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=MScMDS4IHimyN0nXOrM2DKdH5qOqfd5iZoI73vRGikY=; b=ITaC0ZHg92n6iZYZqcHdMrt0e56OhT4Ygm/GIsuEnWsg7H7M/tkWQT+LYLRnHwJdvC DJ2MKDixrnA+tCHDR8P2VcmK1iVPgTLs6Et5h8YQYuvh5Sshrg6N1TL9Du3A5VU3ypJ2 QbRAeykNq8Yxa7+QMQQMzKWLmF58acRbhTXFaU1xAbrgc0blod2kezsgPX0kSWNJ9l9R xmx4QaCQhdttaOkY1M4xaGRAgvsL7/SAvb0u87u+7l7RE6NHjTypeJfteyIgqo7+Cwsa Xpsga24gpcROXMW5lj+7InvUNg388I2hVvKMKXV91LEgaLvpo1admi4VzssTnc5A8U/i yKtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1757656207; x=1758261007; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=MScMDS4IHimyN0nXOrM2DKdH5qOqfd5iZoI73vRGikY=; b=PnPvlq6aUZNie9y/1gFbLCP5p/I5ZOh3NnnjS8fBC+0oUlne4t1ZC5cnaMtrzX/cNt 9CsGu20XsiVvwD570R02CJDGMiDEC2LNdzZ/URo0mjE7qF3Hdw1zqJKH7zNTkVWKOX8L 1BypFkBbfn9olWZGw8pvU3oGIaOtKDrYm6X57tx2AE0C5ncEyoJhIICtkyjspvHWdLuM BmcbLjNfGFvcMLTbR4JW1JtoXaLNYg2lvvIKs9Rihl4HJ/UhXkhHmcdqSB/dlF2iu7Dt 22WG6JICVe+c9+LmyyThWyZSk2CB3pYDWQZgMsFGxBq1AEQAq4Qw0ij+jElyqHtzdg2I fb3g== X-Gm-Message-State: AOJu0YzIlgBkzlhetbVNPRRXsDFpMtP0VvF5SvL3jZVmrLwU3kwpoWvJ Szu/nSLQl7llSY2PhLHwqN253a+fCFt/lWfLt7UOvVYgWLJt5YgH3XpKexg8EUDEde0mned8KW+ fki231K+Y7201hZ/YWfZnjkUbf0sGdcAB2A7o X-Gm-Gg: ASbGncvT7CcoQWxlOUn+DFvQb2CEntVif9/ZFlEmIy9Z2F9GJWFcsT7K+66SWH2HcPr SQIOR5AbWVqkwvCOcFGYytR83CTNY3Sdn2TAv0NewpCJ58n8muxLU0d+OG/9Qej64yXQ9VUQK+Z kL1kWQ7/YFgi2MvUEWwwD70HjIWSQ12Qja+I1lHbNlnZ4BpOiYMgWhVyWRGnUJGDcWHtAHPfq/2 lqM/lFKaSZAs3mlfqX1FiKn0bok/0zlakD/tTh2YrmRm7H1EPaSCbvNs/fUkq9qP+buUMlK6g0e n5Qd27x1 X-Google-Smtp-Source: AGHT+IG3WPDoXncg0WjUNmBbEFpgEOxa3jAnfCGoYTXEXmCGIyHga5A15loZ2IxW2cx1aqnS/zgvDyvqjaWOWdM4noc= X-Received: by 2002:a05:6402:5114:b0:62c:6a07:97d7 with SMTP id 4fb4d7f45d1cf-62ed82c4019mr1841851a12.34.1757656207340; Thu, 11 Sep 2025 22:50:07 -0700 (PDT) MIME-Version: 1.0 From: Abhisekh Sankaran Date: Fri, 12 Sep 2025 11:19:56 +0530 X-Gm-Features: AS18NWBtdv5p-IZxg-CvT33xb9QuP1zZGn-ZnTKctOrTLZbFMyk8WMcZmiHF2os Message-ID: Subject: RHPL@FSTTCS 2025: Third Call for Talk and Poster Proposals | Deadline: September 18 To: categories@mq.edu.au X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: QvFpg4hE7wiXIZUt2YIfJSRsKeJPZ2zpr0PhR3L7rhE_1757656208 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="000000000000e0378a063e9439d7" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.208.41];domain=mail-ed1-f41.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.208.41];domain=mail-ed1-f41.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY2PEPF00004FF4:EE_|SY6PR01MB8234:EE_|SY4PR01MB5466:EE_|SY4PR01MB8418:EE_ X-MS-Office365-Filtering-Correlation-Id: 2426833b-8abd-4c6a-d6aa-08ddf1c042f6 X-Moderation-Data: 9/12/2025 6:32:16 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|82310400026|7416014|48200799018|156008|376014|35950700016|32650700017|1800799024|7093399015|13003099007|8096899003|3613699012|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?RE5VZklKeEwrVmRpY0p1Tmk4YjJ0bW9lREtpaFBManBGRnhzNnR2RkxKeGZN?= =?utf-8?B?NElnR1RDSXVWL3FiN0RvMkFBMVk5N2tPTlFzVFFyZHJVUGxTZk5mdjdkdktO?= =?utf-8?B?ZlZVM09reTNQMzEzQjlQV0t6b0JDTjQ2MGsydXF1WUN0ek4vWlcvSW9mMHhJ?= =?utf-8?B?ZkJPdlNaV3c2TEFyRWt3K0xISjQ1VThZTGRzREtVYzJoWVFOc2NSN25LM0hQ?= =?utf-8?B?QmxWbGFHZGtuclIyRDhSWHhMQ3dQTUp3ZUUyMFpKRnNReEkzMGg2RVhWWW8y?= =?utf-8?B?WWdMTXV5eWZGTlZpZkpXd1I5cXJBZjRJS1BsQ2lxMnlKTGNrY3hjQzZZV1JI?= =?utf-8?B?NnhHVEVyNUpuT3RuNmtkdnhoK3ZOemNqb05rY1lnYlBrYytHb3JZdjd6dk5o?= =?utf-8?B?MFM3N0pqYnErZTNQMTluN2dYR256N3hEV2lsZzRlU1BLYXpHQ0g4bDROUTM2?= =?utf-8?B?dWNHWFp3aFVBbCtweDdpUUlvVGVoQ05JY1ZSMjR6WWN1cnBwNFZoQ3czVXJ3?= =?utf-8?B?R1hYMzBiUGZwOTBac2hIOVYzMUhxM0ZreENSQlBlUGNobzMzU3FTc1RsTkJF?= =?utf-8?B?SW50TmV6R1ZEQTNKck4rYWxZNmxhNkpnWTMxNXNIbFZWRlZaUXd0dGVMM2dk?= =?utf-8?B?WGttUDFhc1pkRUhuVGRMbFVwYjFsa1AwYU9yTVc5T0U2SjU2TnZJYU96MnlO?= =?utf-8?B?V1dpeUJTT3oxUE1adVZkOS9CRXlYVWEyVWk1S0lqNnIzOUQrMEdGeGhKL2Vr?= =?utf-8?B?dVQ2L1RuWVUrU0lkOXc4UjV1WHFvcDhxcUVUckg3YXliQUkvaDFUSzR6SVMz?= =?utf-8?B?eFNNZURmVmUxSUM0WHRrNk4vbTVWaUhNck1ScEFGdGVMS0tVQjVCT1JzRytF?= =?utf-8?B?dUdyK0ZFbW14NnJCb1V0VFNFYXA1NzFpdWNPb1RmY2R4MkQvL2J1d093UmtU?= =?utf-8?B?M0RmUUdULzZWRElDdnB4QTBjeXZVMDVlcmN1clNZdVg0Mk90cU9FT3B1cmtI?= =?utf-8?B?cDNnT1JySFdNK1BIN1ZzdU1MZk1pdG9tL3RlSUwreFlDQnh6TGpWaG1KSlBH?= =?utf-8?B?eG9SMSsyUGJTZEtzNHVvVmE3L2IwdXMya1Zoc056T1hyS0F1S3dhdXpMZ09x?= =?utf-8?B?UVNydGpSZHJPcWt6OVRydWxIUC9nWFV2Y3BGSHhPOWxtSDJ4L0pKRXdZQjYr?= =?utf-8?B?cHdKVzZXMVF3VlVjWHdFVjhwdDBzYXJuWkFFdmYxZWx2cXZ5a0NUbHpWRXJF?= =?utf-8?B?aVVaVWdjUU8zNkZGakM4anhreFFsSDVmdFRiUVpFZGpkcHc2OFdUNXlFRnk1?= =?utf-8?B?Y2paY1huYnFIZldLcUwwVjhBNUFtWkFjWklrMDdENUYybjhKS0ErWkk0bXJV?= =?utf-8?B?MC83dklSUkF0Y3FzTXpPOUlIMFZvYUlrTmdKU0hMWkh4V3ltMURSNGROQkxB?= =?utf-8?B?Sis5YXd4NGc2ZTNMY0wwYXJrUi8xcElodmtVK2lxMzYvZjQvTEMxV1RlZDla?= =?utf-8?B?ZHF3Rjk1cWsxMk8zbnAvcFNmN1Jadzdpc1p3NCtYZnk0TnI5RTNkMXZHa1c3?= =?utf-8?B?Z0RmcVMvOGFDd1VpeE00R1NVczl4cUlWa1BHL0QwQXE2T0FMbzA3MmJrS1Nj?= =?utf-8?B?Zk9oZVNRc3RIaUhPMGhLSCs0WEE3YW1mVDdrUlVwSFRBOXNDQnVTaHc3bXJB?= =?utf-8?B?UWVOazFJdy9uOFV5OVlEMFZkckRxc3l3ajM3RzlZR2htQ29LL0J0enVza25T?= =?utf-8?B?M3lRdEVmWFpiZjBvVjcxN05RcnhtVHlpZVU3WFlpYjgrM1IvUlBxS2pCcURu?= =?utf-8?B?N0krdzdKMGNzRkV0RWdKRmFvRzQ4YXBaRUhRZGNVaXBVMTdEQ0crTHd5aEpC?= =?utf-8?B?NWpaSjhZdVpvRnFINU42MUh1R1pCNUYvdit4ak1DUmIxRkFLTU53VFlJR0JC?= =?utf-8?B?TmNBdVBmZERmUjJtbmZCV1dyaWIyT0FGekRVN0p4dVJ2ZVhEWXR5VXFGYmda?= =?utf-8?B?b3kzTW16TDFqSnFkcDg0VUNkWTBCVE1LeFJ6TTNyYXlZamErWlM4OE1tR09p?= =?utf-8?B?dGhOOFhvUXVPUi9HLzJqNXhvMUpzNEdVclg0dz09?= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ed1-f41.google.com;PTR:mail-ed1-f41.google.com;CAT:NONE;SFS:(13230040)(82310400026)(7416014)(48200799018)(156008)(376014)(35950700016)(32650700017)(1800799024)(7093399015)(13003099007)(8096899003)(3613699012)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2426833b-8abd-4c6a-d6aa-08ddf1c042f6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY2PEPF00004FF4.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Sep 2025 06:32:19.1870 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: pl0dutxeY9bzYNtDcoQWjmo5xufdHvw8ivw3ePuQnxS5Yzu6jyJztfx0Llnn4BKeqfp5gIkIdqw9eh6lFvyFVBZkPkRqSmIM2szIvSDLnjsytd4qXohta9A6oG6iWZJPDGJecOHxl4aawsxxPTXV9D/dSkivb/7hYS/ZI+4/Ro1/XisvEHkqMT3tF69ZqEnh X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB8418 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?UVBFNDJzcGU2aXhMT3BTK1lCdm1OOVZ2ak9NV0hJdi9HMnFNeW9SVjFyUmFO?= =?utf-8?B?cmRBOFVxa211NGx2VXh6TGRySERYd1NOMXExQUJkbG05RTVaT2VtcW1TZHBI?= =?utf-8?B?bDI1M2x4WklyTFJTZGErbDZLUGc0RFdLSUw1VEJQWjVnelp1dGRTWnVkWjU0?= =?utf-8?B?NVBVQlBXeExyMUZ0b3dZTjhLdG5NdG9VOUFPRnBjMGFNSHkrM0g5MUFJbm4r?= =?utf-8?B?ZGdPaEdhQkYxY2lDYzYrb21KSDNHV3E4MUQvdUt1TThkblJpN1I3TGRPc2lK?= =?utf-8?B?dUJETVVVUWJKVWxaeFVPVUo2Q05KSkw5aE1oQ3c5c2h5dnBJWEs3YWNTVlFS?= =?utf-8?B?ejkyWnZoVVpERXFuYzBVSUJTc0lKZUxXSW9aN1dJeU1kNGNieWJidlMrM1FZ?= =?utf-8?B?NndvdzVhNWE1bGxtdjhabGNjZTFsRjNxL2x0TXNtZU1LbFhJZUNhK3p0WW1H?= =?utf-8?B?U1dGWE92Tkw2WWVmN0QyQWF4TERoTXlXL0ovZ2NhWUNOSEZNVzNvN1hmbzdZ?= =?utf-8?B?alMzcXNDbmgzL1RKWUpkazFaQzFMUXNLcUY4MkduT3NOdDdjL1BQWm9VNjNj?= =?utf-8?B?SmVJbVFEd3dUdytaUVpVY0xpeWJ2S1pIZkViVDFsdGhIUmVHcHIxZUg1YjQ4?= =?utf-8?B?MmljenVSOTA5OHkzeGtLR2Y1dkZWMW9ER3VPOTFxVkZaNHg2RXh1Q0NrZ0sz?= =?utf-8?B?amtNeUxmK3F2WWRURWNaZ21vTlpFQTVtRlpBeGJZNitmSjVET1BFdllvbWpQ?= =?utf-8?B?U2FPTC9JUEthVXliUXFwMEkxU29jOWpDclBJdDJnWFJDVG9qZUgvYjZYS05k?= =?utf-8?B?S2Ivb1BSaG8xN1FuZk14ZVQ4WkE5Z1hTU1hqSm1MelRGdXgvb2hIbUczUEIz?= =?utf-8?B?KzREVFhLSllva25NcWZWK1NRbWxuZnZEUGNpNURweFJ1UHBjZzV0L3VaQW01?= =?utf-8?B?SVh6emEyd1ZKWDB3QnlYVWFIeFZ4YUlPM0pyRzRhTEd4cUZMYTNMTGRQUG5R?= =?utf-8?B?bmhkRWZUeTVVN1ZPRUdyL2FHS0UxMExOQTIwWWFGcEswOXBZampZN085YkJF?= =?utf-8?B?bHFodmdzS1BFOWI2TUVpWmdsZ2RhTi8vdSsvNlV6N0h0SHhza0l0WS9WL1FT?= =?utf-8?B?YUxHMEJETWVOQjdUYStxTXdoclVPVi9jak9KUUlodmpjTFZ6RXFIQUJ0K0FP?= =?utf-8?B?cUJHcnJ5dW1tUkJyeWxFc3FHeGNOaU1HN0dvSnVIRmtMOE0zdXFPRG5MTHB4?= =?utf-8?B?ZzF0NmRZZWtISnZDMEdLTWgra1ZKYWt2QUR4YjQzL2Ntc055dXMvOUd5MlpY?= =?utf-8?B?VnFiQUlMVTNTdkNCUEtUZUJ6Y0hiOXRoSDhzc2sweEpLbjFRZldrNGZ5a1Rz?= =?utf-8?B?amU1amx3OWFzaUZYWXpZSXVsZnlScUVCVUFpQjYwbytJTU9YVk50d3h3ZXdx?= =?utf-8?B?dWNGQkdwdFBqRmtPME9oZFl5a0tKcDUxN1ZjMFhrM2s2ZE9lK1FvcGpYZUFl?= =?utf-8?B?ZHZnL0tPNWM5MTJqMnoyamgzb3gvVUdrdERPeUFjelpKRzFFbGpWMnlQRUNM?= =?utf-8?B?eFBEU1pOeFI4QThOUURQUktQVWh4cURrN0h3WDZCcmhkeHJBNU84ZWlHY05O?= =?utf-8?B?Y1BORkwxVmgvR01WREJabG1zK0lIUGljUUdBenNycVIxMHNsMHJGaEtTRE5l?= =?utf-8?B?allueCtLeFNvSkpRNGR1dXFTdWJBcFV1eWw0Zmh5WmZNWDA1R1FkN3p5bTNh?= =?utf-8?B?Y1ZTMmZTTUx1QUx1TDVlYm5Cc3F4em4vYThneGdSTGtoL2J2VXU3TkZjM3dI?= =?utf-8?B?cEljRGR4ZHFMUEIwY2krVGMxakp5VEh2RTU5Mm5Jb3ZIM3NrNlJGVnNVY0pl?= =?utf-8?B?Wmh3aThocVFDc2h2S3dmeWVGTG01WDQ3Wm11ekdmRUo4akE9PQ==?= X-OriginatorOrg: mq.edu.au --000000000000e0378a063e9439d7 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 link: https://forms.gle/RufuAs54zxsadp1n7 Submission deadline: September 18, 2025 IST =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 --000000000000e0378a063e9439d7 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://fmi= ndia.cmi.ac.in/rhpl2025/
Submission link: https://form= s.gle/RufuAs54zxsadp1n7
Submission deadline: September 18, 2025 IST
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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
 
--000000000000e0378a063e9439d7--