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_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on20701.outbound.protection.outlook.com [IPv6:2a01:111:f403:201e::701]) by inbox.vuxu.org (Postfix) with ESMTP id 5B5C724CEF for ; Fri, 21 Jun 2024 11:12:21 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Cyh5U8gDUPP5Fz7RCS3DF6TDBOHjVEMdxzVKi8XnVSKXdDSoZG773ymRNJCorOIHuCrgEzcSLePZ5UC5BQIqh7vS0vcDqwEppavh66F3lqkHgmuTcKO0NdoQdzeYx1ouRRjswQxpaia3d7OWu1PE/5IpOdUma+5TmzV85JEVWFD0ooOx/egtR0PUsZ59wfd9o74/lvoYL+vm/4Stn6is87uDbQ7ERahA2C9qccEDdXkGAZHdqlMeL0IApPmuCSWWclyk5e7HDmAAUuDR5As7CZvwDIX/IdFscEjmQLG9x7LDcYvZUI0LJ+j5qAS36m9EjqYfrt+GbwSfZkBPHg5TtA== 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=rMrLpM+1oCTnRpvGMQLeOtlhbRBzxVI0qszSW8tgars=; b=OtytYqpZPa4uuJCXkDNIHQZrgQMuMlgo7z/Hh2o9eVgBy2pDzp5bqs+12vX+5xe5n96D5ZZa86If2eysb9DeasrqlZOS69XdwWYdYt+gWlhxuwmeSxewFTl4eae3KR9akN1ksJmfg4ImUvWCaytboCWzKkonmPSWW2t4WPor+cEsC/RHL+ZdjVd0HmvEaPMAi+t09Sx9P4OZWY03VLC+M/gj2X5bXfICQ4udltxbQrh214JP37KEZ4IAvaECq4D0Z12h/bA4H6R11F2v2mKL280xq/h44anncn4LHeQO20Bo5dx4+/bqFBr3EeZOxFh9MMsFidGvZf1Vp53wMugy1Q== 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=rMrLpM+1oCTnRpvGMQLeOtlhbRBzxVI0qszSW8tgars=; b=hm3SZ4VHvnyRXeGPqze5eO/CSBu4KQYGaIcdmL1/x04LtFwzrq8XhrfLeP8voLSQyMBF1u8llO1ZQpD/NQZsVsq8kLZQ2UfLQ+O73QcgQoY1DcPKJH1YG0G867rjGQSoVayavDE7Oybz1I1Q3b0c+APAEUo2Jt+q4pzgd9fPG2jLhtCwZo1+Js6cn0JO/rhqsm3qWFo0b5hRqjWoYxLkbc+4twUTPojLay5EsXszJTLj19oEht5biq8yS2CwMjZpZf5bZlamTF3VzHtP8gS74DLGUyj8sUw4UgAQBk7i9FuemNOxJXXwD8hYKvaNNLt8PekULEYFMzmkk2j3pIfchA== Received: from SmtpServer.Submit by SY7PR01MB8927 with Microsoft SMTP Server id 15.20.7698.19; Fri, 21 Jun 2024 09:12:18 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=TNJFXceP2k57/5OHmj5l+hrpQ2wRVz6gYndtHnGUAkH+l21FfE4kgnQnHtWVsFtMkZy3x4lXGOj49NY+w/WpS4wynT+5i77ZTWMWlpJH28b2qmU8fq28uODIYbb1tV7IQg4MYA1MvCKbEs2H87z1q2N/fT7b4kOuY8nibuHiNvJ/mOMElgdqgw46s9qDGd7QOp9WKCxxQ6ACVA67DI+pUjFo9GrUU5vFRC//yBWQKjHTfMb6UYC8ZNZ/iAVyGkkWAXIw+cnpXVAgt3cIzI9FYB/mwhhxjCW+rX0FLxRMaqFzJvWbLIgNXUv693SsFXeCiV0jJfdXUJTSVZrcc8K5mw== 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=H4o8kRJtz8zTvj6s796pjhPja9YipFJXtCwHd9i6smQ=; b=IXx+pJGIQwVntCTIjXgTab/MJTkgy6AFIynvSKwmipeP40C9nAHbySwG28OS5/QZtKZtd44DDrK48STb7uZL7aZrcTWdm1bheKqw6GZxl3lgNdLpzvWTR2ifRdPnAoFl3zmxVltyEGQsBXzrd+7Bgt6ddlz3VBW86cgaISZVUCPO743S2iTmUVofiAZXRYR1ThJQx2tLBs8S8AdQ9fpoObvijdtdOktvKNKZdHyn0uiYdhB6vi/qOzFYAV0qYm8UItwjwygFzH0wClAOMo+XahaUHazbNtzTZzoTFj+BZ2Q2IsCC7DnHY5SMinKCcsS8oLUiSpnlZ+EOCYnwaym4Ug== 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 SY0PR01MB9380.ausprd01.prod.outlook.com (2603:10c6:10:254::9) by SY7PR01MB8927.ausprd01.prod.outlook.com (2603:10c6:10:214::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.19; Fri, 21 Jun 2024 09:12:13 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by SY0PR01MB9380.ausprd01.prod.outlook.com (2603:10c6:10:254::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.19; Fri, 21 Jun 2024 09:12:09 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::31a6:a2cd:8320:59f4]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::31a6:a2cd:8320:59f4%5]) with mapi id 15.20.7698.020; Fri, 21 Jun 2024 09:12:09 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=UbjTskj6A2iaWFmWRTY1poCXrkgSrKx6a1XzKCo3lybrYDHa7LjAhWkazdCIThsdl+C0cBIFRFA0fDXxh/qjsQkT73o1na69lrJ0JPpGNaftfcgwsmU9x7R8Tjkb0hFbucc7fNhK8oYlPgWaOALofw7QnsY80+31ahNh5ZP0uN0tmmgWv+8cRcYlosS62M0rfuYwIq73aQ4/KSFwcd65dJNj85A1V0JYIp+Mk46wVhPXcC20PYyFJbE063xgwO7pzUZxFdZMF2fUtNmDogiHHzl8WeaOvnF+VON8gI3OfVFJAHfek4dvNoMEFL3V5Jpcpk21Zh3cZsoaPG1UYzrBJA== 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=H4o8kRJtz8zTvj6s796pjhPja9YipFJXtCwHd9i6smQ=; b=BBQUd6ucMYmfiDCtt8wsCuOvtxFBc1PFFNknOKgWqT0B6IfXukos1uHAY072XLQji7c6uE9EsY80i5LMBuHmxSKNaQcNxqo+16KrJK8/3CHqj3ha6BBjfYVBLG0jNX73uKIhgBR61hFbzaBF95pp+S9gWJeCMRBzGPmPBL6Y8ZUTITUoVC+ww9FCd67I5t3YUbKW3q9LpN41W2hSRj/IBFEm2jQ5N8Uqe7MJRAmkPsrIKCumo/lozGRtV9lNM4ow8ae0SCBSjVws/8QBH+TXb6yB4EFrJOKUTmoAf9L3YRSvFJ8pCVCY6kCG9V2lbfqClFIijGnBxDbwuDLOsP0sQA== 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 SYBPR01CA0014.ausprd01.prod.outlook.com (2603:10c6:10::26) by SYZPR01MB7786.ausprd01.prod.outlook.com (2603:10c6:10:177::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.22; Fri, 21 Jun 2024 09:09:08 +0000 Received: from SY3PEPF0000A725.ausprd01.prod.outlook.com (2603:10c6:10:0:cafe::ce) by SYBPR01CA0014.outlook.office365.com (2603:10c6:10::26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.36 via Frontend Transport; Fri, 21 Jun 2024 09:09:08 +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.22.101) by SY3PEPF0000A725.mail.protection.outlook.com (10.167.241.21) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7677.15 via Frontend Transport; Fri, 21 Jun 2024 09:09:08 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1718960947; 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=H4o8kRJtz8zTvj6s796pjhPja9YipFJXtCwHd9i6smQ=; b=XJSDt9DqI0kYdYyJuMAVQkKPgFa0nxtEzZAP/j7bahL13SO9EcgNiR8XNHqxdvYZ3vRVHO Yza6YhAszXn1iuXNsOX6GmcR9jkqiyBbjlBZPHwDIBj7qKBJYgDgBoPdtVgAg2UVKolPwc 9/SJOT+/sd+wd8YtQYWeS/zu/ABq1PihYeBNhRkHp1WG1485jq69lO0tBRpo/ZjcgHK4a+ vOQKEsBjwyk0Tem6wsv4eEaCBsBgAqwY7/3GwteKiatddHAmpFO7ONzM8ZnWPzA+O/w71O r1YXMHKQBPPLQSAqFt5AhtWkFm7l3YFJFLZI7xRXcdcbXIwvxuscoWO6UsEteg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1718960947; a=rsa-sha256; cv=none; b=N5/JYHz3FAWeeQz56MNfZW70IC6ySqVbOwinjeeifSF2hNbJfCVRewRVKyOExRBMjb7h3a M9fyXSVt8y+5l8KuT7LIN2zancCqqyF3rekTOSn/wBv0JtzhqTED9N9daiDyUpO0GHvYlB NdY/MXVF8kbnsFwdGmd1KmxEA03j2bhN/dZoQcOGvS5si+ibN583qlgKQCKE5sJrvppvZ1 ksu49N3N7HG+RMCxJdK4piSuK7oF7NAG/5v+v2Jy/oTApM//Ot5EhRp+F6ROP9rJnu5DgL +eQHptgt/UGbqwNx1+qkir6fUvAp+8pTDHROnZhsZSMoxV9rV/G2YFj/YZghPQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=ZEOVqBny; 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=ZEOVqBny; 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-36-hHo8N3QiPOOPdWtteBieww-1; Fri, 21 Jun 2024 19:09:04 +1000 X-MC-Unique: hHo8N3QiPOOPdWtteBieww-1 Received: by mail-ed1-f44.google.com with SMTP id 4fb4d7f45d1cf-57cbc2a2496so2098069a12.0 for ; Fri, 21 Jun 2024 02:09:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1718960941; x=1719565741; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=A5ha52GVpl6mN/u2tFJ/Lf35dr57WrGiG5n5B14HZfY=; b=ZEOVqBnyuJ+7NidR7aSYrQbKSFh6Ouf0pN1w68wlH3JyQnubY6FJRcBcaPSI72QUK2 2v1pryXgYKyFBeR1qgU6xEdtcRcUY/cZ0WPHouFguPk8seHJH0qoM3u1zQ8kJnlARvp5 FeVADAgxxJLwqkNr/Nhf4rDEcRHg7U4p0zxGdUJifuLsbJaODcBVq/LgEAMajpYcqZ1R wuJC7vKRDbSKBEBsqYxxsBuD/J/VwrQlOidmWr5qtdG35H8VKsq+fd8DuIjGWFWKL01J 1ecG0Fn7Rcu9rwVaHMrtt1c3gCKwXKuprKgqioyAsQL0JxWf+aYFc9MogWSQa+fnkAFu xFTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718960941; x=1719565741; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=A5ha52GVpl6mN/u2tFJ/Lf35dr57WrGiG5n5B14HZfY=; b=FrokrQuhh92tYkzmEntdPeNLOMbjh+4euqtm2IshbWqSnoooCFPNe7HnSHUi35nAE9 v7tw3kACG/y0QTXAAguZgADqvSNNdSdwC73UjeqxkWTa78xgznlEdbkceG2W/yDGe4sB fGfvNwQD85KPt8jqRFjvIgUeKi2ZBUAp1W9ZlpLe03u83vHM3i8w722FuYfB0ZOQxM4u zri7mTfWhvO3scps+fvnWQt78cvt4UEPUedutCcddUUlLXX9iRdb6sCm0U6WqgYFIfNC 5fHuBGjCoi+odVAwSkhN3ZYLuxEIDw/u77DqcQy0K/BEtk+Oe7UVrYwOhrwkPrZsZVua ijJw== X-Gm-Message-State: AOJu0Yx+2RbvGQhoM5vA2INyLQoIGZhwdGqdgojWURWLDAE1tgoeJhP0 cITdpfcQxpY0McI+ftdBdG5nQR9YeZwbPCW0N7OnM/SK0RlIEqHnR9BDsvItoX0Uu6gsuAfV6mC rCkYPgoJc6DbRFMW1iYTggo4/aE7Iv7Kr X-Google-Smtp-Source: AGHT+IGaf7KU/kpCA60JTzVF5wUBE0UOk35hYFT22kAJYAoaWMQu9fdcIxu6srpIEMyRq5YyZ+oo3g26vz5pXNuS2/g= X-Received: by 2002:a50:c192:0:b0:57d:785:7cbc with SMTP id 4fb4d7f45d1cf-57d07ed429bmr5468686a12.26.1718960940787; Fri, 21 Jun 2024 02:09:00 -0700 (PDT) MIME-Version: 1.0 From: Abhisekh Sankaran Date: Fri, 21 Jun 2024 14:38:47 +0530 Message-ID: Subject: SAT 2024: First Call for Participation 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="000000000000423024061b62c825" 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: SY3PEPF0000A725:EE_|SYZPR01MB7786:EE_|SY0PR01MB9380:EE_|SY7PR01MB8927:EE_ X-MS-Office365-Filtering-Correlation-Id: 85e69910-2348-4452-7bfd-08dc91d1ce9f X-Moderation-Data: 6/21/2024 9:12:08 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:13230037|7093399009|32650700014|35950700013|82310400023|376011|1800799021|48200799015|7416011|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?bHpKZzVzQ3NoSVZJckxyaTk3TURrZGtWSGdlOEdoUTFHZFdSUGJjUnhRWFRJ?= =?utf-8?B?MEVyL3R6aGptbTZHQXZ0YklibE53a0FRbmpzdHMwaDJqOWR1T3lKVlo4SSt5?= =?utf-8?B?cUlRdTdJVzFyWjl3QStVRzg4R0VqbllmY1lvRjJtRGdueEpMbEQybldjTFVo?= =?utf-8?B?dzI4ajcwTEVKeUJNNDFZMmtwbVE1NkpXNVRUOXVHZHM2aWpRaWV3cWozQVZl?= =?utf-8?B?RWlLQTNDMGh3STZzMUNEQUZqYTROak12emh0aTM0ZXlqUXpld2o3Unh4WjdX?= =?utf-8?B?UzFRMUV0dy9UeExzVlF0U1o5b0FTcy9mSWdpUUgvVUs0KzQ0QnkyM210Q2Ro?= =?utf-8?B?OGFKblU2c1VuSXNjMC9WckM0S3BlTGJlTmhoSDU3eDcvRU13bzlmRytFbXgz?= =?utf-8?B?ZjE2TDFJMGd3dVY2NmxrdWl3VG5NUENiOWh6U0FSUmtLdmdZQjdrS1RMNllU?= =?utf-8?B?ZWpZaEZ3a0xOMGx0K1FwaEtmTEtQWUFjNnFtVmVTT3BSYTFjOFNQeTFkNWxy?= =?utf-8?B?SldZQTB1SnA2NmpDU1NGejJLUGJ3UUJXL3NNUStrajhoeDA5UmpySHZrZHBT?= =?utf-8?B?cDFiYkJGczg5WnZSUU1oQ0NyVXRvOEtuODEvWllhbzlMWkw4MmJ2K0IxZUFY?= =?utf-8?B?S25WcmJpMloyRHFtc3NQTVNGd1o1Qk9NY2d2K1V4bUtqbUhkYW9WYjVjbnR1?= =?utf-8?B?V2J4ZVZ4TUwxanl5UW1hMEZiTzlzTENsa3l4TlZhMmxjRytidmN6TEJob1Y4?= =?utf-8?B?Zlp4Nzg2MEVXSzhpVTlQUWZZa0RuandnUnR6cU1CWmNNU1RsWGQwdzUzNkpQ?= =?utf-8?B?RHVUYWpRT3VESGR2eFNveW9GdE1Ta0psZHBXQnpaME5aTTI5L1NMcklQMkpr?= =?utf-8?B?ajRRZnFWVm5jV2RYZHJRMXVDWU5jWHJGcTA5dWQreW9Uc0tBeHorUEVFdmF5?= =?utf-8?B?eFRUaEhTN1REcENVVmxVWTI1Uk9LemNvK2pQM3p6c0hTMXVhbmZOYWNoR21u?= =?utf-8?B?eU9FcXRuOUhUcnd6dkJCaDZ0RjBzUyszS2sveklnT3dmTDRkQ1ZtT1E1VDJu?= =?utf-8?B?OFBjVFg2U1F6QnhQbGlISm1adGg2b3R4aHhvUHNZcDRPWTNaMVJqdWhTaFRx?= =?utf-8?B?ZTY3eFpzcWdBOFM0SlNycEFwTWxZWjlQejV6VStGNHdSbCt2aFVJTHk1czlV?= =?utf-8?B?Mk5WOGlPN2lhYW80S0RRZEVFWXhwd0hmdW1tQWFEL2lRWGRsM0J1RGkvcTN1?= =?utf-8?B?a1llYXdrVWVPVVZ1L0p2VXdqZkEyTUEybFdvREdNRCtHL2NwM3BTNklScDAw?= =?utf-8?B?cXpQMU1idE56UWVlMHoxZWdLQTlTODhZT2YweGY4ZUtYMkJrTmYzWWxMYjdi?= =?utf-8?B?UEZkRndhM3R1aXUxQ0dmdzZJUlFBWEQyVEdRYmROeU1qL1RZbUZzcWF2N2t2?= =?utf-8?B?NTB4WWQ1b3lDSWNZeHRqN0hpZmxWZFNZTjIxZmhoRjlEZjR6Qkd1Ny9yWXFl?= =?utf-8?B?aUd4c3ZRNTBOSm9MZUQ4aGNzeitVWDBNL0N1MGdBMVNOYUdmd3ZBdG9wMFRQ?= =?utf-8?B?ZlhGVGNhYlh4TDZacGF0dzZkRnBuQSsvOVRRUkNVUHZQK0ZPTzh1NEt4aEZu?= =?utf-8?B?c0R6Ymk1bHN4aERDMTFMWmZBeWEyNzI2czFFWk5ocmFsRVlXdnU0bTRucHF6?= =?utf-8?B?UjB5SGI3OE9xWnZYYkoycUxmY01vYXczZ2xnNFZRSkFkQmNXaUl2MjdoSnNS?= =?utf-8?B?VHFFM3ZFUWNBU0FDU3Z6WVVsK01IUjFtVmIvUXBuWnN1ZXd3ckZONnpPaHEw?= =?utf-8?B?ZHBTVGtKa0RlZ20vQUljQk1aeWFhMFRjc3VvSGw0cVdvaEQvYzZvY0xoeUF5?= =?utf-8?B?USsvLy95aTR6ZUQzMDJGcWdpM3VQYTllN0FaTFNuUVlKS0dVcTMzc2w4VGJ6?= =?utf-8?Q?FAHV6kHGXjo=3D?= X-Forefront-Antispam-Report: CIP:103.96.22.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:(13230037)(7093399009)(32650700014)(35950700013)(82310400023)(376011)(1800799021)(48200799015)(7416011)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 85e69910-2348-4452-7bfd-08dc91d1ce9f X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A725.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Jun 2024 09:12:09.1495 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: SWwXsuzM1VNKk9CzGO5EHBEz9ML/y4s9dPgdxkkZyPzReQnzyWazwOkkdHZEmMTcgU1Ljw9S4HevXr1G/DrV4dcT/Ur/ENJgj0PrUjnLJl9rGGFhF/lurEtAFjm7rHrVAFRVf4PuuhGagiCf/SvDQlcLI5wiLdR3HafsM8KC8hvZdaOrSDdEOVj5fY715jaYtFdBAQxeIiOCOq0A5tVzyA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8927 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?SjJyMFIvYmMzeGRuYjNxd1cwZ055TTZMRE9wOHR1M2ZWR1h2dUYrRklFakEy?= =?utf-8?B?MkE2bG96WC82RkhzWWZaVWdKQlhheDEreU5kdW1VbUVsUFZ4MkRHQ0lGS216?= =?utf-8?B?RXVGZlZ4bWhtMHdSTmRVL1JxblNibXhQSElVZnhaY3czZmZsWkMrbXloNHlq?= =?utf-8?B?c3EvOEpmQWlZZXVaQk5ETnVoQWNGL0FxbkFSTHZQbGxrdFVSWTJEVkQvSUxZ?= =?utf-8?B?amFPcFlrVXNrZDVEa3RkeDFmUDA4bG9IMERucmcraDNrYjQ5RFo3RlZrUm9S?= =?utf-8?B?c01mRE43T3pRQWhWYVpDakZQQTNldldiQjZQcmlUUDNhYjNNdG40NXFpUWRh?= =?utf-8?B?b3krTGFubDFqSnJDUldUQlJsU0RLTUNUT2NnS1ZVYkowaHMyVCtZd3d1L3pQ?= =?utf-8?B?ZTEvanNsQVFWSnJvU2EwZFJRcEJtQURncnRYcEtHWGZ0UXdDdmxpUFVLQ3U4?= =?utf-8?B?VGl1eXQ1Q1NaQkhuRlZQc0hkOUpybHA2Z2wwa2Z0L0VzZ29icUVPT3lpNTJu?= =?utf-8?B?ODVPMWpZTk1XeDljRE1PQ1crSjFlc1hTNnA0R0NLNnIrcjZoY0x1by9vbytN?= =?utf-8?B?WEVpYzBodzJPTTRQWHY4c0JDUHlIYXI3a0NtakQ3RXk4UnB3OVVxNkJWS1ZM?= =?utf-8?B?SUN5OWN4S3RWemFSS3A5Wi96NnRDZlBtalRNbnVMQ0ZjaVFDSHViVmVTWFlP?= =?utf-8?B?TEhERnlHbHZQNFllTnM0NjhMd3FZcDNuazh3bzd3N2V5RE95UlU2L2s2elZV?= =?utf-8?B?OGhoMExpU3NCMkVtVVNXZGYvcHBzUUNIaG52blZsdmhXNFpqTTZYNnZrcUNl?= =?utf-8?B?RTJ3WUkrZTVrcFVSMUF0azRuRGxCSXZobTR2VkYrcktzS0QwVWJ0NG1jWG9k?= =?utf-8?B?M0g4RERpdTBqQmx2dXZOaVptWEtSeDRLbXpjZk1aeEs0cTdMQUVWL2VnVDlL?= =?utf-8?B?UUlLZGVsL2diU0xJWDV3UXBqSHJBK20vRXh6VEJLUExvRjA0WVh5Y0NyblNl?= =?utf-8?B?eXltUWdDdnFzL29lVVh1bGtZdzZaT0tHNThkTitRM2cvRTBFNmdoV241VGJP?= =?utf-8?B?Q0hFdGU3UE42SlVCMkRWdG1aOEMwN1ByZm9RMXZvdmRqN0VMbFR5SDBWdHlZ?= =?utf-8?B?aW1zazJNcnp5endwRkxQdUc4dGZiamtTelExemlMK1ovMFdmS0RTQWRPaXVZ?= =?utf-8?B?aDlUMDdWWm9HdmdiOXhWb1JuYXNrREtaWVdmWFp3QW1XT1lrSU9HdG56Wmlt?= =?utf-8?B?czBqWnUzRTRmU3ZHS3ZxR3h6aWxtLzFNQVFLMVFTbXMxS3BLVzV4aGdMakg5?= =?utf-8?B?Tm9pMkhTRzhwTFl3ek5SZ3Y1NUxYSVlBWSswSXlPMkxvdjhRVFUweGRrRVdj?= =?utf-8?B?cENjdWRPZzNlb1ErczB5Mm0zSy9PQUtPSEJzMUhxOFVHU2NmdFovNU85clYz?= =?utf-8?B?NEVaWnVUcDJjVUFZY3FzWFlVUnR6SmlWL1g1aHNIVkkxWHpON2Rmem0vMTFB?= =?utf-8?B?aUdmTEdaUUY1RjE1aFB0UW53cXpQekRobGIyRW9KZjdpQTZuUm5xT2oyN1BN?= =?utf-8?B?akY4UWVnaUVtVzZIUnZnR0VGVG9qM3FmYWhLTDRnQkNwRDh1OUQ2NlZIKzNz?= =?utf-8?B?RWlTS1BzdVQwZHNYMFNnWU0vanl6ZTJTVkNnN3kyL2thcVN2ZUUzNG5VWDhQ?= =?utf-8?B?akIzYklSK2ZZcHVucW1FYkpvcy9rTW9Cakc0ampyVFNuUFlja21nbVdLOVow?= =?utf-8?B?R05oSU5obTZrZ0xLaHovVVR4clZ6dm1rRFhrdEp0eFpRZXB1ZXRCR2ZBZGFO?= =?utf-8?B?Yld0UnFuYy93c3FlR0lFSC8zTWRDWHpPNm9jSFJOaUlsYjhJdmdSRVRzMlZo?= =?utf-8?B?TmFRRGszbjBxR0p5RUVnZEUvYmttdFJobEZGL0tTazNSZlhXV1VWSTZaN2VI?= =?utf-8?B?dWRQMkVqajh0RUJjcFFxTVNFUXhiSzJwV1NyWmlGUTNQNHdjSUZONHhSVFJj?= =?utf-8?B?bTc3aWxpVFRBPT0=?= X-OriginatorOrg: mq.edu.au --000000000000423024061b62c825 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 SAT 2024 International Conference on Theory and Applications of Satisfiability Testi= ng 2024 Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=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: - SAT 2024 conference: August 21 - 24, 2024 - Workshops: August 20, 2024 - Indian SAT+SMT School: August 18 - 19, 2024 Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune,= India Website: https://satisfiability.org/SAT24/ About the conference SAT 2024 is the 27th edition of the International Conference on Theory and = Applications of Satisfiability Testing (SAT). The scope of SAT 2024 includes all aspects o= f the theory and applications of propositional satisfiability, broadly construed. This a= lso includes Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Q= uantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Countin= g, and Constraint Programming (CP) for problems with clear connections to Boolean-= level reasoning. SAT 2024 is the first time that SAT will take place in India. There will be= co-located schools and workshops prior to the conference. The events are being organiz= ed by TCS Research and Indian Institute of Technology Bombay. Keynote Speakers - Martina Seidl, Johannes Kepler University, Austria - Cesare Tinelli, University of Iowa, USA - Moshe Y. Vardi, Rice University, USA Awards - A "Best Paper Award" and a "Best Student Paper Award" will be announced during the conference. - The "Fahiem Bacchus PhD Award in Satisfiability" will also be announced= . This new award established by the SAT Association distinguishes one outstan= ding PhD thesis from the past two years in the field of Satisfiability, broadly construed. = The award is named after Fahiem Bacchus who made significant contributions to the theory= and practice of SAT as well as to the SAT community and the SAT Association. About the venue The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri Park - 2= , Hinjewadi, Pune. Surrounded by the rolling hills of the Sahyadri ranges on three sides= , this campus is a scenic and well-equipped setting for hosting SAT 2024. The campus has = shared conference rooms, breakout areas, training rooms and a 500-seater multi-pur= pose auditorium. Pune is the second largest city after Mumbai (erstwhile Bombay) in the stat= e of Maharashtra in western India. It is well-known for its salubrious climate, = rich culture, a vibrant theatre and classical music scene, and its automotive and informati= on technology industries. The city of Mumbai, with its associated tourist attractions, is= a 3-hour pleasant drive from Pune. Registration The registrations for the conference, and the co-located schools and worksh= ops, are now open. - Early registration deadline: July 15, 2024, 23:59 AoE - Registration link: https://satisfiability.org/SAT24/registration.php Grants & Travel Support Grants and travel support are available for student participants. The detai= ls can be found on the conference website: https://satisfiability.org/SAT24/registration.ph= p. Co-located Schools and Workshops - Indian SAT+SMT school + Website: https://sat-smt.in/ + Dates: Aug 18 - 19, 2024 - Pragmatics of SAT + Website: http://www.pragmaticsofssat.org/2024/ + Dates: Aug 20, 2024 - International Workshop on Quantified Boolean Formulas and Beyond + Website: https://qbf24.pages.sai.jku.at/qbf/ + Dates: Aug 20, 2024 - Workshop on Counting, Sampling, and Synthesis + Website: https://mccompetition.org + Dates: Aug 20, 2024 Competitions Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver comp= etition and Model Counting competition will be announced at the conference. Sponsors - Diamond sponsors: TCS Research - Platinum sponsors: Artificial Intelligence Journal, Amazon Web Services - Gold sponsors: Cadence, Synopsis - Bronze sponsors: Google, Microsoft Partners - ACM India Council - Indian Association for Research in Computing Science (IARCS) For more information, please visit https://satisfiability.org/SAT24/. We look forward to seeing you in Pune! Best regards, SAT 2024 Organizing Committee 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 --000000000000423024061b62c825 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
                     = ;                     &nb= sp;              SAT 2024
