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.8 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2114.outbound.protection.outlook.com [40.107.107.114]) by inbox.vuxu.org (Postfix) with ESMTP id 21C1429173 for ; Mon, 29 Jan 2024 21:32:49 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=NhIPbg+zEasAyW/JuUyM5JikoUK4Tk8BxZeplpa5HXN0wM97M3qCYYWJqZtoWNHf2zKmaOAMtMeZ0a/6pADjdkdymFxCMfj+5ZY1VuvStUP1op7ObfA72lMajJmmbkYC+933Zy5pfOMTPD8zrc+EFAYybsbrRupphMLv67qesvAM4zy1YmyT4BiLbAOYpqOo+2UdSYmQ8f/FvpGmUMtYK7iYvP9SE36CL3NqFyZuszPasy75HI3vFw5yyNsrgAhWwUmgbMZsITU1j5AHGkLO+/6w4G3YWdEAe8K+XS/7E32PCtCLnIvGwjHr9q2vJkvz6583cYYDAo53d9HmabovoA== 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=GVbShlXzk7GEKJSSBPzPCdAEc8vNI5j5oapmP42duk8=; b=P5QCsFOFemYkQ/lzM4/zjii8mckWZ3FQlPq7wLJBU+Y41cGpm9cs38MnB4nZiwZjT4VwJtmpPC1IoNySvbTzuAwttomcBurTFtCjzIJV9BesVsJVmobYPV67Hi/puBBa7yQf5IZ7zg5ZzxXOPQvGKbRf+Mxw+QIPoJTjsnlbHpD5dXiFg1LAXVCB+WG8RrE6nP3MiLRwAKUoSeKxMRYqSTMqPiFAei8g15Pb/ZoqdPvAg3HAPy2bNw0DIHYBUuKKmTa2sjgiFxbjD7BHSSAyHvJquZX6JQ9kXHulaTphbJTJdHRTxq0B0B997OYU2F7nkkeooIoFDgp7wNMFvMQ3Yg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.42) 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=GVbShlXzk7GEKJSSBPzPCdAEc8vNI5j5oapmP42duk8=; b=b4YTt3jrsq+9YCL4usbjZu0mI61uFbEMTJcSM0RPU+uJW6tAmCNIyQzWAaIzw/sr+f+sMEG925l8Y3FG3LBl1cJYp8gsOQVHjckYGI33k+APplhEIGWZXbg2VFPRq1kliKPLLL0m5XSCj/rxs2OwqdK2aR5Xw9H5pvkS7qF4SKEuNlHWKNvSTEajkIdYrkFihijqKV6d0nihVRsofmPkhlySknEoK8myppDu1q8GId93xUDcYKhaGF+KBbh6e4wvL/1EJedNwILXahJj4Z3AHnkwBN9NJ4CgeLt3Z57DrwQIgWOvLuTtwNTuWGivWjuoHN9cReKRhpuVLpasPYh71w== Received: from SmtpServer.Submit by ME2PR01MB5985 with Microsoft SMTP Server id 15.20.7228.34; Mon, 29 Jan 2024 20:32:46 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=SM9XDsZlDxmqu4dWxmNYXM8E8vd2C/oCyE3QnxKBgTdRzJ4E8pOxnonnbofiSfodo/U+Sm4qkmHDHfl010ZXzydx7Wt8GUHF2ntU8pmh+qg5yfvUCayQHN634cDk47eaHJ8F85dT//OYYnH8DR9Xuijth65cpfHL62vWfOxCQMF5LzJ0Vy6ubk2aIxarG1/t0pMAuJhTy39o7mUkTxJzh9mhCwJTDDDBbRsV26Sl7PBbdWp9sOKRq4J/mBCiV4jITWcAtqWl7C06ifzdZVUTnJ3WS/F8n+bf9UH4HBfbDf0Q+zpLiMQ0pdCf76c95LPy/hED47fM/RfDN1J8kC7HWg== 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=GVbShlXzk7GEKJSSBPzPCdAEc8vNI5j5oapmP42duk8=; b=QxYocPPpvs/QNVSFKWocISMNIIuxnMBX9WLOakhc4lz9XZ0y4/7ukdWq1ap7S8+7gczDwciwjCPkuRv3O72g0dswlYHhWPN9l37fhwGKPNwgrsB8nkqZh81zStBZ3BZvoPtTfw/uBMs3SmBlkAjFsgSQKauuyCgXfJz028tCPcUvWOhE7FlwOD8XvGjAkAFbLzRyjZ1mtvNAUtJ/2p4SlsHIcwivudwdwohnCQ7d20UoEjvq22cZEKGjBOAkgziDoKWyb1UtJYs1HO1doWc3o3YMEGDSHoVgZLldhOd5slkQfJEhvB2JTtwgOeCT1AMBe5oL8KLb91yNh8WnPtswmQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.42) 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 SY4PR01MB6473.ausprd01.prod.outlook.com (2603:10c6:10:114::11) by ME2PR01MB5985.ausprd01.prod.outlook.com (2603:10c6:220:ea::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Mon, 29 Jan 2024 20:32:41 +0000 Received: from ME2PR01MB2626.ausprd01.prod.outlook.com (2603:10c6:201:1c::19) by SY4PR01MB6473.ausprd01.prod.outlook.com (2603:10c6:10:114::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Mon, 29 Jan 2024 20:32:35 +0000 Received: from ME2PR01MB2626.ausprd01.prod.outlook.com ([fe80::c98c:40f7:765b:dc26]) by ME2PR01MB2626.ausprd01.prod.outlook.com ([fe80::c98c:40f7:765b:dc26%2]) with mapi id 15.20.7228.029; Mon, 29 Jan 2024 20:32:35 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ae2fraoQ/FqsRUF3EYkLZAuiVfaIgEQHfvNo4f/ql6bE0EzmFG0oUlxjHlc5Nb/QVmi4Kpbgx73n5Ji+3g8Y/be7NayqvOHhlF3Ap9KKWqvzPB4tjIll+bQJL2ffbD2MTyaS17TbncyOiN8phvmeTd9tp4l2l/Ny8XFhVcfcGuq6YZOqypDb+mY5oYVa1RhHNcK5TTLpP8LX54ciQgJ2LOoGKr/AObbW8N7CcubFMmV7bG5VjKln7K53bq1F02/+qd54wGAf0koyRs3UPhOICrSE+5Yat1hFCpC41b4MRKg9Ziz/vExfjivgSGiDoL3OAEFvd5mQT1HtRuqlq6tkVw== 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=GVbShlXzk7GEKJSSBPzPCdAEc8vNI5j5oapmP42duk8=; b=kff9vv1cy/3/KUpdlypoYdtm6dsH9vXPnEm5yHmC3SKu6Nsm0qa2Zn1l32F0iuBBR0iTn336ugRFMLSIAW5F/xfP6/3HV+SqgaDXOzFVO9gLdI8xkdgoxVsUq/8qXpAswFkb+qprBvD1fll4pLV0AhFqsGZ8FRI3iZdzt+OvKKJSUlBaz1uwbZjSWaOrL3+aGnoTLn32YfqxQb8eUeiKvC0/8v5FYsCfhX0U/LKN4j6BjX6OjeCZEg7VPzBLOGHvdDqsE56gcaO7nhYtmNlFY9DOr8CMJd3GurQueDxSWkRf21uLXnNOyWtNvEdiWe7SHbswzRloSdTp4ZSWUBjBZw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.42) 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 SY5P282CA0045.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:206::12) by SYBPR01MB6793.ausprd01.prod.outlook.com (2603:10c6:10:12e::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34; Mon, 29 Jan 2024 16:25:21 +0000 Received: from SY4AUS01FT016.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:206:cafe::57) by SY5P282CA0045.outlook.office365.com (2603:10c6:10:206::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.34 via Frontend Transport; Mon, 29 Jan 2024 16:25:21 +0000 Authentication-Results: spf=pass (sender IP is 209.85.167.42) 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.167.42 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.167.42; helo=mail-lf1-f42.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT016.mail.protection.outlook.com (10.114.156.67) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7249.22 via Frontend Transport; Mon, 29 Jan 2024 16:25:21 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706545521; 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=GVbShlXzk7GEKJSSBPzPCdAEc8vNI5j5oapmP42duk8=; b=Mb9UaSojYWSsdyZgUYDypPtwuWL6iKNWSqF+QqvP4CsDq5QkC2/E0kI4rYn+KbjmPuPJzt IdscG2jpboHn+YCo+k4L3UjgZ89nTbsG84JAyO/jwXW2fiEQl+BMuPk4IUB3Ptnupua7/y sPOideXZYtzeDEv4RKaRFJgTgjYzCVxYIk6TEHDwFIAnv8hUC/PJZ+d300ohDWo9tAKqXF YAKNHoouftc4FjzU+DpkTFoq6B5V282wR16rXlrnyrSbNqniBvtq6FsWcyZmDJp1De4Kfm 7iciCImgxnBSQSz8IfHU7oJJpqRHVbVXUPVOgBQ0o6YIznEcBt/NevicJAMipA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706545521; a=rsa-sha256; cv=none; b=dRzaUjbiI3+cts4+iB/fZzlZaofXqjvOPwk4TQPEHA7Ze/ZnhAbWfO1FIbUqv2tpr/P9lE 1u0ShJKtMcl+DIMPl7k4GYRuxHjl/f+QMmgYc1baW3Z72TUzwNxVBLQK8Kr0fHz9WW0fO2 sKn2OmbjJBUcMwGJEOXeg1i6XrdLSm1MHGfjVcdjOiknh2aUJOKuQseAYRoJ8lWCS0OI2D SwHSbBAo4XARPwiAfTLXR2uOMyJmaLhKMDmHxu1Y7fw6SNPs/gj4DzT8StCrAcme2yM2nC ROEDdS5w0LXHyYWPu68ood1dMvxsGdt1VtYOmFpPLWXPBL4vctagDcYRrdEZ3A== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=LsGppuvP; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of piggy.yarroll@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=piggy.yarroll@gmail.com Received: from mail-lf1-f42.google.com (mail-lf1-f42.google.com [209.85.167.42]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-74-PQUxs2v0Nbqi7rQi5-4AuQ-1; Tue, 30 Jan 2024 03:25:13 +1100 X-MC-Unique: PQUxs2v0Nbqi7rQi5-4AuQ-1 Received: by mail-lf1-f42.google.com with SMTP id 2adb3069b0e04-5101f2dfdadso5070080e87.2 for ; Mon, 29 Jan 2024 08:25:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706545510; x=1707150310; darn=mq.edu.au; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=33I5jO9WksLtMpAClDfEGcAyhybr9FFtsbw7dNbjmb4=; b=LsGppuvPbpY5vopeoF0yxStj4KEl3jYRxvftrh/mFxO/LrmRBIQxPuhyf+w7WiPgeX 1nRQDqPqzJw6ish4mKiRy0HSD9I1vD7VX+HYcACh9BWtHv3Bw0nbwuuPSWyoLlPobVMn gUE4mewrqXEWxMC3taqjoe1zz8hr8zl53f8TdXS7eDZ1zVgzZ+8FZrjP6MV3hXEsO4fv hEZnvWXtThByVe6N2OoqS9oH4ra+emgjfVsMSwxn93jXkwBXOXy9YlSQf03h5GTNFH2X DQ1XFWxFqiCQZ9gPAeo4ctOiDLtAIc83KPIHvQWuiTow5HXgiMWGL1VqhOLCkWJrOFyH n0Gg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706545510; x=1707150310; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=33I5jO9WksLtMpAClDfEGcAyhybr9FFtsbw7dNbjmb4=; b=TI9yvRPVjMUdqWqV5Do7GkFxg+YU/wfoATPa3wi7xpHssdxyfbStJ10E4v+Jet2F0j RW0UjjPC19KGLqE1TmJmyWLLfrrifvYcvzDXAEh8f9swuugMLBpB6odcz3l87mSFh6ci VPzFqyKuQ5bjYwMSgH6b6hRtZiF8tV8sxMphatzGvTA8cEIIWmjQ1swU0ZLp94nuvVSl w65Fp/s/CdjeTG35pPqBrRCVj+RIR4+CUL3hYX/J9+CDNob2iGtz17t0jKaPHKRxxqKF X2q3TMJGqgszaO3aFWHnB3b8/u5NPOWJxAbaWZq2+ZSGz4hJq3dEMe7hW9+Ck+vZ0kfC 04kA== X-Gm-Message-State: AOJu0Yy1I/SQUcxhfm+NGrc4/8h93O3xTdpkjkAT+0K4jTw+2G1d44Zx UpbOI3FFmV8PCR9lj3DQew7KnpGV8yS6ggjwCJsqv/LZQMOaXJYQha+4YM3NJNGChtBl6xr9GrC xEgSdDeq5CsZ7o6R+jRRQTkV8WlQ= X-Google-Smtp-Source: AGHT+IENMLnNhK5/vHvNWMQyey+NUP/Z+TcSVQTneAbinCAoL3+y4eOAgtWwZJFu6ZfoS2i1KwsYXwpsJgjzVOb2roU= X-Received: by 2002:a19:ae13:0:b0:510:18c2:f19a with SMTP id f19-20020a19ae13000000b0051018c2f19amr3417901lfc.61.1706545509761; Mon, 29 Jan 2024 08:25:09 -0800 (PST) MIME-Version: 1.0 References: <20240126201112.2a50bd73@kan> <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> In-Reply-To: <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> From: "La Monte H. P. Yarroll" Date: Mon, 29 Jan 2024 11:24:58 -0500 Message-ID: Subject: Re: Robin Cockett Doctor Honoris Causa of Tallinn UT To: Steve Awodey CC: Tarmo Uustalu , Categories List Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=LsGppuvP; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of piggy.yarroll@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=piggy.yarroll@gmail.com X-Mimecast-Spam-Score: -4 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="000000000000e706120610181658" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.167.42];domain=mail-lf1-f42.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.167.42];domain=mail-lf1-f42.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT016:EE_|SYBPR01MB6793:EE_|SY4PR01MB6473:EE_|ME2PR01MB5985:EE_ X-MS-Office365-Filtering-Correlation-Id: 04c41c2b-9620-4c7f-ac22-08dc20e6e3a7 X-Moderation-Data: 1/29/2024 8:32:32 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: 6DqdI2Xi9S1o+yNGPfgDQIx6mPmMu5Qh99BlrIXJ0qQMrNa1vyfx+AXUG3ALH9152Osw+NRbHfz1E+ypr0yNQj+6Y6nljPqXXLP2OmldL3QVii+lR/U3q3tEnGC6BcUmCdgLjFuiAAFVAZ2vmGwArX+A/umse1lIcfuBuqmRabBbWbkeu/88PQeaL9LqiIXHHDIFqRLbu7kienQMX/AFe1fzoEA4385ckqnyyJWOt9QuvnXBsyI2RorXKMRn4tYqiyWd3leYjNOJFFNBOTb1pgOG8M9tL8Y5nJo5BdFizxYiAIrBNCA+ANVQgBbdeFP32T2KrIZ0epYqyNvcF8cMWFh/JVrBxViIlDGc7ic+T6a24l5iaYkLrjz7dLdL6NcVKd3roVnOLpseSQUVaTPnejkqszJoqI6Qpi67pZxPUpi1ZhvQH4uLOVW5vxBdBFbDSWqtjBNXs3oof/JKVO/2fAQGCOH/UPJnm1FCkJYxKiJeENoKsK79uG+Sm0U+xxFsTRjfIVluWO6jnYfa567cfWpS4AbRyzBxSCur3mrAuwZZdqgwf0nfEqNQ1qivDTEhRDqEkDcEx2VhpkSlU9iEw9bZjIIAyLD2p1NUgwJySeyqbc5UeYHTwEQ/1lHXTb+DPnl9XbjC2nimuqdf6h2c+cnf3383dIYGd847SsKzRXUkI9QXFumAy5LB5g1sovagxtD5Q7XSuG1ojuf1WppTTT0/54lmoyzODtTx61XC1CWRZyuhhTD2k9daghK779gAELmKqar3ZMiMUbetQ3kr2n3/Wl1KOR9hd1lSJNyteGjpgoJJeEJLvvZz4QIMEdn7jIlt5sPsTcH6ApDq8zFqiMesOcXrxqQh/OODELKRam8= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-lf1-f42.google.com;PTR:mail-lf1-f42.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(396003)(346002)(39860400002)(451199024)(8000799017)(48200799006)(82310400011)(61400799012)(64100799003)(40470700004)(35950700001)(786003)(83380400001)(55446002)(86362001)(42186006)(54906003)(316002)(68406010)(70586007)(966005)(76576003)(53546011)(6666004)(88732003)(89122003)(33964004)(40460700003)(45080400002)(40480700001)(498600001)(32650700002)(32850700003)(166002)(7636003)(7596003)(82740400003)(26005)(8936002)(336012)(82202003)(76482006)(73392003)(8676002)(156005)(6862004)(4326008)(2906002)(7416002)(7406005)(7336002)(7276002)(7366002)(5660300002)(41300700001)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 04c41c2b-9620-4c7f-ac22-08dc20e6e3a7 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT016.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Jan 2024 20:32:35.0531 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 5OWzph07+8okJuqsJHtb4698iKy/KRhBzbwsezMbvedRJqdu3gOvmvsrpXaOj4YQgXnygPcSoRNHc166q7KYb737LOx2ZHwE4grIH79sT45wQyZN+ilEtb45bDg/sgJLZP5TBMyFIageONatOU8LSLrlbojkw8toKS4k8Q03ZQHzt2nXC6+pUWs3vgkLjtqd X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME2PR01MB5985 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?NHdoY3cyaVI4bWdLdTBiNUNlSE0xOTNtRlhURXh0RVhXTnlTLzFRVEpQc1JQ?= =?utf-8?B?UmQ1V2xTKzk4OTlwTDhvOS9scmIrNGc3S1hGeVMvRTdLSkpoamVmV0p2SElm?= =?utf-8?B?Y1I5MVpMVFJNSlIxT29RUmQvS01QOHpUdlNubFZtdDJiSGtTc0xrYlplK3h5?= =?utf-8?B?NkZiMWNjTHg4ei9tK2JiQTZtMGxIaXphelZBNFNFUlc3QVVwSktCdWVueENO?= =?utf-8?B?RFhoQVg0V2pOTTZmOFpEZHg5S3dSQzBkejluYWhreGtxSHBSSzVweUVCL29B?= =?utf-8?B?Wk9VOE5Xc0tDOGFVcy9aaDFLQTQ0T2cwcnJpWnZ6MTdWZHdBRi94d3NieGs3?= =?utf-8?B?VFhyZnptTmNkWTFsd05FYWpMMHR0VVozdGF5RVdsVDJGT29lRXVxL25Xd0JI?= =?utf-8?B?d3RRNFdqTDltbkhhclJRcVdOdllWLzFJMlN5R3hkR1Vud09DbWp6SlBMWnE3?= =?utf-8?B?MXFPSkZOUnJJZmt6eGg5MmJRTDE0S0VIUW9JNWxCMXgwQVBuK2hjdmxhWWU2?= =?utf-8?B?MHVJZ3NWTlpRYXIzWUsxeFArbDk4SW9pTFJIeStSNDdKQjJxbnVIMWhvWUd3?= =?utf-8?B?ZWIzU0thUWVYR1NYeE5Qb3BoUFhxSTk3RTYvbmpwOTZrNVp2V1RnbEdXR1Qr?= =?utf-8?B?SGVGVGlWamhFd082WExUU05XMGZmdWVjM05aS3I5L0RVODBaREZPNjB5b0xs?= =?utf-8?B?ZXNjbHl0VUM3NnY4V2dUTnlmRkUzOUZ5ZVVEVDNvM0M4UkswVnBHT0l1V2o0?= =?utf-8?B?L1lXQ1JsUElrbEM1Yk5QaDY3WVRhSWxCODNJV3dHTFJPOGFYSE5Ec0N1dGxw?= =?utf-8?B?eGlROGU4R2JINnN0cmFDaDZaMjhlYktnZGlWSzZPNWpyR1p5djlNZG9qV3Jw?= =?utf-8?B?T0ZNckRpSWZtUmpuTXNTQ0xyTEYwcGdkekMwdkZvZE5Jd3NvbWRKSzlud0ZM?= =?utf-8?B?cTFqZDNhQk9xODF5WVhZRnRzRHFlSnVnRkUxNldicmVRUjNoeXZwNUo5OHAv?= =?utf-8?B?STlFUFJOd1BBRVk4OFlneFdqb1l4ZHBKQmJiTUwyaWxuYU91Z0ZxMFMzZEFu?= =?utf-8?B?eWZOTW0zU2tqRGVNUHRyRjIrSWRPU3duSzFXcFYrWTdUR0RnazBheVBHYzFu?= =?utf-8?B?OVR3cDdsUDNSYm9QRmYvbkdhSlVBOUQ1emo1UDA4OVlhZ0V6TnRlZUZLZisw?= =?utf-8?B?RjNjN2tEMWR1SlRFaXpmRWt0aTA0VDVaRE9xbG9lblFLcE1BVVhlWXA5cWpX?= =?utf-8?B?aG1DWG1RNWd6dW9aYTkzajNvMnVBSUtPUUR6RjdJUVV3Q0JnbjhoRnB2S0xw?= =?utf-8?B?T0JtZGpGcGoyb1hDT3BsTUlLbEF1Tjh6YS9HN3E1aXo5TFZFTE9WL052OGU2?= =?utf-8?B?TFpxUmdwbFZoRnA3R1RPU0ZMUzlPbys3VXJvSm96QkpuclVoV2Y2WVFuNGw2?= =?utf-8?B?YnUxNGtHS1hrT3pkSmFnTk1FV2g2WE9jOHRxdkN0aHR1MWdoZDhKb2RnaXhp?= =?utf-8?B?bHJxUmEzVlZwR0JhUFJSb296QlVtbElCRXlhMVFxRlM4WVVqS3J4QkxYZzZ4?= =?utf-8?B?N0tlZkZmajZGWUZBODQ3RlI4UmFRWWJicFFBUFhjM2lEZElzcGFpajRoZXQ4?= =?utf-8?B?Q1lxa3hIWVlRRzhOQlB5bkNSaVVTa1RDTVZQNE15SWI1V2ZzZWpjbTVZa0VD?= =?utf-8?Q?AcLxWLspSCbxGgCfBDSB?= X-OriginatorOrg: mq.edu.au --000000000000e706120610181658 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Congratulations, Robin! On Fri, Jan 26, 2024 at 4:34=E2=80=AFPM Steve Awodey wrote= : > 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/9ZSbC81Vq2CR79Q3untMgQ?domain=3Doutlook= .office365.com > > --000000000000e706120610181658 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Congratulations, Robin!

On Fri, Jan 26, 2024 at 4:34=E2=80= =AFPM Steve Awodey <awodey@cmu.edu= > wrote:
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 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 C= ategories mailing list group from Macquarie University.
>
> Leave group:
> https://outlook.office365.c= om/owa/categories@mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessag= e&action=3Dleave&GuestId=3D821b40f2-9e26-4cb8-acf9-0122f80afa4a=
--000000000000e706120610181658--