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,HTTPS_HTTP_MISMATCH,RCVD_IN_BL_SPAMCOP_NET, RCVD_IN_MSPIKE_H2,RCVD_IN_VALIDITY_RPBL,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2215.outbound.protection.outlook.com [52.100.199.215]) by inbox.vuxu.org (Postfix) with ESMTP id 512A6230F8 for ; Fri, 26 Jan 2024 22:34:02 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=C6giXBGOygwmIqZOReHEA9Xk8ygXI6Gb49SK8ZarGDcqBLMnSeJKW0VrXDSUPXbghaNzX+XyAOdKfRNvNvfhQPqoxlncFOzOLzJuC3x7uNiWTpZ+lFilh9l3Ro+1uubs3C210simkn32HCM+/I+QJFBPalS2UYEAf4CvNsO80APdJdwqqZs/06DRW5mMMXHLENcfA+6hokC14O3vZBdU3vg00Z/+Cs2wlYPjzPVy25t/ct9R343846sBV6Y/YYZOuZxgbDCmlOybovcyQR6ZW2Lce7BQyuovM9LI/12VR0IiHcH+tOrpu5ABajxICVmLpC4+VHZsACru4/X+uEULug== 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=IGT7IFF288O/duukS+URkKPHk73B/3ciOPNSbSJpd6s=; b=B83BJcqwOJ1GsEFkNthBSqoGYkC0QIGw5BU+4UgyamfQ5QJP06wVhI8RYVdgSXahkEfWj9Khxyj06gt7EG3zJC6jHmUna0bgkXH6lPnVQTSMyGjqSjHOIWSny2s2EGr7y9Ra21zKUt5c5uwDww5zlI58UWEs8OeZ4+tkPvDwgJwuDseSjemfNEFRRi+LR09Tc8GPbf9pVyJPzSDafwkOm9/mi6b4XWXv5+P06veFEfJ30A5erPt2XvCfSKdiVR/OrxIX/PblCvnirljWSrLtRzP8ls0nhIz5SfzbXj3Dvf1dpx4preRI2bVjXW6Y+4dAY3wO+TxICEnfIaSfhUPgBA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (signature did not verify) header.d=cmu.edu; 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=IGT7IFF288O/duukS+URkKPHk73B/3ciOPNSbSJpd6s=; b=j+Xpve+81bVF+4XuJLvZlFeu2be8CJDDkSgu2L4vGstdsQRT1pSQMXJ905tbJs7VxWYTDVnU/n8Ozw5BFAq/vpFIHBGih6Qo34X8fDgaCcHQA7U+R+zc/TtpOPot7PKCRBP9M6nr+SAKADFTJzAfN5k/XfLgU6hSeZSB0D629nasFw6rQn+X6SscTQiwoMIrYsWl0YOWYwiH9R2E8fqVhuykSAw5sEEC/fmWqqk6xPKz7f1CyvSwCOLKS+sp0mBBcbRF4MGViIAJGiu9tblGirzpmXQu6OUSKu5hq4f8HdaiPF5p0+dKArrvHMP4GDUOSplQd5RSYaDPjYA87stAfQ== Received: from SmtpServer.Submit by ME3PR01MB8465 with Microsoft SMTP Server id 15.20.7228.28; Fri, 26 Jan 2024 21:33:58 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HsFM6jaGvCVWKIGeEeGS+VnS/xntcJsIzs0hlc24vXPUWcsBe1T2wXqyK25ycTFkHFKBgsVTbijLgYYNn15faceiveJeo+XSGm3k5tFZPiq8ozNYPZgOXtCh6Ge5RWmdh/WxxjU8Hx/2snD5k8xMz9x4l7o6cxmEOJyCb7Ue5stzloL+VgTHWa3RRwScmstF7bQb7hZCZk/Q938e3J+BRwcML6ybToxWo/keU5xkHLkp8bw484Y1p8RiTeimeK3qpBnD3vqw9tws1wG5CdVe8SIKG8nJHAPz/N3PPZPDI8Vk/5QJ75qfwmSUfFq2E+8FqCNC0Z48xqaQSVK3cqDPIQ== 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=IGT7IFF288O/duukS+URkKPHk73B/3ciOPNSbSJpd6s=; b=ZySxooo2MnW0Q2McOMW3712mcysAuXMtih/YOKlNSLASk+4K/nCbI3tG6a5pCPIYcak1mR8XLGNE+om+7TJLmy9Fc9rPVxAgrD3XmNfSHAzqwSe931alcvayOYCQ/sTG/9VoB3w6x2mVm1idmAQjP8S3oR4ilqbqIDQlp0CgfdHbj8jnZbzpP6SHI0MY++wdYdAo67/YqjU6o52FWTj1r6QWDZfZcpBBhSkgpmYJif1tPUBzAdSKw9p4b8oMPqMupKmZXjCcWZVbWlIRGJC1WmEmmfslsMAq28A99dZzp5TjL+xe4cvX8yje8OELGiZ6u3IvHH8fMmbmPF/o8UEh7g== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (signature did not verify) header.d=cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB6507.ausprd01.prod.outlook.com (2603:10c6:10:123::11) by ME3PR01MB8465.ausprd01.prod.outlook.com (2603:10c6:220:19b::12) 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:33:51 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by SY4PR01MB6507.ausprd01.prod.outlook.com (2603:10c6:10:123::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:33:48 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004%3]) with mapi id 15.20.7228.027; Fri, 26 Jan 2024 21:33:47 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HhFidtupEdaAaE6hDs6xgDWk/YCUqYaynTxk7HYTSm8q87AwRREGMobCLaEblSs9Pw9S0YODbw+/2ulLTafczc5zLCmxBhMbCtIgwW/8PBfr9LdK7cXYW9VM55uk4Wyyc8co/JeX43Fi4F4sT+Vq88K5lyzhHPPUSnui0pvTFGCba1qM2f0NyxarBCG04FsGZPm8z8eUxWWu7uhRA5UGatt7TSS1X2wwxUsHQtB4NKaWbIfvmLt7mFvBDnvpfOtQyB2dMbfopi0dNeFOwfuzEvs3oWyVbxe6EzL/Rt9aXo61++cCK3crQEbaEzaK+mDYYdv0uJ+JYcNltfy9Kk18Ow== 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=IGT7IFF288O/duukS+URkKPHk73B/3ciOPNSbSJpd6s=; b=AqJmUa0YxDMZGs7WNRL102F1HRQejKtcVlhDQD+tS2t18oAfVeCXl+ytZSKadn6VbQHfRLkBsqoH9GLcCpUlXh97pNjv1T82Q6PD4+Z/6IRygiMkdoBjNpMoknemYvasGw7uoHDSbTNZVvP/EAFIIa/kvoWpkpOj3mePcm5W0PsZ9iDbg7BgS/05i9jGjHtenF2o2Kt6SK7f4fq3e2rfBq8Ix6mm1Pw2TA0Gon4r7v8kXSuKs02wAaHSez7klz8FnbYstrdso4kdsHJeX5zMJsNhsbK4B8GfJ3IXkUe6E+ZWSRoFu6PWmQiBHJ0n3JCCuHV+8GV+M8XdB4ZxE8VHBg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.160.174) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=andrew.cmu.edu; dmarc=pass (p=none sp=none pct=100) action=none header.from=cmu.edu; dkim=fail (signature did not verify) header.d=cmu.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0015.ausprd01.prod.outlook.com (2603:10c6:10:e8::20) by SYBPR01MB6159.ausprd01.prod.outlook.com (2603:10c6:10:ed::12) 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:31:23 +0000 Received: from ME3AUS01FT018.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:e8:cafe::9f) by SY6PR01CA0015.outlook.office365.com (2603:10c6:10:e8::20) 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:31:23 +0000 Authentication-Results: spf=pass (sender IP is 209.85.160.174) smtp.mailfrom=andrew.cmu.edu; dkim=fail (signature did not verify) header.d=cmu.edu;dmarc=pass action=none header.from=cmu.edu; Received-SPF: Pass (protection.outlook.com: domain of andrew.cmu.edu designates 209.85.160.174 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.160.174; helo=mail-qt1-f174.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT018.mail.protection.outlook.com (10.114.155.76) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7249.15 via Frontend Transport; Fri, 26 Jan 2024 21:31:22 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706304682; 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:references:references:dkim-signature; bh=IGT7IFF288O/duukS+URkKPHk73B/3ciOPNSbSJpd6s=; b=qNzuOcEyW5eWsvvmP1sQ0u8GrG80bBAMbsOf/nSA520Q2tW9piiaJJP7AFBjcgSQ6iFNBI fe0anfsoOTCYfivUjxIhFSGv0lmqosa4SoVCWht+8r++Mc7e03W3TBlTWhu4p2CjQ6Ka4j RCN8WmC9LDaBPoxcTDI/WhBCjNQFXD3XxsOksIl5PQfW7cNsocWs2gGDPf4NPXXs74Q8kY MeAf3aqTaJhl8x7ElQjLzYXED70cluCH9pbnGFkB3a/bErwJCQj/4ub24ncbf2V01hltnB I3Z2O5Vkr1bTqrQ9ej1G5ea1I44JLPuFKJmjd6LYbvjUFhB+0F0bmZNGraeFVQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706304682; a=rsa-sha256; cv=none; b=lZ7sxog9RA8so2YW8pp+6F8Jbp7GoC7xcM/BAYi8+glB6atM1GjbSIkqVk8638vWTMEITP fZXdzs6VAdbhK0NEzkbzEuzkhNeNSirCQc9b4IwukBftY0UgbmydcNTvLnzcgfO05BHS/+ RyfUM3pT2Nx1g2a21Jnh5QfSl4oFmUyU0H3UfyOydvUw/U7xQ5TEb1okmRkWwXKXDnkiRe gM3rD6hkmxD7QPwlOcJIojLs/vqKPwR5pPTb9YVvpuRJfXAnHhHwkNkM4PvIPUuj+O5eXq YDYHGQ55LeURM7zg/MDD0Gmt32Re1WIFKexmzytVgQkxctHI+fsKof+NMEEk5g== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=cmu.edu header.s=google-2021 header.b=NRso71mQ; dmarc=pass (policy=none) header.from=cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.160.174 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu Received: from mail-qt1-f174.google.com (mail-qt1-f174.google.com [209.85.160.174]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-51-T316F1uPPmOMn9_fvvVcaA-1; Sat, 27 Jan 2024 08:31:17 +1100 X-MC-Unique: T316F1uPPmOMn9_fvvVcaA-1 Received: by mail-qt1-f174.google.com with SMTP id d75a77b69052e-42a7aa96669so6362511cf.3 for ; Fri, 26 Jan 2024 13:31:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu.edu; s=google-2021; t=1706304675; x=1706909475; darn=mq.edu.au; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=9m1fGrPIMygcinC2IBFAVTURF6zRCjqyh+2WvFaGWAI=; b=NRso71mQdvcUdICMxQRu8/r1jr9xJTA4PZ5Tmvik3BfqUCVANevvB/1BEGY2g2FLhx QpSEmDeIWEmvQYEqkvDCmJoC0XFZahMpjXS/5IIGZsy+m6dLrsxoQyjyr4qjpCnoA0o8 drN6cSerD6Ch9tN9NOMWa/G+7OTVBEojFltIJlGnXGUKpN7w7LSpyOMN6TvpBTIPWSdM cPbaaX9QG2B0b4rVSuXXoiPq3Zcub9kQIloO/WR0JhD8pqf+dKyPq/Km+5bsn0XxCmdl Z7ynVUwRq1lM6ms57WiPOxpv0Oi/fxWRfJ14PSPAYUk8paO3wg2Mf3YdSdEuMrwXx4J/ Eb/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706304675; x=1706909475; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=9m1fGrPIMygcinC2IBFAVTURF6zRCjqyh+2WvFaGWAI=; b=vmSIDB1zNRH7hsqvinLH9bbOtTAVcUSECCBWgiQOjOz3Aab22R9mRkshV8MgtzEQb/ BdTpIDmaWnoFDxA3II7/CmYw7ICuMS9sGN8M6+f3SiSA7/TIEgJHRmpkABkAVaVfXns9 lNjka6y5ox6pEaE2tJyONq/IHG3ZNeFW5fMKEtH8uiKEGSFxXQweKt4D5Y+3Z8zGc9IY 8Y8rY/dZDlURhzfc4/IcFxhi103AjRhsR6V6Jnwvevn9xy0bPZAuv1+jWSLROHt0fuYw QMlODHQPJZdJCapjRDmkA4S+FKDK0NxMCC1Nh7a9FbXG2wT4SrIHKb1CRVzhC7Q9MJXG /X2Q== X-Gm-Message-State: AOJu0Yyg8PgvrqTXkqpUNLi0YRleU7xID+R0J0RUNIzFirA8vDHEtV8+ 3bUhjWbxRGNuZfJcimIC4kjH/KzelxymGEL6PvRGg/GYWytRJoidzatClKpqIw== X-Google-Smtp-Source: AGHT+IHhMrNVFe77bjRosV/FJ+Ut9hVTwpzJPrAyx4v6ax8ngwB3fEGfqmiSb04GRCkKf20F/Y+uTg== X-Received: by 2002:a05:6214:c6a:b0:681:9ae2:c74c with SMTP id t10-20020a0562140c6a00b006819ae2c74cmr558540qvj.52.1706304674810; Fri, 26 Jan 2024 13:31:14 -0800 (PST) Received: from samson-bp.lan.local.cmu.edu (bp-priv.nat.cmu.net. [128.2.149.139]) by smtp.gmail.com with ESMTPSA id oh10-20020a056214438a00b0068bffbe339csm675985qvb.143.2024.01.26.13.31.14 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 26 Jan 2024 13:31:14 -0800 (PST) MIME-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\)) Subject: Re: Robin Cockett Doctor Honoris Causa of Tallinn UT From: Steve Awodey In-Reply-To: <20240126201112.2a50bd73@kan> Date: Fri, 26 Jan 2024 16:31:13 -0500 CC: Categories List Message-ID: <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> References: <20240126201112.2a50bd73@kan> To: Tarmo Uustalu X-Mailer: Apple Mail (2.3445.104.21) Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=cmu.edu header.s=google-2021 header.b=NRso71mQ; dmarc=pass (policy=none) header.from=cmu.edu; spf=pass (relay.mimecast.com: domain of awodey@andrew.cmu.edu designates 209.85.160.174 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu X-Mimecast-Spam-Score: -3 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=_12401270831190471" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.160.174];domain=mail-qt1-f174.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.160.174];domain=mail-qt1-f174.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT018:EE_|SYBPR01MB6159:EE_|SY4PR01MB6507:EE_|ME3PR01MB8465:EE_ X-MS-Office365-Filtering-Correlation-Id: 66a481f9-01ec-48e7-c385-08dc1eb62472 X-Moderation-Data: 1/26/2024 9:33:45 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: uYxLWnMFj4glZxdCaM86qowoio4Pn9UAMOVUtSlitUJJL0hoNyP/cLKiX61wh3WLgvpoNLel7oE2Cwi2006zZ/bVHBw6foskHD8ubkmp6qJ1kfCI7HXDZbk+ixkgo3C35rfoym5eTjhAMGCq/Hs2+eD/GInpQpS66M/NT96QbypgqofFO3kwN0Xd1GYUbtXqYtEPm4rdFeAbK0FWUe1ob1pZDKbHskqtUVs/l5saCOuZ9igpsapc9e7ow5PeiP50LYyaEM7kGfyok/pIlWYs4WOY8i1yTMOfkuS5zONJEmpotIvXKn0UsutkB1MNGGm0O2DatMcvzS8tLO/BGfvLj1kRzcHAoYTKNVKyLGWyQ1kxBPmuCIMXky8xGLXHxLpPuOSK33kuMJSnJgtwaUj/zezwKWBh36pZ+2GATKYpwR+n6/rUse3a5psGZOmEMdGr+WjG6adH+YDT5b3l2pIAOaBIgUgaFV4kOrYDoB/B/SrL67F2M4WVFcgMmmlUzqdMBNZZMtD86LEQpEyIH8DTN+JXaQjR78W7pfpGE9eJGPEP/kuesznkuN+60xPtih37gEerBbw6BCKZBeIzdKcPysOKl8aAZmezh+MSZmpuMnXsSvmQx4MKI4DqD2wTQBycredN2u/Ci93DiWFffIRdO577zDpdzO+SKH9tr8e3FmS+OzKboapQw9hOIKQA8Ku0WVRq4mX9REHAvVumH0ySp1c/DClVfZJO8UF+AZeRODxxUBFnWa+tLh7Ut0DsLJDQNcu9Q0H8uYpA95vZDrzxLdA5PlSEZFp4mfzfYs4srZ09lCOlWUvdFj5acuPhBsT6S8ppXTfp0l5CRL1u5kYxf2di1ex1/jxyhfiu/AgpCLmV+xly/nwea+HJJrWW80SHzlhHnvw42OfKeEsS5PckXg== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qt1-f174.google.com;PTR:mail-qt1-f174.google.com;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(346002)(136003)(376002)(396003)(8000799017)(451199024)(82310400011)(64100799003)(61400799012)(48200799006)(40470700004)(336012)(26005)(7696005)(53546011)(83380400001)(956004)(32850700003)(32650700002)(156005)(5660300002)(7366002)(7406005)(6862004)(35950700001)(7276002)(7336002)(4326008)(7416002)(41300700001)(8676002)(8936002)(2906002)(2616005)(966005)(88732003)(89122003)(498600001)(45080400002)(76576003)(786003)(70586007)(68406010)(316002)(33656002)(36756003)(75432002)(83170400001)(166002)(82740400003)(7596003)(7636003)(41110700001)(40480700001)(40460700003)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 66a481f9-01ec-48e7-c385-08dc1eb62472 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT018.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:33:47.7019 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 7hsudlpVphKtNUf+Ik8OgjtMsXk50+SjJ8beKmmpF4qjbxmQsY4twoLRljdOLNoBeN+weYD9lhVyVHhz05g1rvoRMLWKFm7MlSsW9DF0x2+AQtx8NZfkquMhyxOumdV/CkkJDGVqy1HNxl4dJzGmCK+bxcKl38ZBMQuMOgyremW5w29HK9KqWU7ISNXqhpSl X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8465 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: <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> 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: =?us-ascii?Q?IeWLHACmZR9wu2vTfiRA0IjjyqZbcWlEm/vvI0nRpnQWP+6+6IDyPziznABZ?= =?us-ascii?Q?ZYXLFLZ8pLYIqsc8ztc6PpVBPC7oErRhUqC4PFUVYtDa/UjwUB6a2CkViq+7?= =?us-ascii?Q?92blumf6SPbCj728Co309mCkIHLQSddpYrdNjtZ1xU7ABlIpAf0BtqLpeQmO?= =?us-ascii?Q?xLnM9moCa3jveXEENZILzANvkYA4mxNhzzN4wuEPMCeiX6RiLDGZwmmo+YVe?= =?us-ascii?Q?sh/wl8n2gm5e800we4WJaqRvodgeHyqMpMKlpp06ra4bGDOgGQNdMZcpRgCg?= =?us-ascii?Q?I0mJ2b2c9WkU9r0wGFP5iabrRx3AVU3B9BUgMc5JeY1nJfLXiCbim5iDkint?= =?us-ascii?Q?moBPfqEToOE5iGSRNgLSuYUpDzRqwtHxmciVUk1G9L1xptR3/47h7akizRxW?= =?us-ascii?Q?/6+58QhL94IJKjK4Y/cwrDNn7jZrizYP5eR3qiOzA1v7S0TWEs04CG2jENHI?= =?us-ascii?Q?N7aqqa1a8Xmo8fFVI1E4nc/nHke8YAAHCagKxecTr1EkKivBHf9eXOuRNrxT?= =?us-ascii?Q?o61oz2XGY5St8vPTyszMzU+zxT4zrBSQMn39N6O6UXn2ven6SG3tuhP/C4Fb?= =?us-ascii?Q?OoffvX7y/qtVe74Sxi7v3PQl+eatGJO8kPBbn4hRnSE2X9OVWQ1ojMCN8XtU?= =?us-ascii?Q?QcSAXYr126Jx4aVTFl7HsV+DposjwXi3ejbiNnWpQKF6KQHCJVA3AvDLKgLT?= =?us-ascii?Q?+4qg/OQaValN5MUSXy1q1JD21rMYyP8GdpDOU9Ety4xp0Onf6qI9raFvuK+0?= =?us-ascii?Q?wjdhCWUF4083SR3YY14M0KKhZ9uBf31mpC/tUFpJ6DQ646RRy+W1nbehpjWV?= =?us-ascii?Q?KVe9RAqHsMvbQOeEHGxEMz2S4uPeTG49TsW6URXWBsPoIYFr8sRLDDEqXh4H?= =?us-ascii?Q?tZ3fko/17OCVCB4irAZb+M2u3dkK95XoyoF2RKV+FOUfrutef5Ddm5wFDu62?= =?us-ascii?Q?Q0tEWTvV6+2ybpQEYPgy+dw8G3crYnmhPrEbYETw6uHCcC/w76TH+SjRVvh2?= =?us-ascii?Q?fIHWBSNKiDhndETlqPHQ7iHnli2+0B/mUm39YukjsyZMnGTgx1lvMgkioARO?= =?us-ascii?Q?4TUX9j/SkjbWVoYtP5KnwMr1PMMfTfS6L7Wg5gcOBAs/ya+TRvjZM2y2qU/G?= =?us-ascii?Q?aHumVmJKShlz3ZiMSp19eLp28kUEJlGmbvSMjqrp40YFlkONVE3mzJUXxAak?= =?us-ascii?Q?GiAqT/QGKia55KjFLZXUEnNMImgAwPcYGhtI6oakyv9VwO0E572RR7ouGfn9?= =?us-ascii?Q?yejKP4FY/pMbW69Iw/yGWfLKcb7f/s8kx2w2bQKT0CfuvUUVlXUNyNyFypSI?= =?us-ascii?Q?2ejRqwcvVRNXvRtV3vYr6BEUQobV7RTWWmmjfBGi8KtKyZsw2gTZjhZnKuHg?= =?us-ascii?Q?pyE5Ee4svVa8Tb8fHHhg9o2NFKzEPEUDIqxfvnQQSgYLvmAt1JBdmaeKwZd+?= =?us-ascii?Q?6vxKhgxzBvc6G4GA618+QW+GaiGavEzd?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12401270831190471 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable well deserved - congratulations to Robin! Best wishes, Steve > On Jan 26, 2024, at 1:11 PM, Tarmo Uustalu wrote: >=20 > Hello Categories, >=20 > I thought it should be appropriate to share the news here. >=20 > 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. >=20 > 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. >=20 > I am also very pleased to have our field spotlighted at this university > on this occasion; it is no small thing for us. >=20 > Tarmo U >=20 >=20 >=20 > ---------- >=20 > You're receiving this message because you're a member of the Categories m= ailing list group from Macquarie University. >=20 > Leave group: > https://protect-au.mimecast.com/s/JIJnCr810kCv9yxrf7NwoE?domain=3Doutlook= .office365.com --MCBoundary=_12401270831190471 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii well deserved - congratulations to Robin!

Best wishes,

Steve

> On Jan 26, 2024, at 1:11 PM, Tarmo Uustalu <tarmo@cs.ioc.ee> wro= te:
>
> 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 t= o
> bestow on the U of Calgary professor J. Robin B. Cockett the title of<= BR> > Doctor Honoris Causa of the university. This is for his contributions<= BR> > 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 universit= y
> on this occasion; it is no small thing for us.
>
> Tarmo U
>
>
>
> ----------
>
> You're receiving this message because you're a member of the Categorie= s mailing list group from Macquarie University.
>
> Leave group:
> https://outlook.office365.com/owa/categories@= mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessage&action=3Dlea= ve&GuestId=3D821b40f2-9e26-4cb8-acf9-0122f80afa4a
--MCBoundary=_12401270831190471--