International Conference on Theory and Applications of Satisfiability Testi= ng 2024
                     = ;                     &nb= sp;      Call for Participation
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=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:

  - SAT 2024 conference: August 21 - 24, 2024
  - Workshops: August 20, 2024
  - Indian SAT+SMT School: August 18 - 19, 2024

Place: Tata Consultancy Services (TCS), Sahyadri Park - 2, Hinjewadi, Pune,= India
Website: https://satisfiability.org/SAT24/

About the conference

SAT 2024 is the 27th edition of the International Conference on Theory and = Applications of
Satisfiability Testing (SAT).  The scope of SAT 2024 includes all aspe= cts of the theory
and applications of propositional satisfiability, broadly construed. This a= lso includes
Boolean optimization, such as MaxSAT and Pseudo-Boolean (PB) constraints, Q= uantified
Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Countin= g, and
Constraint Programming (CP) for problems with clear connections to Boolean-= level
reasoning.

SAT 2024 is the first time that SAT will take place in India. There will be= co-located
schools and workshops prior to the conference. The events are being organiz= ed by TCS
Research and Indian Institute of Technology Bombay.

Keynote Speakers

  - Martina Seidl, Johannes Kepler University, Austria
  - Cesare Tinelli, University of Iowa, USA
  - Moshe Y. Vardi, Rice University, USA

