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=0.3 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE,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-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2220.outbound.protection.outlook.com [52.100.209.220]) by inbox.vuxu.org (Postfix) with ESMTP id 8845F23B19 for ; Sun, 28 Jan 2024 20:16:58 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=UV2hIzkGvQ4FXPzoAzp4i5g9/N6+PTPTBNdvHuDgyXxTmRMch0BEFWQfRf8ZZFeniuezfMzXE5FF3Kt/pUgYBSJiw7pZRwQIWXLNcu6wBY7d89sPydAfL+F1wIJ1e/2+KrEXU+K/NDkZa4aun2i2FHbKvdkhONJgzC3NC7GkuGKQK17ylpT3AD4kcppf4ReQSQnYiAviXKVm2a96rzMvlTnRn1uuWXkL4mdk5l2GNECEQ9gaSRHEevpulc9w/XGsLZ6MldAVUTfMrvV6M6lItjt1S0b0UCrF9ME4YSEO+u+JVL8YbG8Cg3+YBfIyc63+u09JlDrvjGnMekFnMwOQ3g== 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=4eNQyy9oCmuVf5wJfxGgvLPID8rJ421ddCvtbXdO2wo=; b=Fta3/HyZ7aRIS4KBoHDchAZbVi6ZiQWwBFZITcZCKAXJDUfNoCbujrDEGvU8TLr0W6zQofp2MDQ6H48z0e41qzgE1NVi4Q+wIXeFWsfgfYDEuOrdkd404sYGoZQRPfJ7gZEBsq4vF2Kw4VDlZghnFcJgJW7YGlvdsgKQAVZwD8V0rR63rcOPDLZ33QNH1RzznoEcQKPD+p1FFKuGoCWRHwvsSp3J4XJ53TV9KHmjzLBZtUoG/avm7O/XJKMCk538jOXZHJF90sPX478Rkg5KtnGKlCEDe1cQcVm+EawOdZF8gLjoHe6lN1f4aXAT0Z/MkV0LaxeLLR2bGjRJDDtgmQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 130.208.214.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ru.is; dmarc=temperror action=none header.from=ru.is; dkim=fail (signature did not verify) header.d=ru.is; 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=4eNQyy9oCmuVf5wJfxGgvLPID8rJ421ddCvtbXdO2wo=; b=l397mNqHV2nijs8px0DOG+SR9HM8e67mCeYB9bij+fdW7jChySLbQk8lNyHDCiVMo/LG8LVSVc0p/ymDCrxNF5tJEfGvXDM2XmvPP8qOozDo411L3qD40WlWReriPNOdXkP1CFQTucXxXHnlwYLxEKWWOVq/qtNUfA2GS0C2aAwugvWED7YIFWZknaBIdPCeFg8xyrTzYKH1e5HLMK1lWZ2kc9wfZWGEL11PzeUOl/JC7WDDlJbLL7frI85lZ8e+hvhb+1zK3uz3ZYuc/lrm5jhwCrfxfgxwU5vNo2ZQwKWH/GgXp81bkN9OrHJ71rC2RFf3Yv4iXYeIcTKo+sJUVA== Received: from SmtpServer.Submit by MEYPR01MB8013 with Microsoft SMTP Server id 15.20.7228.32; Sun, 28 Jan 2024 19:16:54 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=lb/ZkMpfruA+SxXUmlKES+KwOWoYawKVOK7V6fvMBKi1QSPe/5xD0bK1dnejcRCoJvDF/8osFsR846QMiHqE6ej9in1wumFsp7OsVFylqJZI+KRUb0X3lsDn6XQ6EGq27ex51qQD4m+Q5Fll0Y16f8N10xXrvWeuB8eshzE5MG6sDdGTF0RgqoFw+sHpkF8h00lCICxj9Oj5Bpg+fJL++J+QYZXQ6em6l3u52ZhLgYooBIDjHTdZhCOwcTBxM1wHlbZ7k9tsSTt6FtYgttMKArVPEIKE0JJdfDj54or7yjGRtoxR2sY+Vbt/Tzcf7LhdPVwyX6RrAEHLYudFqox6ig== 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=4eNQyy9oCmuVf5wJfxGgvLPID8rJ421ddCvtbXdO2wo=; b=hLRqGYyZMOdO+79upVeCzblSfWfH2J/2/F1Te0rOyYGkUQGS+uqWswY2ZCaiKf/w/RVPOXcM/e/Vt1cG2WNekfH7tbw7EP2doRqXvjK9Ys9QWy+UWB0ZbKAWkvyCAZTSKSYrNY/TEkPmXYjEQ7p2FojcBp3mx/KmF9ix7dmhFPSup35Pj2bEgANMj/2DDH4rhALW+RYAchp5wmByKlb0SS5ZWoauPiccnrKVg17EFEXdKkSy3wWWAm4x/vQV5LDQXdvohycTYwKXoHOjWcXaMU+WRRva+UvcbzvpY+JnSQfyq1Ac0jA/DuseMSOmDZNoznhjZEQ3vxAv7rwZdi4ZFg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 130.208.214.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ru.is; dmarc=temperror action=none header.from=ru.is; dkim=fail (signature did not verify) header.d=ru.is; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB5880.ausprd01.prod.outlook.com (2603:10c6:220:e2::9) by MEYPR01MB8013.ausprd01.prod.outlook.com (2603:10c6:220:177::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 19:16:44 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com (2603:10c6:220:3e::20) by ME3PR01MB5880.ausprd01.prod.outlook.com (2603:10c6:220:e2::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 19:16:41 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::3c9f:2731:25e0:17c4]) by MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::3c9f:2731:25e0:17c4%3]) with mapi id 15.20.7228.029; Sun, 28 Jan 2024 19:16:40 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=aZIEzk++hhS3wudk1g79yuA4k1sTGoElLfJ0bddwO0JhXFAhRJMbmJmYEhjR0lXZUwnRgtSnZDGd7oF2NjRUk81nC1pEIVVejHpfcQldT6CGVk2xLwGf1iBGCBiB37FyAb42VOo/4Zt6AdGP7DrGnI+adBcxFZggCkR79FQO7gplfJ3qf+BHz1+9X4Wbf+WxJr9k3ViQmVkhZDJWkghXavG+CjiFuUYGlrgvdPkTBpQq6DLM6pdArhYudmZntcOwHFUBE/ccWAatAabrYzgOnfB8mHRX+xgA3us/1p3NBFaQDxwf51y82TVwg5F/JDmbyYNdYvE+yfp0IWA87gN7HA== 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=4eNQyy9oCmuVf5wJfxGgvLPID8rJ421ddCvtbXdO2wo=; b=VdXpp0EbT9WzdaDbDdwphTS7zJSkDhYt9xOSwORn07EMUuIh5chYEui1Io0UZKuJyOQYZiQnqqvYh3ORuJx+FW6PI7PLt//1NWzt4qDVOUzdKChbow/MvTcBcu/Z+xS6q0ww3zXpLW/GUO4tOcRFkHPa6GdKr/p0L7ex6UPcGWK5flb8wE9HkXWQ51FijvNzToCzOAu8L/R0ttA+uISMydvOmY2tUjv0FpCwM3VLB89oEVa1FQZ16xzRPqstZ9YKvq5sOFoP1dFkJRR3oGniYM/GiY0NDhaAyqOwmJAfT7KgsRXLkqcMahLgp317YPJqdcv3xpISFbJul9YLehpqpw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=temperror (sender ip is 130.208.214.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=ru.is; dmarc=temperror action=none header.from=ru.is; dkim=fail (signature did not verify) header.d=ru.is; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4P282CA0011.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:a0::21) by SY0PR01MB9131.ausprd01.prod.outlook.com (2603:10c6:10:20e::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32; Sun, 28 Jan 2024 15:51:06 +0000 Received: from SY4AUS01FT023.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:a0:cafe::fb) by SY4P282CA0011.outlook.office365.com (2603:10c6:10:a0::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.32 via Frontend Transport; Sun, 28 Jan 2024 15:51:06 +0000 Authentication-Results: spf=temperror (sender IP is 130.208.214.129) smtp.mailfrom=ru.is; dkim=fail (signature did not verify) header.d=ru.is;dmarc=temperror action=none header.from=ru.is; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of ru.is: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY4AUS01FT023.mail.protection.outlook.com (10.114.156.179) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7228.19 via Frontend Transport; Sun, 28 Jan 2024 15:51:04 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1706457064; 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=4eNQyy9oCmuVf5wJfxGgvLPID8rJ421ddCvtbXdO2wo=; b=nsrTa5Y7rLQY7qBHwUDaOQIMKG8H4kVMOWGzSQCo+AzNNerw1DLPRa+C5jTy1+bxv/esbS AGspC1VTtBl80cPitpyCMWaS0OUsc+Wm1Y888zJeXQcGDWvMxRWCYoypQLs4P+I1X+VY3M RXuppa1lGzbPlJXub4ETenIKBplDaGvGpApYLB0wzWYbN7OAJG8EeFW5/IFFADIwGQDsyK ZtJnuPaIOT0B5bvjSAv+ZneOP2pzuYA49Z0WUuDkKOpCaVCkO1r4bKEsD7PzXoG5cvV4iu 56ZPiKGR/dLfGd0MU4XYlPLq6230oPib6QcoFFBRGgiudYIu5D1KMVWhzH8Glw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1706457064; a=rsa-sha256; cv=none; b=nMTPi9tsg/w1pwyXxK6ek6GEBJHwPt5L8jcTFl9MTsrU9gb42R888JIfIeep4m1uVzzBug 5Spnz4/GLjFRF3lFKptEwqwsSBAkmYUXmoFYTz+dw9uNR72mlhRyZNyIkCot3zsMN8Bt4k Bfdn3zzNVpBImlUTb6YT2/0gemSS/XG0tY4BreHZtU5kbrpUipRqWdYULgMkPXuVWiYWKT 5rOTsZ2PF1X53NmWkFgQTq12qoYId2oEkcep9oIw3KHToNHR7KgqHdM3LHOsOq3cKmuuE3 vRpHjmabwgQcxK0xLzcmDwEFG/KsyjImwWkI4hL1KicJ1cZiowTwWzSk5wDKhw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=ru.is header.s=defaults header.b=TLoTk7kx; dmarc=pass (policy=none) header.from=ru.is; spf=pass (relay.mimecast.com: domain of tarmo@ru.is designates 130.208.214.129 as permitted sender) smtp.mailfrom=tarmo@ru.is Received: from mx02.ru.is (mx02.ru.is [130.208.214.129]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-46-dORTZ81dOw6uIhI3KgROPw-1; Mon, 29 Jan 2024 02:50:58 +1100 X-MC-Unique: dORTZ81dOw6uIhI3KgROPw-1 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=ru.is; i=@ru.is; q=dns/txt; s=defaults; t=1706457058; x=1737993058; h=from:to:cc:subject:date:message-id:references: in-reply-to:content-id:content-transfer-encoding: mime-version; bh=UNbpYPc8qeTQn/P81+q/K8KhtBa6XMOZ7XyCo4OgvbI=; b=TLoTk7kxAbGPSHL90WGLNMICMVcmclQwI5PkmlB7KFoSRl7ldzKZKgcm NG11dHvq4+2TktmiSdlut5euRPbv/AenYTm279pfuJi88tBKy3PocHDk9 t76QrYKgcmUwp5BVJv+S/wL78eaWnhkP+6kg0H8lNJTwY04v3zeEzhjy/ tmWtGwoeCzppMTaAf2+vaGBYeKzXKtRRIUpPwGXT58XuJWgpzBW5EI8Fg jhwp2vW2v/sGEmkGqk90nqCB/7WVTRzd3UDNGzRYxxRa1Hy7hyD3WxRD6 68Volv4TIgYufK62k4Z8E8e8NpjceQCfmH8O7ekU54HplPHX3cJYWpZAI Q== X-IPAS-Result: =?us-ascii?q?A2EEAABzdrZl/xXS0IJaGgEBAQEBAQEBAQEDAQEBARIBA?= =?us-ascii?q?QEBAgIBAQEBQIE7BQEBAQELAYMyAoFfG4Q4iB2JRwOSQ4lsgVYUgSwWFBQPA?= =?us-ascii?q?QEBAQEBAQEBCTQQBAEBAwSCIoJdAhaHNic0CQ4BAgQBAQEBAwIDAQEBAQEBC?= =?us-ascii?q?AEBAQUBAQEBAQEGBQICgRmFLz0BDIJtgQxLDQMEAwY2AQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINAh0JNAEBHQEBAQECASMROgsFC?= =?us-ascii?q?wIBCBgCAiYCAgJEEAIEDgUagmUCgjwjFLRZN3qBMoEBsy+BZAaBGi4BhGuDI?= =?us-ascii?q?BoBamuEARaEPUKCDYQOMT6BQIEhBBiBBwoBEgEhBxAjgyGCRiIEghKDQ4Myg?= =?us-ascii?q?h2EHYJGAYZ7CUt/HQOBBQRcDxsQHjcREAUODQMIbh0CMTwDBQMEMgocCyEFE?= =?us-ascii?q?0IDQAZJCwMCGgUDAwSBMAUNGgIQGgYMJgMDEkkCEBQDGx0DAwYDCjEwVUEMU?= =?us-ascii?q?ANlHzIJPA8MGgIbGw0nIwIsQAMREAIWAyIWBDYRCQsmAyoGNwISDAYGBl0mF?= =?us-ascii?q?gkEJQMIBANUAyF0EQMECgMUBwsHOj6CCYE+BBNEAgENA4E3ZXoDRB1AAwttP?= =?us-ascii?q?TUUGwY9mQABgUSCCxsQgQUGSRUZZpJmg2GuX4QbgWGIQIFmlRNNE4E6lx2RM?= =?us-ascii?q?pMEhVAghHGGZYF3lTeFSoFjSlxwLAcaCDAaIYJnHzMXAg+SGoQ+izt2AgE4A?= =?us-ascii?q?gEGAQoBAQMJiU0BgRoBAQ?= IronPort-Data: A9a23:LI3F5q198bkV5+GPQvbD5Z1wkn2cJEfYwER7XKvMYLTBsI5bpzJVy 2MWCm3VaK2LMzbwed8kPIy+pk4Hv5PXyIRhTwU9qSg9HnlHgPSeCIXCJC8cHc8wwu7rFxs7s ppEOrEsCOhuExcwcz/0auCJQUFUjP3OHvylYAL9EngZqTVMEU/Nsjo93bZk6mJUqYLhWV/V4 Imi+5S31GKNglaYDEpFtMpvlzsy5JweiBtA1rDpTakW1LN2vyB94KM3fcldHVOhKmVnNrTSq 9L48V2M1jixEyHBqz+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRa1hIg+ZzihxrhMJ NtxWZOYUh0HBrz9xcokVgABLXolF4lB+a77Pi3q2SCT5xWun3rE2PByFAcsIMsZ4Y6bA0kXr qRecmhdKEra36TsmdpXScE17ignBNXiJoYYkmt9izDCZRojacCeGPqTvI8wMDEY2uB1HtHga /siSicsMROabhliPw8NMcdr9AuvrjylG9FCk3qPoqA25UDOxwV137H3IZzec7SifshPkUuZ4 FnB+2PnAxwEHN2FyCbD/GjErubQmi/2SaoZEaD++/J36HWvz3YWDzUdTh26pvL/h0PWc9lWN 0Eb/TAvoLMa8VXtQ9XgGRSlyENopTYRS9FQGus15VnUjKrV+UCYHQDoUwJ8VTDvj+duLRRC6 7NDt4qB6eBH2FFNdU+gyw== IronPort-HdrOrdr: A9a23:uRWrvKl09rom+gKv8cJ1DdnMf3PpDfLx3DAbv31ZSRFFG/Fwz/ re+cjy1XfP5Qr4wBkb6Kq90dq7MBfhHPlOkPQs1NaZLXLbUQSTTb2KgbGI/9SkIVydygc/79 YdT0EdMr3N5DFB5K7HCUuDYrUdKbK8nJxA8N2x854bd25Xgs9bhTuRQTzrdXGeDDM2Y6bRTq Dsn/aviQDQAUgqUg== X-Talos-CUID: =?us-ascii?q?9a23=3ALk9QRGmOtdySWaj5yMaksnlUZGzXOWbH4k/BEhK?= =?us-ascii?q?WMGNwEYPOEnW0/6J1r9U7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AOhAJDQ4Hxehp4CiuKYnr9IFExow0w5+tL34BoK4?= =?us-ascii?q?lporZMnZ9PxqY1C6OF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.05,220,1701129600"; d="scan'208";a="8537118" Received: from exchange01.hir.is (HELO smtp.ru.is) ([130.208.210.21]) by mx02-internal.ru.is with ESMTP/TLS/ECDHE-RSA-AES128-GCM-SHA256; 28 Jan 2024 15:49:40 +0000 From: Tarmo Uustalu To: "robin@ucalgary.ca" CC: Sergei Soloviev , Steve Awodey , Tarmo Uustalu , Categories List Subject: Re: Robin Cockett Doctor Honoris Causa of Tallinn UT Thread-Topic: Robin Cockett Doctor Honoris Causa of Tallinn UT Thread-Index: AQHaUJcYi4sBlidL6kSzXI5Ah9ByfbDsnMqAgAAB0gCAAAvcgIAAS3W8 Date: Sun, 28 Jan 2024 15:49:40 +0000 Message-ID: <20240128174938.1a1f9cec@kan> References: <4E867A33-E53F-4216-A145-45AAA0269580@cmu.edu> <2cd614-65b42600-1ed-135bfda0@46100124> <021A4672-FEE9-430B-93E8-BFBC12D77E75@dal.ca> In-Reply-To: <021A4672-FEE9-430B-93E8-BFBC12D77E75@dal.ca> Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [87.119.182.35] MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=ru.is header.s=defaults header.b=TLoTk7kx; dmarc=pass (policy=none) header.from=ru.is; spf=pass (relay.mimecast.com: domain of tarmo@ru.is designates 130.208.214.129 as permitted sender) smtp.mailfrom=tarmo@ru.is X-Mimecast-Spam-Score: 1 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=_12401290251020241" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[130.208.214.129];domain=mx02.ru.is X-MS-Exchange-ExternalOriginalInternetSender: ip=[130.208.214.129];domain=mx02.ru.is X-MS-TrafficTypeDiagnostic: SY4AUS01FT023:EE_|SY0PR01MB9131:EE_|ME3PR01MB5880:EE_|MEYPR01MB8013:EE_ X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 8ec0f4a6-316d-4f10-24fc-08dc2018ef84 X-Moderation-Data: 1/28/2024 7:16:37 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: fLjOcm/CpfadOW0jEOdwM4r10cYLMTXC3hUTIDq4p5pDtbw8x57gn+5wKb70r1t7L0syzQ1LpFEQJq/P5VgV9gM6kXSYgoGSFKF1x1s4kbu8laO3ub/YNYAYjXpsecK3PJIkHrusN64eDgiQbVz1syTRmgZ8qQxomGg2ME0gc3jXvEokpEeK4Tb/+JOVs69zMoeCYbRPVtJo6xChO8vLx8hS4wxtOZM+L7C7RhutQWX0XqoEOKia+ydOzm+HGJoLS3wDGAUZ7DBmPOVqZvQOkcmpVaX6ekI6n4sostGoMIF8Kt01dvu8szO2KZHAMfnlLZSRaytXKM/AAuKw0uJhY0I62g0P2Paxe0XaTpRuSaWkYp3yPBSFDc+PUYtVVL7J9/10VeUqYxkeNxU4UzlsrkMs5sTOqA8ETaMipXy1MJXuoOpRgY3naBxeSBvTs0LTCb7QDYOhXmMCwqEgALDA5BlppNcy0yNkVBNPEQd/jnvwcGUYZ4wGD1fWe/l57cQdpVg86YjjnQAYdleCV2zsp1QqVoWn3gx+ZWJbzIZj/J58o2y9s2pFIjGVEokkEhIG/BKn1Czr19oWV/Fk68m9Do/2j6VINg4bIs6u1oxmHMe6LOe7Zw6FKpOXGfKI+HOpz8cfJT7u5wyNcyEP/rGetvW/TXEbe8MP/pBtWkloSPl3MyBiecyGmxpy3iS+pjtL2wTRtglX406JdU82offwaq3Ba/GzPR+uHhpY5gGO+skz2hpDrNZ/ZfINkuj7DJ7KVKyTlDC6rHet5SkECwLNHGainxNIAw408RpGLm5fiWwIt3CHgD4qqmagi4oUvGDp3GayyGlnJ4jkA6QUf9YPUWAU0dHuogNVAYIR84AVMBqb4BaNUxPiP4kAP6lzqnw9PuczmyYjLW35efQxgAFWsg== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:IS;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mx02.ru.is;PTR:mx02.ru.is;CAT:NONE;SFS:(13230031)(4636009)(7916004)(346002)(396003)(39860400002)(376002)(136003)(230173577357003)(230273577357003)(82310400011)(64100799003)(48200799006)(8000799017)(61400799012)(451199024)(40470700004)(40480700001)(40460700003)(26005)(1076003)(63370400001)(66574015)(83380400001)(426003)(336012)(33964004)(63350400001)(53546011)(7636003)(7596003)(82740400003)(166002)(7416002)(7406005)(7366002)(7336002)(7276002)(5660300002)(35950700001)(33716001)(41300700001)(6862004)(4326008)(8676002)(8936002)(156005)(32850700003)(9686003)(956004)(32650700002)(70586007)(68406010)(54906003)(966005)(2906002)(498600001)(786003)(316002)(45080400002)(76576003)(89122003)(88732003)(17680700008)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 8ec0f4a6-316d-4f10-24fc-08dc2018ef84 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT023.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Jan 2024 19:16:40.9977 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: O2uuI9t937KYsF6YbPADHGhGUltjDkksm+MEuC2k972Iq67MuKnNj7ch6yRD25T6jpXGRqngZZQSii7w/s8pe5wa9jA/49hzpFyTa5r+9INvAQLFxflp3rVmfTxLlk/hhEZs6pbj43txD831U4DR2yGkjMCp2rSgmAFUnM7HFhWXDnj0bBgay6jwbGMD+irs X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB8013 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: <20240128174938.1a1f9cec@kan> 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?UDFna3FBNmd3Wjg5U2ZCcjhMZzFYdm1GRnZtbVdFblhiRTh1bDJjcjlqU3c5?= =?utf-8?B?WkpVLzhkVkZtSEpRUDFCT1ExenRQWi94bUd5Z1hKR1ZiWG5GY2RYc2VzaEZx?= =?utf-8?B?YnVsWkx0dm5FK0E2bHZFMGhCL3hRM0JhekwrckZBK0FranZtelVqZjNDR2c2?= =?utf-8?B?b0h3QXlLaWtqUjhXajRXZWpnVHBoNDBIUy9neTVERkZlRGVaZlB4SUprWExH?= =?utf-8?B?c0xZZlh4cW1UTFZ4V3dXUTFIWGpsV1R1S3JyVXkrd1phUld0cURySDhXYjR5?= =?utf-8?B?RXAxdVgrWmxOTEVBT1hKdDNNUk0zNXlReHRXWWd1Yk93VmU0UzhsNmw5bEox?= =?utf-8?B?NnMxRlZNeC9TMUhqc1hxT1Z2ckhoZERDbDdYUFQ2VVRpb0R3c2pyQjRpeFpN?= =?utf-8?B?ZENZb3l4LzB0bGxxaDdnaFI3MWdRV1IrMXZIL3FtRFp1TXlUT3pKVVNKWXlU?= =?utf-8?B?S09yamRwb29nNm1lTE9ZelNBNEFoUHpWenRtL0ZLMzJCRHVjMC93eENRZUNY?= =?utf-8?B?QTdqRURXMGUxVTQxdzJSR3B6WEJNcnNOblFCNFF6UncrdGtJeTFzbkZDaklo?= =?utf-8?B?SkxVcFpvanQzNnZiM1AxUFJOYUkrSXBUdW1waytIYm1yeVgyUXA4azFkYkZ0?= =?utf-8?B?UURpK1o1UVk2ajY2SkxzcEc1VFVwcEtzUkdFS1h0UU5FU0t1R2xkSjVWQlhR?= =?utf-8?B?Q0JCYXRXTUdrSUV0WEhPRnVFQ0x6dzFYbjhxb1JmUHczN1pTLy8zQk1kOFA2?= =?utf-8?B?VGw0UlMxTk16L0hLQXQxU0d2V1N2SFVtK3JSNS9iNjUwT3dxZ0hlcjZCZGcw?= =?utf-8?B?TEl6UUtXa0w5VFVLcGV1bWx0a2plbDdxMWFkUXNOSklkVDE4NmtGbmNmZzFY?= =?utf-8?B?dmZOY081SzVwU3V4OGFDSjBLRmZKWG4vR20wNU5TaGNZNEhFeHBDT2hDUitP?= =?utf-8?B?c1ZXbzhqcXNKcmtpYUhJUkdVTTdyRjR0cTZSbm5uNlpFVjBnUFNlU0ZnTEtC?= =?utf-8?B?QVFLVmNKTi9jUEp2Zk43N3piTE1RTG8zS1RXVUFTemdxNjNXUEVFbUFwRllv?= =?utf-8?B?eHRWZno1QWh5VlRPUlJPZGkzQmhTVkhaVytGeFFKaHUwWEdVdEpHZVB0SUtq?= =?utf-8?B?WUdrVEpxb0U4OEpadGxpajM5L3VXUE5QQVRIS0FhRFJwak5SVnZwbU9CUnBk?= =?utf-8?B?Z3JTYWlIZGw4SVpWaEprNG8zL1grMUVpMngrUVU0amNKZTB0LzJacjFtT3Vl?= =?utf-8?B?dWw3ZmtSZ040RFptN29NdXRvVzVhaU9sR1AwRHp5ejRoWmJSNVV5cU8vRUwr?= =?utf-8?B?YmgrNEttQy9RdFVLUHpBMlZUYTFsVmRFWkFKRG1XbThuU2tEYnFkM1d2L2Zi?= =?utf-8?B?dXg4WitMS2xBZmw3MlZtS3Q1ZFdtTVo2akZmbWtxbDhCeWZvNFExMHYvWng1?= =?utf-8?B?MmZOSGxTaElVNGZmM1crK1ZydjNiUCthNWJmazJLRlhTbHMzczlVbGFNKzl5?= =?utf-8?B?UXcvdllyc3d3UDdBQm5tOGJzZnZISFNhR1hKalJhOVV5WkJ3emJQSUN5bHJ1?= =?utf-8?B?UytxaGhqWjBYcGRPT2VuTnl2T2dsRUlxaGE0dXluTTdMSTlhMlhWOFhLZlBN?= =?utf-8?B?L2loUjM0SXZOaUpsdHA5aThWZE9weFlrUUg2THFXa1dWYzJLREMraExtOFU1?= =?utf-8?Q?PQvbi7KHwzd/ftjLRwaw?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12401290251020241 Content-Language: en-US Content-Type: text/plain; charset="utf-8" Content-ID: <1199C96BA29EC64F9BEEA48F65B63760@ru.is> Content-Transfer-Encoding: base64 VGhhdOKAmXMgdmVyeSBnb29kIG5ld3MhDQpDb25ncmF0cyBSb2JpbiENCkdvcmRvbg0KDQoNCk9u IDI2IEphbiAyMDI0LCBhdCAxNDoyNCwgRG9yZXR0ZSBQcm9uayA8RG9yZXR0ZS5Qcm9ua0BkYWwu Y2E+IHdyb3RlOg0KDQrvu78NClRoaXMgZW1haWwgd2FzIHNlbnQgdG8geW91IGJ5IHNvbWVvbmUg b3V0c2lkZSB0aGUgVW5pdmVyc2l0eS4NCllvdSBzaG91bGQgb25seSBjbGljayBvbiBsaW5rcyBv ciBhdHRhY2htZW50cyBpZiB5b3UgYXJlIGNlcnRhaW4gdGhhdCB0aGUgZW1haWwgaXMgZ2VudWlu ZSBhbmQgdGhlIGNvbnRlbnQgaXMgc2FmZS4NCkNvbmdyYXR1bGF0aW9ucywgUm9iaW4hIFdlbGwt ZGVzZXJ2ZWQhDQoNCkRvcmV0dGUNCg0KDQpPbiBKYW4gMjYsIDIwMjQsIGF0IDU6NTLigK9QTSwg U2VyZ2VpIFNvbG92aWV2IDxTZXJnZWkuU29sb3ZpZXZAaXJpdC5mcj4gd3JvdGU6DQoNCu+7vw0K Q0FVVElPTjogVGhlIFNlbmRlciBvZiB0aGlzIGVtYWlsIGlzIG5vdCBmcm9tIHdpdGhpbiBEYWxo b3VzaWUuDQoNCg0KDQpDb25ncmF0dWxhdGlvbnMsIFJvYmluIQ0KDQpTZXJnZWkNCg0KTGUgVmVu ZHJlZGksIEphbnZpZXIgMjYsIDIwMjQgMjI6MzEgQ0VULCBTdGV2ZSBBd29kZXkgPGF3b2RleUBj bXUuZWR1PiBhIMOpY3JpdDoNCg0KPiB3ZWxsIGRlc2VydmVkIC0gY29uZ3JhdHVsYXRpb25zIHRv IFJvYmluIQ0KPg0KPiBCZXN0IHdpc2hlcywNCj4NCj4gU3RldmUNCj4NCj4gPiBPbiBKYW4gMjYs IDIwMjQsIGF0IDE6MTEgUE0sIFRhcm1vIFV1c3RhbHUgPHRhcm1vQGNzLmlvYy5lZT4gd3JvdGU6 DQo+ID4NCj4gPiBIZWxsbyBDYXRlZ29yaWVzLA0KPiA+DQo+ID4gSSB0aG91Z2h0IGl0IHNob3Vs ZCBiZSBhcHByb3ByaWF0ZSB0byBzaGFyZSB0aGUgbmV3cyBoZXJlLg0KPiA+DQo+ID4gVGhlIFNl bmF0ZSBvZiB0aGUgVGFsbGlubiBVIG9mIFRlY2hub2xvZ3kgaGFzIG9uIDIzIEphbiAyMDI0IGRl Y2lkZWQgdG8NCj4gPiBiZXN0b3cgb24gdGhlIFUgb2YgQ2FsZ2FyeSBwcm9mZXNzb3IgSi4gUm9i aW4gQi4gQ29ja2V0dCB0aGUgdGl0bGUgb2YNCj4gPiBEb2N0b3IgSG9ub3JpcyBDYXVzYSBvZiB0 aGUgdW5pdmVyc2l0eS4gVGhpcyBpcyBmb3IgaGlzIGNvbnRyaWJ1dGlvbnMNCj4gPiB0byBhZHZh bmNpbmcgdGhlIHN0dWR5IG9mIG1hdGhlbWF0aWNhbCBmb3VuZGF0aW9ucyBvZiBhbGdvcml0aG1p Y3MgYW5kDQo+ID4gcHJvZ3JhbW1pbmcgaW4gVGFsbGlubi4NCj4gPg0KPiA+IEkgYW0gdmVyeSBo YXBweSBmb3IgdGhpcyBkaXN0aW5jdGlvbiB0byBSb2Jpbiwgd2hvIHdlIGhhdmUgYmVlbg0KPiA+ IHByaXZpbGVnZWQgdG8gaGF2ZSBhcyBhIHRlYWNoZXIgYW5kIGZyaWVuZCBmb3IgYSBsb25nIHRp bWUgKDI1IHllYXJzISkuDQo+ID4gUm9iaW4ncyBzaGluaW5nIHBhc3Npb24gZm9yIGhpcyBzdWJq ZWN0IGFuZCBoaXMNCj4gPiB1bmNvbXByb21pc2luZyB0aG9yb3VnaG5lc3MgaGF2ZSBiZWVuIHBh cnRpY3VsYXJseSBpbnNwaXJpbmcuDQo+ID4NCj4gPiBJIGFtIGFsc28gdmVyeSBwbGVhc2VkIHRv IGhhdmUgb3VyIGZpZWxkIHNwb3RsaWdodGVkIGF0IHRoaXMgdW5pdmVyc2l0eQ0KPiA+IG9uIHRo aXMgb2NjYXNpb247IGl0IGlzIG5vIHNtYWxsIHRoaW5nIGZvciB1cy4NCj4gPg0KPiA+IFRhcm1v IFUNCj4gPg0KPiA+DQo+ID4NCj4gPiAtLS0tLS0tLS0tDQo+ID4NCj4gPiBZb3UncmUgcmVjZWl2 aW5nIHRoaXMgbWVzc2FnZSBiZWNhdXNlIHlvdSdyZSBhIG1lbWJlciBvZiB0aGUgQ2F0ZWdvcmll cyBtYWlsaW5nIGxpc3QgZ3JvdXAgZnJvbSBNYWNxdWFyaWUgVW5pdmVyc2l0eS4NCj4gPg0KPiA+ IExlYXZlIGdyb3VwOg0KPiA+IGh0dHBzOi8vcHJvdGVjdC1hdS5taW1lY2FzdC5jb20vcy9BRnp0 Q29WMVkyU3pNa0RsdDFpZUUwP2RvbWFpbj1vdXRsb29rLm9mZmljZTM2NS5jb208aHR0cHM6Ly9w cm90ZWN0LWF1Lm1pbWVjYXN0LmNvbS9zL0FGenRDb1YxWTJTek1rRGx0MWllRTA/ZG9tYWluPW91 dGxvb2sub2ZmaWNlMzY1LmNvbT4NCg0KDQpZb3UncmUgcmVjZWl2aW5nIHRoaXMgbWVzc2FnZSBi ZWNhdXNlIHlvdSdyZSBhIG1lbWJlciBvZiB0aGUgQ2F0ZWdvcmllcyBtYWlsaW5nIGxpc3QgZ3Jv dXAgZnJvbSBNYWNxdWFyaWUgVW5pdmVyc2l0eS4gVG8gdGFrZSBwYXJ0IGluIHRoaXMgY29udmVy c2F0aW9uLCByZXBseSBhbGwgdG8gdGhpcyBtZXNzYWdlLg0KDQpWaWV3IGdyb3VwIGZpbGVzPGh0 dHBzOi8vcHJvdGVjdC1hdS5taW1lY2FzdC5jb20vcy9hVkVtQ3A4MWdZQzhHNTlRdEQwQzRlP2Rv bWFpbj1vdXRsb29rLm9mZmljZTM2NS5jb20+ICAgfCAgIExlYXZlIGdyb3VwPGh0dHBzOi8vcHJv dGVjdC1hdS5taW1lY2FzdC5jb20vcy9Fa1c1Q3E3MWp4ZjVEOTFMc1FGOEc2P2RvbWFpbj1vdXRs b29rLm9mZmljZTM2NS5jb20+ICAgfCAgIExlYXJuIG1vcmUgYWJvdXQgTWljcm9zb2Z0IDM2NSBH cm91cHM8aHR0cHM6Ly9wcm90ZWN0LWF1Lm1pbWVjYXN0LmNvbS9zL2NxUDhDcjgxMGtDdnB4cndo eVQ0Y2s/ZG9tYWluPWFrYS5tcz4NCg0KVGhlIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoIGlzIGEg Y2hhcml0YWJsZSBib2R5LCByZWdpc3RlcmVkIGluIFNjb3RsYW5kLCB3aXRoIHJlZ2lzdHJhdGlv biBudW1iZXIgU0MwMDUzMzYuIElzIGUgYnVpZGhlYW5uIGNhcnRoYW5uYWlzIGEgdGjigJkgYW5u IGFuIE9pbHRoaWdoIERow7luIMOIaWRlYW5uLCBjbMOgcmFpY2h0ZSBhbiBBbGJhLCDDoGlyZWFt aCBjbMOgcmFpZGggU0MwMDUzMzYuDQo= --MCBoundary=_12401290251020241 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 That=E2=80=99s very good news!
Congrats Robin!
Gordon


