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_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE,URIBL_SBL_A autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2100.outbound.protection.outlook.com [40.107.107.100]) by inbox.vuxu.org (Postfix) with ESMTP id 4167A2476A for ; Tue, 30 Jan 2024 20:38:26 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fhgXXdpRumU03wtWC8dWB9EhBiq8SrvI7gentAEYNlx8wbLO/fplFO8Jhij2HoQy2mQHq8tcpoWb8DH4sGq9Rl544ZlgM+ZPY8iO6ouHgLpVethWZ5zDggTSCUl8fhx5+fXS/+DHSIHTbL/0GFx8d1sr/5uPHJk6CVG4ujdV56LIKNhQBTWKgq5+XL3esVdwwjsaK4cQztyZqLnJZ5EVB+kaigRthH7Th+I51/+16ny1UaKEe+lvQoZ+htxbV4doPtJWe0+MS/IwkrnpdqOm2wAzbC8ybGB+OT3hR1cnlvQOo4gdOCjJNsh3Wl9jXrM/sl+t2ISAAeO24CSbTL/ReA== 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=AeyqP7/b2r0q7FqCfhxmoWUV6eaAsLI1DyVgzN8xP1I=; b=m43CDARLwDlKZPyoUrV7YCaLqblxhs5k9KBwxPtPb9oj8RSwt4oWa4kk7jgtEd5SwHJ2D0ZLlmtY6DhkoXluS6fAb038HVNR6iHGIKxZoSa+4Pfdp2kEyd4E9YfCCUfPGbgWFQv564NixY9n3urI9G9mVfk623z6Cfhv+vT/HZfTVQiwYOezTKCPrfr87ENpkU4hJrFUUHWnnbog2xQPuRBMHCUGhpZSxA/Yh7zcjHYB0WeZPcVs0BoGSwQ88/1e/KYTj8Tpa7EqfGxDs1kTMn5HbQcg1XSiulKNvadBmj+VqGmHOdVPu7cD9MAsLVBFJhEkhJxWhi3BEbC50VbGlw== 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=AeyqP7/b2r0q7FqCfhxmoWUV6eaAsLI1DyVgzN8xP1I=; b=G8hXNoUmGdswwVzP/tAdt3JdXxQ9ffMfPraNs2ZyT/YwjwjOZ386qmi+B8ix+MX4jeTOimuaFHQPdNkLBPaBO7gGduJbXK59VGrr4Kgb0RcUXzDNSvEbNwL1LD8Ayh5+J1jLo7aZAMAMNpgQpq172pSsRS+2jV1PCwvMCRSE/LQwG7L22oggZ2ChNm6bU+0BwDYwjqGEL/GLBQUQk0aZUEshlcK83P7GyPKKgYM29Kjm81AeeZhSCzBF6LWjr9BWrtSxLfTESl73r64CYDxjxcP9zrCD1VYsb1FLKHtclUSokajNQgzt4NqhxDXyVAvHxtL5dawNyAX739Zs4HuJ/w== Received: from SmtpServer.Submit by SY4PR01MB5722 with Microsoft SMTP Server id 15.20.7249.23; Tue, 30 Jan 2024 19:38:23 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Wc4RlIGHJyYq2dVs+2xgJX+Sjy5IX5yOa5mvCJGuNhVINDJdAmRrSTZo869Ge4+ZQimnVFShgG0UBpkAW9b9INg4KvdCgvgT2F1nztLS+gygIL5KJgTX8V4r+fTzviuVHjYDKSjXE56q/7sdrRHIJw6yYNTNmg/NxyzlFweH4/tXoLBziwEF6HqcKLWLcRO6cdDEe87q1Klaacsy2tu8gz5PfwIiTfRmpupzEP4CMiNgWR6SFB/AVf4Cf4OGSbuSwX1jfL0thn4qJWRwIn/u9+GLXmRcvzWXeNHNe1FobLJRq0wjyh8CwyeEZQyUSi6Yxs9Y3r6KUCMb7e1vx9YKWw== 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=xeh2W4Tas50nEoCSB3fryfd0NTO8iHkn6jiSx+kVXxE=; b=nVv+H9F7km+bzypNk6EYX4NWyqAgqVDVRfFhToebvMsAYjwKztbW4jXVDdlsJm4hbtve50QO5FdIuskhSZirzu7YA5jpaTuITxj1yjuMofa9jz8NS3mN4qdMZEVvpIL05QuTUVIEeS0f3thitBvr8QByXQjXbI5mVXXyVrrxn9GXzjyqlPnuP80j9IBWrA7gzcL+xKXnCNV/wJWdFxE7KfS2AZeL6tnDhPfItXlh8plmm9g3dJpie0Uzih9Qpfuh/DG2u0aBzQZ8Sb84UMRLluVia5lfRCpXcQdjC0rTiG2DBBrevGZ9tYmjBmDR1ZCb4ZPK8YALItaMb+1da7F2zQ== 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 ME3PR01MB6787.ausprd01.prod.outlook.com (2603:10c6:220:126::8) by SY4PR01MB5722.ausprd01.prod.outlook.com (2603:10c6:10:1e::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.23; Tue, 30 Jan 2024 19:38:19 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by ME3PR01MB6787.ausprd01.prod.outlook.com (2603:10c6:220:126::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Tue, 30 Jan 2024 19:38:15 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::43df:e355:2937:66a9]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::43df:e355:2937:66a9%7]) with mapi id 15.20.7228.029; Tue, 30 Jan 2024 19:38:15 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=MPDchGY/WAYjw0fEDdE+FjP03SbA5UFKrCU9Fz/m7I/sbl3prRrFSM0pQuU+zVJIL7zGpf8esgZg8k1L2KA+x9kJuFWrk4SOK/FpC1LIkW/lMj12fgx+d1dJ2msVITFyWodu07fC1AVk+giU8oQwdibzshpHAdF47dO/TxVMSiHsXVtVVg4d69FwpOxkKHY4qCcSEFWRJHIkJvxjA6+5uOVW0bzAfBKvJ35jbpAgVL41Iv/nxMgLVHZa6z6rfnEH+E0dDhKei4ywQCZ5NxNVHjLkSX+BachDHAj+pe+5jetN9v0kr8qkRdkTb9PtzcTPjKqdcXy47tTVCIufkHB8HQ== 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=xeh2W4Tas50nEoCSB3fryfd0NTO8iHkn6jiSx+kVXxE=; b=KcCL62DZfLsbt6XFGc1liZVtBHl26XTsYpUriY6ZujaXLuDHQk0crXp4Z19rsUQFPNhAQviCCAk8peIAP9aGDpLLoYY0l2kjfpF4KhlPBi1yOeBeYFrbwXjI6om+M+4npzlc3n7oPc+ChcP+EDzNSPX+/BerMIKC1PyxbfDSF0CXvsWpCTdPssm2RzQgpwpSy/Y/ljNZoUCEKShAgNJ22jvUuchIbsdmLWOAEdmZjfo8VGxh7sEhZKc+BiSIcSU1absJSajh98cbozivetLlAr6Yw3rTk6CWRDWf5aTka4QM6I8ThmPOh4fFZ6d6UszNMLAhYpW1Gbntg5RKGRSr8Q== 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 SY5PR01CA0023.ausprd01.prod.outlook.com (2603:10c6:10:1f9::7) by SY7PR01MB8612.ausprd01.prod.outlook.com (2603:10c6:10:211::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.23; Tue, 30 Jan 2024 19:35:24 +0000 Received: from ME3AUS01FT023.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1f9:cafe::a3) by SY5PR01CA0023.outlook.office365.com (2603:10c6:10:1f9::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34 via Frontend Transport; Tue, 30 Jan 2024 19:35:23 +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.20.101) by ME3AUS01FT023.mail.protection.outlook.com (10.114.155.164) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.26 via Frontend Transport; Tue, 30 Jan 2024 19:35:23 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706643323; 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=xeh2W4Tas50nEoCSB3fryfd0NTO8iHkn6jiSx+kVXxE=; b=W3k03MKKwMN+sKclWFS7KAtdb3xgsxs2S4kNtUe7HAXWzIxlau5SaXGjqI7TJR+ndnYyiB uPXlADVGl08OqDaCAFsxGJVHYxCN2YGkkgxf3yhm2cJ1wiQ10bVLGTk2aCvCYHgF5NNgbq k/7DQRTw0e1n3dJg5Qx5c5kq7yL1tt1fF0VwqFhfn5GfiIrACuX8iPTm7PawMIsdDgiJUQ UVNivrP96Vbliyqrs/Jl3IsB9CgSDkyaNJ35cdvEaJs6MnotvGXZAqpqweBtPI3CmxBcXO UyCuGtSne5bqVW+I6lC35KWXAvYeHgbBVmO3y5RuOT2oNAh7VzrD9b9ZcXarJA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706643323; a=rsa-sha256; cv=none; b=eamR/9J9Ue3TaezByvzeZXtlPbcLsl5drOOQY5+QPEY0CHSK45WguZ3YYL52PTZ4lbeKCy vCpqMEb3ilOVp0GYmVCs1OI+5dhyYTT2gjYRJaxWUMMBtucZss/9Db6UnL6a3B8nQFUOEj Ss/kF9nSObC5naPDYnjWzYOAsWriN4vpyR9d5eXAn0mmYa6bi8YQAQmRcRY7S9bjBgMrlp uf31sDT3LKfAsuSfHSHnYb8pzxXpMviTuld9F7CJNjBmapF/u+da9s4DW5VzYKAn2z56xK Bys3fm4HcoSi2Vrh+iMCr/rHTSq0gcd8Pv4+rT+DfgGftdac9EtfkUNQNtV0gA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=VPeQH7sq; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of valeria.depaiva@gmail.com designates 209.85.208.41 as permitted sender) smtp.mailfrom=valeria.depaiva@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-31-MsaI81mUNo-aSWQqn9emCQ-1; Wed, 31 Jan 2024 06:35:20 +1100 X-MC-Unique: MsaI81mUNo-aSWQqn9emCQ-1 Received: by mail-ed1-f41.google.com with SMTP id 4fb4d7f45d1cf-55f0b2c79cdso3695878a12.3 for ; Tue, 30 Jan 2024 11:35:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706643317; x=1707248117; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=r9daBABABovqLQx0URLL5Oz89YVNzNe+O39YcwIBtA4=; b=VPeQH7sq/A8eXfo6IZyJiquOYpqD0r2ep+0hK2HPX+cwJSXcdUjTaFQYdt1F0gKAMT pSiQA0qxYU2cMkdKTjLZotiCXpsvVq2LHjNI9QLnl4k1oGH1NP4EfUcLhd1Lkpc/pfaO wm6DgEd47TxVM+SI+zYIgyMq+OoWiTqGCTjfYI5nEPhevIqaE3ZciayvmGnhISjllnYw VFR9TO8xXsITGbz9mMNyUek1N8iG9tZGC5OSOuuOcvBH8IecfA0NBsgQub66rODMd9lx JGfLoiOTea5AyE9VnW+WxczPjOc285G50JFOIk1kBVPEKLNXkmypXdrblOVfJiuO2/ec lwjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706643317; x=1707248117; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=r9daBABABovqLQx0URLL5Oz89YVNzNe+O39YcwIBtA4=; b=aEWQbNrpYp8uqvyqQ4NqWUpXGSX9CkYdwSFrTGPAV2cXzEEt1RWbGyZSRETJ2tW7tj xnqx+Qp8d4VSpM4HPuU5THTk8pWaL34c4lkv35mtnt7zX+oVfj9pMzZ7JfWUVuOn3mek wIwKVg8ySfSlTlbqIJsNsj3gkQhSjD3+9tJmb3wSj16iB3EGQ6hw0e0k5IHBPTE4uK2F 9wksUFktgvJ+qQlqPglMCgnWTXUu+dQCwz7N4ju1q0QJbTPSqMwd5K6utNACUArshno9 refj9pPPC6g6R4gImWf8A1REXdrhzMXwNsGPYLpuUbXI1YRSjoCX8kuOuy5hhCakt/TY vJRQ== X-Gm-Message-State: AOJu0YzKfWjKJdRUseiAq1yP4ckRnPGxRrPOQGklvVgLnqFjnfPK+y5Z 0pFwpVrDO1K2DaCFbmFsy7u3LGGkTYs2PIcP7PX5LqD8UWm7okA7S6iMOUzEo+cVqLN8ktrOkO9 EZJk07YmN23lignC6tW6MoxrPukc1r1iQlMVm6Q== X-Google-Smtp-Source: AGHT+IGV/1wItlRm4/bgjcz2mQPeHi7VtTJPCi8vJKlzUkJL3yFl5+uDrSdQUERosbU6lqi62jylWVkfurKwVet8Jbs= X-Received: by 2002:aa7:c606:0:b0:55e:f640:125a with SMTP id h6-20020aa7c606000000b0055ef640125amr4764924edq.11.1706643316455; Tue, 30 Jan 2024 11:35:16 -0800 (PST) MIME-Version: 1.0 From: Valeria de Paiva Date: Tue, 30 Jan 2024 11:35:03 -0800 Message-ID: Subject: SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024) To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=VPeQH7sq; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of valeria.depaiva@gmail.com designates 209.85.208.41 as permitted sender) smtp.mailfrom=valeria.depaiva@gmail.com 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="000000000000a2be4206102edc81" 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: ME3AUS01FT023:EE_|SY7PR01MB8612:EE_|ME3PR01MB6787:EE_|SY4PR01MB5722:EE_ X-MS-Office365-Filtering-Correlation-Id: b4aac902-786e-405e-1cd0-08dc21ca9a6d X-Moderation-Data: 1/30/2024 7:38:12 PM 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; X-Microsoft-Antispam-Message-Info: rSoW/GuirI2UaoLpygROKIbVTLtydZrDyJe0j6xtyNv+IVhJsvdv8mIkVUKHAlFgPmmrS4eaV28ur1U+qBc1aVeex6jJVm8cji3fQFuP+tMNJubA3na2twbiugIMSztheZmb6CnGsf5LmuITQqccGdiMr3h28zzfYPTmA53tvgsNimenJxS4G6SJV4dPt09uV8VtpHM7u2O770uSEGjMi/ex+0kaY5B+wn2jRoZTADL5isRMKn6lRlDX35oLVQ47xpD084aRxZ2hzjo9bGOKDxzzqF+0NPSgMe3fo6vkvieRTCvB26IQtCwo1oRBOULx8KUbQzpO6o39PfGXh5GxA/RNcerk6jRXCurUn6uH0b54Q2LxHFx5RJXzM8/Zro5gRgpFUulk01yB4QIrConm/h438MgzBCmJioDy6gAOfyckeyWjaQxlo/brhl5MaW8C9wpGO/elsqE5X8Tc4V+FmwXzMDB+Dd6S6sX+GkaQGpN/iZFfIMCcV8HvRvR6F5AZFC0Q806TGM86uLqa5nY2fyVStGBknaoq4JNcNuRfgtxlKRXzVM5NbJUMiIozRpPoOH/ODw13UKdJN+NiVI/NBuUZ5qo8J5lisM+5wKvr29ffQmEDlVK8VN+3icjWwHqiam2lW8x0W7GpYKnhuATJ8Wlmn/fG5q69KyJfgn4MSDe4lTPC6cJum+WSGkA/qEIZTbr8k1Wgx5GUJmYcxjkPoPVwT/XBNX3iVsPC+O9aLEQsgL4yD1pc2cg35xw+VOSx8Hquhx4k+8IaNZFqAG586x+6ZQFy3suYgidZCUm0eBanRJVimMTEV42VKXsXFPrn1ntgaNbUYcPkFTQHGNoJlNzi+kGEFHf1NptZSONmYjEall2Q5WmBELODJjKt6EYEz8tadnnALre8FBFp5Ryoxn5rmqZhVRPWKwx7Q86Q5A4= X-Forefront-Antispam-Report: CIP:103.96.20.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:(13230031)(4636009)(39860400002)(396003)(376002)(346002)(136003)(48200799006)(451199024)(82310400011)(64100799003)(7200799017)(8000799017)(1690799017)(1800799012)(40470700004)(41300700001)(34206002)(8676002)(7336002)(7416002)(7276002)(8936002)(55446002)(2906002)(7366002)(7406005)(5660300002)(86362001)(76482006)(70586007)(68406010)(786003)(316002)(42186006)(16799955002)(966005)(32650700002)(35950700001)(82740400003)(7596003)(7636003)(166002)(156005)(32850700003)(33964004)(89122003)(498600001)(76576003)(88732003)(83380400001)(6666004)(26005)(82202003)(73392003)(336012)(40480700001)(40460700003)(8400799017)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b4aac902-786e-405e-1cd0-08dc21ca9a6d X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT023.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Jan 2024 19:38:15.3440 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: op6RcTYCcp80EclLS8fEWicT3Q/CGMtNqg5LSqLmZXn3r8LAqba1tEwLiHzTrgbaS22ZOI5kwdqgG+H9DLJwc4YtHKHl5uLq+3cN04+8vPusWKSJI/4zdn6dBBUYikSk/303mOoAkNnSIzPsKYXfFWRXdU0TPum9Uafw25Cay78SoxXb531n2uzpjW/w3NtK X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5722 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?YkliOVZlU2p4TU9EU3pNcUFUVWgwMUdWUGRDaiszR1BuTGFpMGFCZkY5TjN1?= =?utf-8?B?b1g0SlZ3ODhrTFhHdzVvK3RjMC9Ld2pSa2sySEZmSUEyQVgrcWxrWDZkS0tC?= =?utf-8?B?OEdnUThaOUlkWVIxTFliSHYyVDliTEZrcjNETldFUHVlWjhweEhhb1BYL2U4?= =?utf-8?B?YzZlVjVaaHN0dm1BSWdjTUt1MWFNY1NueG1lWitEWDdLcUFGYXdVOUpPcURD?= =?utf-8?B?c3FuOVFEVWJULzdnUXF2Witqd2FLMklUalMzenpJL1JZQ2V3K0tXNmlGL1RU?= =?utf-8?B?alIyOE1UdkZGczZ2cUlRNG1NM2xVOEUwcFhXZVUxV1ppVnZacHp5WmVVOG9o?= =?utf-8?B?TGRUWXFnWkt3MVo1b0lzZS9WV2RKYnIvcW5PTkw5d1BmTlRSYnYyQmFPYmRG?= =?utf-8?B?VEtQREpVVlpWTFNpNmtNdzdFU2xwa3o3WXRIbDdEbFpldTlhWnA3YlE5aDRL?= =?utf-8?B?bmJycTZkdFpRcG15VDNmMlVyR0xpMys1aGtxWVlBK2p2QzMwSUVrZTZJVGJM?= =?utf-8?B?MTg2MUpSNVZzcUZwOHFaZzdNaVp2cUxCS1dSRWZib1FxbVpjWm5oRnNqVGww?= =?utf-8?B?eC9uMHMyRll1U2g3VG1nQ3U2WW1vcXY4SWVnNUF5QTNCR1pIekRIRkdYK1dx?= =?utf-8?B?SEsvZ05FTlhLcUNPTVZtOG8vdHhKaVBnY1Y0N2JjWmV2aHV0dkR5V0FNOHIz?= =?utf-8?B?VGtsWWlvTG1FTTZXVVgrNlgyMDF2M2JtVVlPdzNROGxjeEtXTlpuTGVqSzho?= =?utf-8?B?VWpSclhxck1wNHFCNFBIREI5ck1zdENyajRDd2d4dDJsQkZQeFQra0x3Z1du?= =?utf-8?B?Sjh4Z0hzNm1Lb1ZEd3VKN1hpV2pOQ2RuYmVGVEpQSVNoS0cxbE5Ja25MVnNO?= =?utf-8?B?bUNBdExqbDFTbzhTRVhENVNqVXRvUDJ2bW5WUE5sQWN5WmtwSVc0MHdPVHpK?= =?utf-8?B?SzhEM21SeEo1eVRnZ015M2tKbWRRbjFWQVFONVQ0M0RyZ3dIZTVtVjdnMDJQ?= =?utf-8?B?cWlVU0NnVEVGdE5TaktETnFOTWdPUmhPZnFsOVphYmFvTCs4UDhNbUNRRGlT?= =?utf-8?B?c3V6eHNPUUJOMi80b0h0OVYvMnRUMGM1elEzZFREbjdiSDVsNjNRbGZ0WmdD?= =?utf-8?B?dWF6QlJYNzI5VWFPUzBRRVVhdnExU0V2WWpCbFE4aDF6b2RvUVFYcjhQaUpD?= =?utf-8?B?cjRkNVJYSkcvdFloTit1d3labnJCU20zMGh0VjNDL1hPNFFkZmhNdWZ4N05U?= =?utf-8?B?SG03MFF0MVpUQmdLWUJSSU1pTFpqZEdyS3diWEw5VVYyOXV5TjlXclFBVTdQ?= =?utf-8?B?WGdUMlRQYk1CdTJPT3o4V3FIaGdBeDJ6UUJ6Q2FJYUtyRUtwL3IxdE1odFZ3?= =?utf-8?B?Zkd3LzNIZVUvYTh1RExxekVySXE3d2p4NFNxV0hYWVIwNlNQdWErTWgvT204?= =?utf-8?B?R3hMMitYRkFuZXNSSEVaWm5WMittZllMakNXbTl6VmF1Sm5lV1RZZCtrdUR3?= =?utf-8?B?U1h1alRVaWZrdm5yNlVtWTB5MDZVb3ArTkM1bFRUY0d0UURRcjVCa0h2ZWpP?= =?utf-8?B?UGRIcHhhbGVYVnhEWDJPeDNoalp4NFZ4Rm0xeS9EVnpjbTNOUldWdTdLejNZ?= =?utf-8?B?WVhPUUJiT0o5OXZDdy9waGFXT2VZL2pmYXNZcmRvUnR6dzFjNnZqVzJEY1Br?= =?utf-8?B?OGEwN0lxR09DWXZNTmNxNkloNmFDNkU1VWdURlNRam51akJWd0xNYS8zMXBu?= =?utf-8?B?RUt5NXJZcG1JQVVKaWo3djB3Z28vV3FlbWsrTWFxUEJTRzg4eEw5MlZEYXhG?= =?utf-8?B?M1R4T1R3Slg0N1luNWl6UTViKzIveUJVVmtXbDRwMWNHRmNia2xDelZmS2FT?= =?utf-8?B?MEhrU3ZCMWFDbWRvS1Q2ZWhPdWZ4QmM1dUxORm5xV1R6MlBtKzNCNHFxRVBn?= =?utf-8?Q?lz/pcjEjN3Vo0BnHeHez6oOdUqgGxgEH?= X-OriginatorOrg: mq.edu.au --000000000000a2be4206102edc81 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize= a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted= towards junior research ers and Mathematicans with little prior exposure t= o Formalization and Automated Theorem Proving and any who are interested in= this technology. Prospective participants can still apply at [1] DEADLINE: Jan. 31. 2024 (CE= T). At the school the major theorem proving systems and libraries are introduce= d by their developers. We envision it to be quite informal, hands-on, and i= nteractive. We plan to have plenary sessions in the mornings 9-11 on Monday= May 13 to introduce the systems in a ca. 20 min lightning talks, and in th= e remaining days present specific aspects of general interest of the system= s (please volunteer two topics) in 40 min presentations. In the afternoons = we will form small groups that get their hands dirty in specific formalizat= ion projects. [1] https://him-application.uni-bonn.de/index.php?id=3D5960 [2] https://www.mathematics.uni-bonn.de/him/news-him/graduate-colloquium-lu= ise-puhlmann-university-of-bonn [https://mail.google.com/mail/u/0/images/cleardot.gif] -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ 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 --000000000000a2be4206102edc81 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

The Hausdorff Trimester "Prospects of Formalized Mathematics" = will organize a "School of Formalized Mathematics" (May 13 - 17, 2024). This is t= argeted towards junior research ers and Mathematicans with little prior exposure to Formalization and Automated Theorem Proving and any who = are interested in this technology. 

Prospective par= ticipants can still apply at [1] DEADLINE: Jan. 31. 2024 (CET).

At the school the major theorem proving systems and libraries are introd= uced by their developers. We envision it to be quite informal, hands-on, an= d interactive. We plan to have plenary sessions in the mornings 9-11 on Mon= day May 13 to introduce the systems in a ca. 20 min lightning talks, and in the remaining days present specifi= c aspects of general interest of the systems (please volunteer two topics) = in 40 min presentations. In the afternoons we will form small groups that g= et their hands dirty in specific formalization projects.

[1] https://him-application.uni-bonn.de/index.php?id=3D5960

[2] http= s://www.mathematics.uni-bonn.de/him/news-him/gra= duate-colloquium-luise-puhlmann-university-of-bonn




3D""


--
 
 
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
 
--000000000000a2be4206102edc81--