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=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2133.outbound.protection.outlook.com [40.107.108.133]) by inbox.vuxu.org (Postfix) with ESMTP id 2815D2164B for ; Fri, 26 Jan 2024 22:51:48 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YOe7rsWjaoSaPRz0oVuQre4Cd2y+Ms5jqHiJffh2qvyI2E85AazeNt5lRvDlN0QTz7YQ1AcXQV7PTUkeP2dAK8yWax44ehIPKuRAgEV9BrxWvAOckw78LmR9gGQj/8e9xS16Ktq/GKIqpChkd9BO8ws6mGxuM5e9E0Tqm7Prsxqb5jS6L2wsyLIq23enhF8Afce+SKd/qBzs6DlGsXhazVp+WJYV9NAPr8OFHaKdRcZaMIy8BO7cDtzHwtNjUGVKqRsJjfCoVrFyx/tLR4A6w5vJG3DE9NIvW7yK3+hu/sli2Iiq5n8Y9B9E7nZx8vmuN08GtbzIxDuq/VwLbyQKlw== 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=V2QJH8IoisokxvO0aJ2sNPVQ8THGBU/urD7LjG4qJX8=; b=bjEXhuYdplRKbvGEbqmIaQ2si3/X6xxAF0YEmBg/B8mFe07c8lGf49UdYUSrxjbnRgnthLeLzbHT/1ZtsPCcr4n64hyD7FPSJr4/uGITqJ90Q7kUmKBB/MdnfYBEIhgT7arRrbXjl2yolNAtQH98bBjL3j8NAxbn626fc9mYgWIAOMejcmMAgkelK2CgOinzdkTkX9Tes1VuQl1rVBaYL5p69YAHQ/G9gscd2zM3X9hNdBzBoB1SsZNyQGiQT/RwcMuBZTaz/49vCOJz4O+EefZlQm/rH1td8e0CqzzdXUP8nk9qNOdATDctfZB/BkRrtYItJbYBQ2BTPPjjAfJ67A== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 141.115.24.2) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irit.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=irit.fr; dkim=fail (body hash did not verify) header.d=irit.fr; 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=V2QJH8IoisokxvO0aJ2sNPVQ8THGBU/urD7LjG4qJX8=; b=JF2WTdoFWE7jt5SEWPJsUd35a1S9QepV+A7iE7HkS/vXvM0HYfKHuG92uUeZ0Zc8fh0qEYbhiYzUnhu0alYlV9ETTWgu2z+T+RUezgN2YVc/oVsZiQep3DUlaToMrJ92zMJ/7upmjNjsBVTKPModcwJNNqhtwteYbiF5UXpFXyQSw/i1qFvhhYBlgI5BaInHtBRPNAwelqpbhATE53RJI+qTDSfQXZB3a6jz1PIMhGhyDEP8j6d3bWcIPQcyP4rrr41JDZaBF7V/I42bITtJtTB2dANVF5J/2Ww3WHd0c+5aj8GwAfUtaYvF7Y5GhKj3fDkyR6PFliYknBfGnpSG0Q== Received: from SmtpServer.Submit by MEYPR01MB6744 with Microsoft SMTP Server id 15.20.7228.28; Fri, 26 Jan 2024 21:51:46 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=O7uk78nOmLCvwCHF9+Yksxt4A85zMD73nBsx0okVw3ZMGz6fiCqedRHOB/fy5JxZLKUv0scJxLbN5QLqs72Zq564gWiRd3qGf6CBUXTjfXvPTKfuzBIuVQqp/A25Phi/Ai7YmM9Yr0AyDQfRCpJs64MIK7B+Mk4eOhijh9xy38BBpCTsY8T5wI6AGN1DT0dAXY+v12Ud0+X+Aj5A2Q6B6md/2JcHA011EVhIwP2MY7z5KCxX0RXCp3mkU+lvGuTgIbT4rTSA+dEAOcdvZ2jD9OWYbtmU26XlYWZLJVgNj+gjvv7xVSjAbnaoeVlUfCPsSi06farlXZ+i7NxfV5kB8A== 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=PamNAohl4kJtZ8bu+dcWMm/rJ4u2SZmZDsoxZJ3KgUo=; b=ZRySRCSXsVcK9XVSJlOh89zFrnCesnVHlQEj2T/U2/MKSSdbhQnO4aZWfzwcfE1P6efNaAg52YdO9tWqiE/oTsC0OhxlX0zKho+kHO4s1XbdigLLstBYKjsstXK3JYkvL/PIY3GY9PNPnRQUg38yMB8tnIB09DYP3hWwlSoQxKO0Tn2Ll7u1QUsfKKK0U1lmf0pVlieosOc6i+b05ty4uyreeQ8q7j1f9bMi+UzeYdbgVYfzalIxSRKurgNKAzdQW53c0wgTjCScXTZLRVH0djKQSfsj0DLoaBjFfBzG5nbE5Ft/J9n7MYiWD1Ads3ykc4p5UZsGgu2FA+6OoqZ8LQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 141.115.24.2) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irit.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=irit.fr; dkim=fail (body hash did not verify) header.d=irit.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB7562.ausprd01.prod.outlook.com (2603:10c6:220:133::9) by MEYPR01MB6744.ausprd01.prod.outlook.com (2603:10c6:220:12f::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.28; Fri, 26 Jan 2024 21:51:40 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by ME3PR01MB7562.ausprd01.prod.outlook.com (2603:10c6:220:133::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.28; Fri, 26 Jan 2024 21:51:37 +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.028; Fri, 26 Jan 2024 21:51:37 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=T0fPPz7TXHCAklIcbhmTyaFNJR1YVSJRMrwcDU0TLRcW7ipoLP4uHdRA2qQUJFPepcmR63adIE8j2LeDI+Er7ZhYwdr5/wA1KdGG23KksBhaBaBBQ0qmb6jnGPGEsv154WLHvwuXDOUm9Bz6R5W85bv93pnHYiLD9JdjTjC9gnBbTIVxMGxF5g8yoElT2J3UA7+i9nmDdU0bct3W54bORjIBHTpdHJJMry0n78vqpfiseUSXkNWD3Af+PAgPPbOy4BGirohsAPausrfSrQHYn+2YgHXXKcmDYouqZQs+s8DT68WZV63TulDSD6TwmfZ/VJbFHJTiBUiIhbLyaqd/ZQ== 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=PamNAohl4kJtZ8bu+dcWMm/rJ4u2SZmZDsoxZJ3KgUo=; b=oCxjl57TaS+IzV75DekLNkTAg9JY/4yhmx9yI8bLIN1ApMFz4vs52EdDAaHTVvNqGGrsV/RktK0/Ifvcq+AB8HsT9D56Z4AF+VjSb+YJSwNwRhuLxZGkR3nVIiYJI092xciYCgdZ4tfqZzS3e7uNpp3gABDBKiBhfcoOItCMtWCWvdRxOl0lhEdtSrEHsnnoEUIUWPDknc6ZUUoY4sYqyBGlM4CCcvyAXxWEk9SPbTwZ9jNynleJHa3HIxAGvmgWSa68rVCaDLJq8/DCOeIP3DCRQAxR8neiknarE1WWldXeijzOYQ5Tek6ijjac0bxtXlAkMeOxRI1mhJH9EBwjfg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 141.115.24.2) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irit.fr; dmarc=pass (p=none sp=none pct=100) action=none header.from=irit.fr; dkim=fail (body hash did not verify) header.d=irit.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWP282CA0073.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:1dd::13) by SYZPR01MB7525.ausprd01.prod.outlook.com (2603:10c6:10:16a::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.28; Fri, 26 Jan 2024 21:43:57 +0000 Received: from ME3AUS01FT021.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1dd:cafe::7a) by MEWP282CA0073.outlook.office365.com (2603:10c6:220:1dd::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.28 via Frontend Transport; Fri, 26 Jan 2024 21:43:57 +0000 Authentication-Results: spf=pass (sender IP is 141.115.24.2) smtp.mailfrom=irit.fr; dkim=fail (body hash did not verify) header.d=irit.fr;dmarc=pass action=none header.from=irit.fr; Received-SPF: Pass (protection.outlook.com: domain of irit.fr designates 141.115.24.2 as permitted sender) receiver=protection.outlook.com; client-ip=141.115.24.2; helo=smtp1.irit.fr; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT021.mail.protection.outlook.com (10.114.155.143) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.22 via Frontend Transport; Fri, 26 Jan 2024 21:43:56 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706305435; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:dkim-signature; bh=PamNAohl4kJtZ8bu+dcWMm/rJ4u2SZmZDsoxZJ3KgUo=; b=b3lBRjEP6+0xjhyoRwbFGXh7l5G849hNRJLLu7S8DNbJnEGy7U/QvuSMg1Q4FoKQ6n2yz5 GvEnUlKa/SSE1DPeH3N2cTKPjm+Q+nr+El3MQmeNSSMjXAIi21qYQonKKU34eGPFeCplvM A23ocfm5i4mefHjpIwuJOukhRo+AxdbRQdbmFknBXVDFa8WhWce/Z4AD1QS5Ksj9MqJKEH JDT6Fi53j3SYl4GvalcPDpjJnj0YgKZHmathEi6U0m+g3D0fnqIoY1wHZ78gokgGXGVHYb 4kXWdKmRlr/KubzYzzIpT8KyDkghovLP60jUBE5ttStt97PmoyADNIszLb4ONA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706305435; a=rsa-sha256; cv=none; b=hyAyvldQAabkKVWv6ve2u2TVuIs4U0wYiOrirSY3bqC9yLhSJszzdoc3KIKILh0Ft2gcpI dcuFtIcnz64+80mC/zaZeiPnUMPQ3LsxR9SjvVbr0AqQlM5EHWnxNTv3sKPJN8Hwdf2agP gvD10zVLPSgOR1pDlLBcwwy+fIf3feJJh+2XTKq7nB31+y/qXb3/ZTX5jU8Qjp4P462CvL geTwy+15XvgGy/jU/DQS2cz5dFRha/DP3hXiDk7MsR7O4Me2tHKJCGVyHfN8nukRtfoa4U gCHrp32Z7ns3HPQEo+r4njH26WlG0NUyCj8p4qE6XEmXfDqfm7vnPgUWlQ5nBw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=irit.fr header.s=default header.b=Ebo9668p; dmarc=pass (policy=none) header.from=irit.fr; spf=pass (relay.mimecast.com: domain of sergei.soloviev@irit.fr designates 141.115.24.2 as permitted sender) smtp.mailfrom=sergei.soloviev@irit.fr Received: from smtp1.irit.fr (smtp1.irit.fr [141.115.24.2]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-72-mhGGMuoRNe-b95ml_ZjVTQ-1; Sat, 27 Jan 2024 08:43:51 +1100 X-MC-Unique: mhGGMuoRNe-b95ml_ZjVTQ-1 DKIM-Filter: OpenDKIM Filter v2.11.0 smtp1.irit.fr D8B1C805241 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=irit.fr; s=default; t=1706305064; bh=qbIWy1NxqW+I/0IIDrcEVWuHXA/QwD7EREKuxvu2P64=; h=From:In-Reply-To:Date:Cc:To:Subject:From; b=Ebo9668pAUGMuiY+Is0qbkHIpIddHhwCTVqAJLo9TAVO48pUCk0eyDxPIeI6dSxo2 voPrO/GT/58JRfFvveM2NHGIl/eq0FV0J7iHQpI7mZWNmbmwx6Ems0VmmiAaeI/Nr3 FnyEmCM0hDsawZqPLD63tb6E1LnPtbv/uK3Oeb72trZ0+L9nWQpcxRfhrlAGq0XFuF n7y2FQeD3reAIISr8er6PTpu6RXgmSsgMiYNOeKG9TbUo6oLGnfGe64Y8iN3vQBJNt sHqIsdc7g/UdcQwVKg7HmBT9MhdBst3ideqnde5dihsy1ANQKuPObDlFp2Wskk1Kf7 5TQmNr7oVj3rw== Received: by wwwap4r8.irit.fr (Postfix, from userid 986) id CACE4C09386; Fri, 26 Jan 2024 22:37:44 +0100 (CET) From: "Sergei Soloviev" In-Reply-To: <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> X-Forward: 83.113.66.66 Date: Fri, 26 Jan 2024 22:37:44 +0100 CC: "Tarmo Uustalu" , "Categories List" To: "Steve Awodey" MIME-Version: 1.0 Message-ID: <2cd614-65b42600-1ed-135bfda0@46100124> Subject: =?utf-8?q?Re=3A?= Robin Cockett Doctor Honoris Causa of Tallinn UT Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=irit.fr header.s=default header.b=Ebo9668p; dmarc=pass (policy=none) header.from=irit.fr; spf=pass (relay.mimecast.com: domain of sergei.soloviev@irit.fr designates 141.115.24.2 as permitted sender) smtp.mailfrom=sergei.soloviev@irit.fr X-Mimecast-Spam-Score: -2 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="MCBoundary=_12401270843540031" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[141.115.24.2];domain=smtp1.irit.fr X-MS-Exchange-ExternalOriginalInternetSender: ip=[141.115.24.2];domain=smtp1.irit.fr X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT021:EE_|SYZPR01MB7525:EE_|ME3PR01MB7562:EE_|MEYPR01MB6744:EE_ X-MS-Office365-Filtering-Correlation-Id: 75ab7197-6ffd-4cf1-f767-08dc1eb7e5d6 X-Moderation-Data: 1/26/2024 9:51:33 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: 6U8pH11T1J0wNB9Rlmd9nNdckkS8BHTls6V2LBYQfHwcZXMAF9OCon5FtnH1UjcZX4PrSmaI1bcUpmO1r/DQG4etx+ANhB0PpCgFJIU/OyWUpmHNKEHwgscZAar22+YjKiH36sxBC3qAIcVu5/T05tsyaf+weYn4SHE92gKJgZdIEiR4JahVIaMlRST8yIyEHu8PG0IHYk45/pDzxom3Vm0Mm66AV+ljcNkL9pFisdiLHYglst87cevjbY6C1oZRmPNDKoZi5zytiQLrvuw0Rs83dd+jNSUJgpM0dWNdTTdpQrHSxFCUuNNdO8r2tzuoT/gGtdKZmVwkNRSMG/AmXYB25YNnjEM2bZXKWhdOJo73n3jzFLtp9Uge1bnPIbSemA39shfQkavBqmWwHyECZqY/urmZ/Cw2ch+88ospj1MAuGE9WtmBhmrm68rakowelfMmwBzise86E6yKKBJY02KupHBn/Db1ruM8kUt83jmLTpopjjWnKZFRWCzRzDHyFiX+tqAIraufdflgbKe0m/1y0hg10iLgvb0pKkLEb29q/amrL0uIifyc1cBS5LAcTYUitf1LKIzRiO6cnriqBNkT4mHH+VSXpzrySXy1rTuFTjF4gEq60NvtiNbJLcvcjyxN2z1ZM0UJfyUrrKtzIn1SY4OWvL8p+CBoXwTCgEPqZ1HFBFeyihxhVxX1c/KSK2+tRR0XCh80USg7jtQ0w/7zdrGRooy/LMIiUy7RE+Z5TyDu4Spj5Ay9siuZwjxhJA1HtOoxgyeCSL2Qg7Kv902EjVWETK06t7Gi9qg4dxTzQ8DU3ga7XqG1cnv7qTLZxnUbUk2zBvtpVJYEuRXCTkoScoiZ8zATwUNLRmT/Gf4= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:FR;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:smtp1.irit.fr;PTR:smtp1.irit.fr;CAT:NONE;SFS:(13230031)(4636009)(346002)(39860400002)(376002)(136003)(396003)(48200799006)(61400799012)(82310400011)(8000799017)(451199024)(64100799003)(40470700004)(40460700003)(40480700001)(966005)(45080400002)(66574015)(9686003)(26005)(426003)(6266002)(336012)(498600001)(76576003)(89122003)(88732003)(86362001)(54906003)(786003)(70586007)(68406010)(42186006)(53546011)(316002)(8676002)(33964004)(6862004)(35950700001)(4326008)(32650700002)(83380400001)(8936002)(82740400003)(33716001)(41300700001)(5660300002)(156005)(7596003)(7636003)(7276002)(7366002)(7406005)(7336002)(32850700003)(7416002)(2906002)(166002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 75ab7197-6ffd-4cf1-f767-08dc1eb7e5d6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT021.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 Jan 2024 21:51:37.2738 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 7hnXHVAYBG2i1b2IGeNlsQIlNfoBn60UBD6e2hEQf63sTid+JX1k7kPkwIWABjyhPVWlAkE0eE3BesrRA8eshi6hvecBZBNLc4eCMfTspfVf4joHlayHGDfghsDkSM2Gn0cAs1xuKWsDTN+O3baElQuEsj8Q7cJs/qdkjYQwjm69wH0l3LVG/HMH7uxPHXI9 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6744 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: <2cd614-65b42600-1ed-135bfda0@46100124> 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?QXlkQ2FiYmkvT1Y4d0E1L1NXSEdrZ1pabFQ4UHE0eHVnNUQ0NVNrdGwrYi9R?= =?utf-8?B?MXRkdEZwVnlFM05EVEVlN3hNNDhyUDM0d1lUSENpbE5DU1NyWWRzUjJOYzNp?= =?utf-8?B?aXY2bVFKWkFyM3AyV1dWWTRaYUFnVnJhY2pjU25wczgvbiszNTJVSnZrUEc3?= =?utf-8?B?OWhWRUplTG05MUI2bmk1SUJqVjNuTk0rcnY1R0dQOGh5ekJpcmNjbElGRDBY?= =?utf-8?B?M0taU3Z2cCtYUW4xdTZJb1pOd1k2ZjRKdjdlcWI1R1JLQkdmRmhFRWVBN2Nl?= =?utf-8?B?dXdtWE0wNkh2N0w3NTl1cElpVHovblpnNnRUTDczRlFmdS9MV2tVSmpZSW56?= =?utf-8?B?WVFONk1wbHl6a2pnQnJRdEd4Sm5MWXpLTUxHc0Fxbm1CMXBYM1RvN0dLMm93?= =?utf-8?B?RFpBRyttSHQ0VUlBV0grOHViQUJWVlF2MzZGWTF5bng2RktKNmtFZzlKRyts?= =?utf-8?B?VzVIZ3NUeWZCOWN0d09KQitLQnJqVVI2UkFjVVNTZkN4ODhMeTVuTGpkaG1S?= =?utf-8?B?YllOU3Blei8yZWJyU01GS2xjaFhQS1l4Nk1ObXl3RzZ0Y3NuaW02amt3cjA2?= =?utf-8?B?dlJsaGJ2VWZoeWR6T0JvdHVESlJva05NK2IweDJYTFgrc1FQODlnVCtQcWJh?= =?utf-8?B?M1hBUWxweE04OHkxZERkM0VSdFU5MTRVd1g5OURCSDdTdmpxc2pyS0hCRSs4?= =?utf-8?B?NnRnRGlvM2hZU2RHMklKa1BXSWVVOG1BcjhGTkZCbGFhQ1lqbnNHRlcyU3Bn?= =?utf-8?B?MllseTZ4K2ZoSnNnTnpaOVpVSDVEbjQwVW1NMTRvSk1IU1pRbnRDTEM4MGVK?= =?utf-8?B?emQ1WDNKaytpbEU0SFMxZlgyZWpTSEdmellKUXBEQ3VjVHowNDVzeE1uWWNi?= =?utf-8?B?Q2lTNFh2WVo1NFIvTkhLZFlMYkJML2ZXM1I2QzVQa2ZiZ1R4SWo3cGtmRmly?= =?utf-8?B?RzF5TEdKMjhYcGlTc2dCREtlc0dVeFBTVjZFamZIbjlFTFZvS3U2cDdlTWdV?= =?utf-8?B?a2tzb2xYL21WR0cwb2IyVDRHNmd6dk5iZjFnY2NZWFg1aTU4L1E2OXpOemk5?= =?utf-8?B?ME9UbHhabTE3R0xLNTl0dElWMkJsNytxRTlkWVpUbEJLYXN1b2R5dExNT2Zt?= =?utf-8?B?Q0NMUGZqOHBDWGFRd0lsaC9lOW53ZG4yU3BsMjlmcjV3Q0tGSFF0VXFJLy9n?= =?utf-8?B?aG51aThBWnIzY1ZBYXVkWjVtQXR1MHRSSDV0OVNpdXg1anlxTTZLeVc4TGd4?= =?utf-8?B?a0dLbUJMTHF4TlJRMzZKemkyZU9SeURkbGtmQnBDb25GRnNqeFArN25RUDBT?= =?utf-8?B?RHpMU3h4L0gwcFJYdXVFYmpDZnJxYjRnbnIwZFI2U251NnN5dGh2YlcxR1JS?= =?utf-8?B?eDFPR1hkSzA3TWdPdEpjZXRIMWMyZEFSN1JXTmI5MDJrLzNhdC83R0RIUy9y?= =?utf-8?B?NXBEY215LzBnSld5UXNnbFFFakc5SlJtenhzSWNZS1VRNjlmZDRVT0Y5YW01?= =?utf-8?B?V3RjVjZJRGNIUG1iZFdHR2JLZ0NuVVFYanJ5cUVJUWcwVnFES0RsRTVIaXZF?= =?utf-8?B?RlN1Y094a2NPUHlLTnFGNFd5YzVqL29va1FpZWVoY1NUV2FIanNyRXkxbnUv?= =?utf-8?B?bTF1WFlFYVN4NkZFSXorRlV1bDlaS3oyc1VKTFpiRWZ2YUJkcVMybW1nSFF3?= =?utf-8?Q?QiqK9h8zrqwEm6xUP91Q?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12401270843540031 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Congratulations, Robin! Sergei Le Vendredi, Janvier 26, 2024 22:31 CET, Steve Awodey a = =C3=A9crit: > well deserved - congratulations to Robin! > > Best wishes, > > Steve > > > On Jan 26, 2024, at 1:11 PM, Tarmo Uustalu wrote: > > > > Hello Categories, > > > > I thought it should be appropriate to share the news here. > > > > The Senate of the Tallinn U of Technology has on 23 Jan 2024 decided to > > bestow on the U of Calgary professor J. Robin B. Cockett the title of > > Doctor Honoris Causa of the university. This is for his contributions > > to advancing the study of mathematical foundations of algorithmics and > > programming in Tallinn. > > > > I am very happy for this distinction to Robin, who we have been > > privileged to have as a teacher and friend for a long time (25 years!). > > Robin's shining passion for his subject and his > > uncompromising thoroughness have been particularly inspiring. > > > > I am also very pleased to have our field spotlighted at this university > > on this occasion; it is no small thing for us. > > > > Tarmo U > > > > > > > > ---------- > > > > You're receiving this message because you're a member of the Categories= mailing list group from Macquarie University. > > > > Leave group: > > https://protect-au.mimecast.com/s/JIJnCr810kCv9yxrf7NwoE?domain=3Doutlo= ok.office365.com You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12401270843540031 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Congratulations, Robin!

Sergei

Le Vendredi, Janvier 26, 2024 22:31 CET, Steve Awodey <awodey@cmu.edu>= ; a =C3=A9crit:

> well deserved - congratulations to Robin!
>
> Best wishes,
>
> Steve
>
> > On Jan 26, 2024, at 1:11 PM, Tarmo Uustalu <tarmo@cs.ioc.ee>= ; wrote:
> >
> > Hello Categories,
> >
> > I thought it should be appropriate to share the news here.
> >
> > The Senate of the Tallinn U of Technology has on 23 Jan 2024 deci= ded to
> > bestow on the U of Calgary professor J. Robin B. Cockett the titl= e of
> > Doctor Honoris Causa of the university. This is for his contribut= ions
> > to advancing the study of mathematical foundations of algorithmic= s and
> > programming in Tallinn.
> >
> > I am very happy for this distinction to Robin, who we have been > > privileged to have as a teacher and friend for a long time (25 ye= ars!).
> > Robin's shining passion for his subject and his
> > uncompromising thoroughness have been particularly inspiring.
> >
> > I am also very pleased to have our field spotlighted at this univ= ersity
> > on this occasion; it is no small thing for us.
> >
> > Tarmo U
> >
> >
> >
> > ----------
> >
> > You're receiving this message because you're a member of the Cate= gories mailing list group from Macquarie University.
> >
> > Leave group:
> > https://protect-au.mimecast.com/s/JIJnCr810kCv9yxrf7NwoE?domain=3Doutlook.o= ffice365.com
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12401270843540031--