On 26 Jan 2024, at 14:24, Dorette Pronk <Dorette.Pronk@dal.ca> wrote:=

=EF=BB=BF
This email was sent to you by someone outside the University.
You should only click on links or attachments if you are certain that the e= mail is genuine and the content is safe.
Congratulations, Robin! Well-deserved!

Dorette


On Jan 26, 2024, at 5:52=E2=80=AFPM, Sergei Soloviev <Sergei.Soloviev@ir= it.fr> wrote:

=EF=BB=BF
CAUTION: The Sender of this email is not from within Dalhousie.



Congratulations, Robin!

Sergei

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

> 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/JIJnCr= 810kCv9yxrf7NwoE?domain=3Doutlook.office365.com<https://protect-au.mimecast.com/s/0i2TCVARmOHAvN4vtGjHtE?domain=3Doutl= ook.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<https://outlook.office365.com/= owa/categories@mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessage&a= mp;action=3Dfiles&GuestId=3Dce41ae02-cfa6-46f2-b98a-c944cdeb7c00>= ; | Leave group<https://outlook.office365.c= om/owa/categories@mq.edu.au/groupsubscription.ashx?source=3DEscalatedMessag= e&action=3Dleave&GuestId=3Dce41ae02-cfa6-46f2-b98a-c944cdeb7c00= > | Learn more about Microsoft 365 Groups<https://aka.m= s/o365g>

The University of Edinburgh is a charitable body, registered in Scotland, w= ith registration number SC005336. Is e buidheann carthannais a th=E2=80=99 = ann an Oilthigh Dhùn Èideann, clàraichte an Alba, &agr= ave;ireamh clàraidh SC005336.
--MCBoundary=_12401290251020241--