Awards

  - A "Best Paper Award" and a "Best Student Paper Awar= d" will be
announced during the conference.
  - The "Fahiem Bacchus PhD Award in Satisfiability" will al= so be announced.
This new award established by the SAT Association distinguishes one outstan= ding PhD thesis
from the past two years in the field of Satisfiability, broadly construed. = The award is
named after Fahiem Bacchus who made significant contributions to the theory= and practice
of SAT as well as to the SAT community and the SAT Association.

About the venue

The venue of SAT 2024 is Tata Consultancy Services (TCS), Sahyadri Park - 2= , Hinjewadi,
Pune. Surrounded by the rolling hills of the Sahyadri ranges on three sides= , this campus
is a scenic and well-equipped setting for hosting SAT 2024. The campus has = shared
conference rooms, breakout areas, training rooms and a 500-seater multi-pur= pose
auditorium.

Pune is the second largest city after Mumbai (erstwhile Bombay) in the stat= e of
Maharashtra in western India. It is well-known for its salubrious climate, = rich culture, a
vibrant theatre and classical music scene, and its automotive and informati= on technology
industries. The city of Mumbai, with its associated tourist attractions, is= a 3-hour
pleasant drive from Pune.

Registration

The registrations for the conference, and the co-located schools and worksh= ops, are now
open.

  - Early registration deadline: July 15, 2024, 23:59 AoE
  - Registration link: https://satisfiability.org/SAT24/registration.php

Grants & Travel Support

Grants and travel support are available for student participants. The detai= ls can be found
on the conference website: https://satisfiability.org/SAT24/registration.php.

Co-located Schools and Workshops

  - Indian SAT+SMT school
    + Website: https://sat-smt.in/
    + Dates: Aug 18 - 19, 2024

  - Pragmatics of SAT
    + Website: http://www.pragmaticsofssat.org/2024/
    + Dates: Aug 20, 2024

  - International Workshop on Quantified Boolean Formulas and Beyond <= br>     + Website: https://qbf24.pages.sai.jku.at/qbf/
    + Dates: Aug 20, 2024

  - Workshop on Counting, Sampling, and Synthesis
    + Website: https://mccompetition.org
    + Dates: Aug 20, 2024

Competitions

Results of the 2024 editions of SAT competition, Pseudo-Boolean Solver comp= etition and
Model Counting competition will be announced at the conference.

Sponsors

  - Diamond sponsors: TCS Research
  - Platinum sponsors: Artificial Intelligence Journal, Amazon Web Ser= vices
  - Gold sponsors: Cadence, Synopsis
  - Bronze sponsors: Google, Microsoft

Partners

  - ACM India Council
  - Indian Association for Research in Computing Science (IARCS)

For more information, please visit https://satisfiability.org/SAT24/.

We look forward to seeing you in Pune!

Best regards,
SAT 2024 Organizing Committee 
 
 
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
 
--000000000000423024061b62c825--