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.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_MSPIKE_H2,RCVD_IN_ZEN_BLOCKED_OPENDNS, URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazon11021094.outbound.protection.outlook.com [40.107.39.94]) by inbox.vuxu.org (Postfix) with ESMTP id 374262448D for ; Mon, 4 Aug 2025 10:13:50 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=ErR3DxXLs6CVmItHt1uepv8hWA7PKib80Svxb5NKJIrTjNivhchhlgZDdWZE2IIrJOKL67hZofj4wqk6iYnktDeGiDI3Wli5vn5gDqwkVKQbFgbL7aXzEb8NL/j3SvEKfiWtUeHBRhmDIZPySDMcorW+GB8nLcnTaET7S6o5DpDUhylQuRv8XvSfRK7KpBfvrqQWxUTEros0L4uBQxn1pOFGRzZ4NGGHKNqh2kGCS80VcLaXZpP8uS/sJCafhZ+J949NJQY1IDhEhAE6p74aiuAzZtQe7UPy3Lu0+ZOHrTdZIJa0lALx5fPQyakrLb6d5ZBsQHyXYd5mC9WiMhH2KQ== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=2A4l5rRv7I7QSeRSLwGdutEkIcWpLXUmnZ7abj09PnI=; b=Km6Y3ATXFhWNsRVc+BXsXqj4q5cQwWmvc6R5ohtnYFCv8JBI5WXwTcr9uY0GozGW23FSXVddvoGKqiYnCi20rus/q02wIaBxR37jJoEaf7DRW6lOhzxLmWfcOr6s/2qioEJuHq459omSqFQWWxt3/D/XZuLMwc97lHpN4u2jRLqFp/+EnB9Nv/2YzEH6aTu3PrmKGr3Tu2TvpljMgbaWanzgebB4HdhWjrvnO07cLHXvIhFSLzQtcq6kr5Rzp7MmS2VYWVlYDYrONgXG8r/KXhNK7oxiv9PPr8LZphobxj4R8KZ5wQCiWgDLUlE+OIA0L0Qpab9xHRZsq5B7nBgteQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 194.254.61.138) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irif.fr; dmarc=temperror action=none header.from=irif.fr; dkim=timeout (key query timeout) header.d=irif.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=2A4l5rRv7I7QSeRSLwGdutEkIcWpLXUmnZ7abj09PnI=; b=j3QnH9Y5Gw7q3IrCE2Lyaowv1ENMqI7K0Z6BMBpwVQZAm2rjM+UAwRsNyQ+aWaD0DR9bqx2Y+uYUFzgxA3/k4+2g4jFGsKiWMGIraL83uj5RUq2196EH8H09jL+IG6eXFBhB44H61Z/FM3oHxs/C7In8ZLmzDTGg0Zhb04gAtD4A7ZF7VocrKZgNtO0KCE1LykuOSMWTTqpoCPuI6U8LfS5NFToa3TGV/OqserlUCDkoJmDMbuT9xgcn8OaKkt4JqeQEBs1+ZMDDhPmpUaaKG4NcgfWtQRHYDzOZlMjzpksFjm5b5vGV9ueNRY7LbxboAAzMCaFWYw6N2IYmiqaKWQ== Received: from SmtpServer.Submit by SY6PR01MB7672 with Microsoft SMTP Server id 15.20.8989.20; Mon, 4 Aug 2025 08:13:47 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=AaOaHHMnkb652Z5BZliFWQed7sCekt39GUHO+LDhlgoBQcQnlcB4a4x/zxGe6VkOVxiGpzZ7j3PVgB+U9MKyPzItWvm+ntviSQtzHeHaMZVr8k8hlc24rmjfrxNn6ZCMKOlTiNQ32EYi8ZbYlU2YCNtOxLuhcv9qHQ5CnoTZalVExdkhItquhqjFa4lVZG/et8AcCVIv8WdtpSLhmtlbKzHxSUVOoDPYbv8uwSa4v7RqGxU12w4jo5+MsVF0m4ywCVWEY9suSbh8zXlNsUbAc0lR3dHBLnAyxSQT519Gj2TCKJTeDV9TiE54f+/awFwi/504OYhpS3+CMmlTQR7KTw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=v1k4EbJzY2nQpZtjn45Zph82Xb83t5W0fVG82B3TzTo=; b=OWfIEnOANYTLASh3tq77fwovCSWndY7hoLyWC7nprKMXja1h797JYFPuCjqTmdzekWfxw7+MHQshP3MGjmuW7MZbvs877ECh0A+Av/hzNloBSP7r+KJHG65cZtgh2sAT6xt84ftuBeJhoNYfKapVU5wDFCC1Wmp3ppr1qN5lFkO0MdJ3QyWkBrf6hqK+hFX58VqKgPQzKfMdIO4UL32BVKoPzgbfjYBDurXSEHvypNRM6QcN372+0gIeF1iB3dFMyqNcZYgn8vrbcJMcje19GD1pyi6dp48L4NW0Lop3RfgSF+SUzBDLX3qBr5SlkawI/ySWjW/q080UxNwyB5G7yQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 194.254.61.138) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irif.fr; dmarc=temperror action=none header.from=irif.fr; dkim=timeout (key query timeout) header.d=irif.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB6504.ausprd01.prod.outlook.com (2603:10c6:220:11b::8) by SY6PR01MB7672.ausprd01.prod.outlook.com (2603:10c6:10:175::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8989.20; Mon, 4 Aug 2025 08:13:41 +0000 Received: from MEAPR01MB4840.ausprd01.prod.outlook.com (2603:10c6:220:3e::12) by MEYPR01MB6504.ausprd01.prod.outlook.com (2603:10c6:220:11b::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8989.20; Mon, 4 Aug 2025 08:13:38 +0000 Received: from MEAPR01MB4840.ausprd01.prod.outlook.com ([fe80::2a8e:2135:36da:a64f]) by MEAPR01MB4840.ausprd01.prod.outlook.com ([fe80::2a8e:2135:36da:a64f%4]) with mapi id 15.20.8989.018; Mon, 4 Aug 2025 08:13:36 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=p6EARSeG0HBvxJ5234bdyZxW6qQBY8vBzEjwCqOoLGavJrebH3mKBbbcTOoKT0ZBwuaVrVAopwdmDN/7zwOzu2FyA+X5m/exfswUAq0ITDDtMtTfP2eG8GMyfUIQgi9UKXxT0o9eh2jXgxEzEheAOsfx5HSFNYycHtnTDhc1d8WVloOSOuSH+UfqyxNgEh6UjFUtMeeVBzMlSUfBmLgr1mq/GxqIMGtcCSRfBpTJ370U4LEOQ0wZP/Yzmu3nShnY6ToIEQl2g/SAmLY4QzQHw2SIQfVcHuLUXM+Hi4HpM8GCYMK7Fh/loFR7nTBhguB7PMwo759kx0wdW8OTtWPWUA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=vdX32lABZ+Njh40UNad0WBdNmsKoSWnfN/0u65K1hZs=; b=nwN7lviixTBIabn66FykRDoQyizXqITnVoJnCXUZpsxSktvWmF+scnrLxdvWSaB+bU2srqDhhs2O0vYCqF7erKozWyovnLSBStHw6rHLftGPmEs8AQX7cFMOqmYB/Datsbhxzr/oIlojY0M6DgjgfdDo28EJZtTU0e5d7oshZqrYks9Y1DQQTY9XTqK4WT8rXbfbHnouRgEKVqW0dyyOZdhLTMIRnnsV6zkNw6Joo8vRg0jifnSDJgXFwJA8M1Wq33P0oyK2BonJPsxcA4Mav3/qExkxJ2e+d87ibFo5oEgdW6Ai9tG12Q5IdfQfB2GTEeIrtiTI6eGeEK7hx+2Qvw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=temperror (sender ip is 194.254.61.138) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=irif.fr; dmarc=temperror action=none header.from=irif.fr; dkim=timeout (key query timeout) header.d=irif.fr; arc=pass (0 oda=0 ltdi=0 93) Received: from SYCPR01CA0008.ausprd01.prod.outlook.com (2603:10c6:10:31::20) by ME3PR01MB8323.ausprd01.prod.outlook.com (2603:10c6:220:1b1::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8989.20; Mon, 4 Aug 2025 00:07:52 +0000 Received: from SY3PEPF0000A724.ausprd01.prod.outlook.com (2603:10c6:10:31:cafe::c9) by SYCPR01CA0008.outlook.office365.com (2603:10c6:10:31::20) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8989.20 via Frontend Transport; Mon, 4 Aug 2025 00:07:52 +0000 Authentication-Results: spf=temperror (sender IP is 194.254.61.138) smtp.mailfrom=irif.fr; dkim=timeout (key query timeout) header.d=irif.fr;dmarc=temperror action=none header.from=irif.fr; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of irif.fr: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY3PEPF0000A724.mail.protection.outlook.com (10.167.241.20) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9009.8 via Frontend Transport; Mon, 4 Aug 2025 00:07:51 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1754266071; 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=vdX32lABZ+Njh40UNad0WBdNmsKoSWnfN/0u65K1hZs=; b=GAgP9ZrV7DzO/lHMcWqctWpKkI0pOe77e8Ni71Lupz8+C9XxL2eRKv6bbxluIVzKkRf/tJ IlV6XBWWUgixtbBbTWQsTy2bKQTbhge9pEr8KJ8QV/art4ahrW2Id2oteLniKP6ejpxQ8K I6MI2O7qefQJC8b0CjCCLY5NHtSoVUOn8hJjPjBGgNUhrskQFCSDotZaNel2GsdxrQpqDA 0FAnId7dbZ5JVTuvDzEuXkZGtvNk9ZqogLmvHyavcXISpdR0GbA3crohCTGriKlW9OKdX/ lyESTp+RfCHIoPPU8AAEvvzVsrgnrdybhk3IDJLVKMgPpgbQpzCsmyGqh6L9fQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1754266071; a=rsa-sha256; cv=none; b=kfLPWZQ8oB1AHMB0FGArbDeW+LTju1+6z+puRy1vbZiCuPN9kgiBqSxUtd6WJDVL3FidX1 1ZiBKxWIzTmrCROD9/VWhUGJyVnaWrNqjzx0NbSZXyT0ty4PWcsE0VdOfBI96g6TTm4In9 lFPlJK5aKtDkZ9dijLD90hubLNl2bsyNLOB0h6w/9MkR3wNwOcjk2ij+X5ZV6meWIXcmQE aikDwEEq/LGfV8LtyWs8l/KWz0ZDMVCQBH2XWOydXnD1+IwU+gKhzw7++Pjd2NJj54MXXc IHU5wd/EHOmsvXPc+ZHaH2X8/ITcJkr2VFRGtsvZAUfDYzwbj/plABcFwYLnYg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=irif.fr header.s=dkim-irif header.b="MUhlnh/Z"; dmarc=pass (policy=none) header.from=irif.fr; spf=pass (relay.mimecast.com: domain of chaitanya@irif.fr designates 194.254.61.138 as permitted sender) smtp.mailfrom=chaitanya@irif.fr Authentication-Results-Original: relay.mimecast.com; dkim=fail ("body hash did not verify") header.d=irif.fr header.s=dkim-irif header.b="MUhlnh/Z"; dmarc=pass (policy=none) header.from=irif.fr; spf=pass (relay.mimecast.com: domain of chaitanya@irif.fr designates 194.254.61.138 as permitted sender) smtp.mailfrom=chaitanya@irif.fr Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [194.254.61.138]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-27-ABeZMOTVNyW320kFrNUr3Q-1; Mon, 04 Aug 2025 10:07:47 +1000 X-MC-Unique: ABeZMOTVNyW320kFrNUr3Q-1 X-Mimecast-MFC-AGG-ID: ABeZMOTVNyW320kFrNUr3Q_1754266064 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 573NBVva003932; Mon, 4 Aug 2025 01:11:31 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 5438A3370C; Mon, 4 Aug 2025 01:11:32 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=irif.fr; h= in-reply-to:from:from:content-language:references:subject :subject:user-agent:mime-version:date:date:message-id :content-type:content-type:received:received; s=dkim-irif; t= 1754262690; x=1755126691; bh=hRVdxyPvB89HJ2ZhqYcLV6a88ardul5DT89 ukYW09I0=; b=MUhlnh/Z9ENTETNG+Hr2ttEIbuCkZSRBK2tyE2XoGv2Vqed5K6/ 4alwDCEP0Wd1LkmTS/AM0kOW5Iocc59D3ug8TfgirPIpERYiVviEhvQ5mStdkexc lBekt9jSVt/DTBuLjoYBX84ZbafTdVRO99aOKdYqIl5yoBTQa4UGNhqG6gVKm2qm XZv0OG1R/mg7wXFWgE38IeObUjySEAqxyXicO7te2p7HW+PEMr7f36PE+dqpVEDi SQaR5e0SPfklfzy0Mnq+rJtZARWLiGP5+xJg21s8kz7vCUNt/kP9Vu8ShBs4n4vk treEiAa5CzcuraxCU6BkmTwi7BAsKwg6YnA== X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id hvx7ZB7C-Knr; Mon, 4 Aug 2025 01:11:30 +0200 (CEST) Received: from [192.168.1.27] (wsip-174-79-252-92.sd.sd.cox.net [174.79.252.92]) (Authenticated sender: chaitanya) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 7E1F133694; Mon, 4 Aug 2025 01:11:29 +0200 (CEST) Message-ID: <78c82eb1-5d86-4226-9dcb-2c179cfca833@irif.fr> Date: Sun, 3 Aug 2025 16:11:27 -0700 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Gilles Dowek (1966-2025) To: Valeria de Paiva , Categories List References: From: Chaitanya Leena Subramaniam CC: cleenasubramaniam@sandiego.edu In-Reply-To: X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [194.254.61.138]); Mon, 04 Aug 2025 01:11:31 +0200 (CEST) X-Miltered: at korolev with ID 688FECA3.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 688FECA3.000 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 688FECA3.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: _htJN7CFG7mHd55X0cwVESeunnTcpx6HgELaVID62FU_1754266064 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="------------Lt0RIzYA5NvYKZqcNAvKZqMd" Content-Language: en-US X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[194.254.61.138];domain=korolev.univ-paris7.fr X-MS-Exchange-ExternalOriginalInternetSender: ip=[194.254.61.138];domain=korolev.univ-paris7.fr X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY3PEPF0000A724:EE_|ME3PR01MB8323:EE_|MEYPR01MB6504:EE_|SY6PR01MB7672:EE_ X-MS-Office365-Filtering-Correlation-Id: b80f3db8-6e34-476c-a6c2-08ddd2eaf445 X-Moderation-Data: 8/4/2025 8:13:35 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtFwd,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|156008|30052699003|35950700016|48200799018|32650700017|82310400026|1800799024|7416014|376014|13003099007|8096899003|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?UmlMdnJCY0VHRWJ4b3FBVDVQcmo3SFBQT1grMUo4UWl4SmkybDkzY3hkalFP?= =?utf-8?B?RHhET3JqTyttUFJaMkFCeWxobld4c1ZyRkdHZC9PWjJHbE00NEtIZ0R2N29r?= =?utf-8?B?UldYTXQ3SnRjakZkRjd6NmZ2RDgyOHBNN3A0eTl1bVdndkpIR2xEMFNablAr?= =?utf-8?B?WnUzRzVOVVNteWNRejFVT0pKR2hIY0JKYUVFaXl6QjhiOTNnMVFncTFjcE5h?= =?utf-8?B?S1FoT0lpcFg0MFhmZ09YclozT21NRmxyazBMMS9iSWt1YldNWDRpYjZDdDNa?= =?utf-8?B?RHpLN0lvY3VCbjREUFdDNjlmbVlZek9sVHJiQWY1U0EyNEtwMlNZUTZLL09n?= =?utf-8?B?MCtmbDhXekxwK2tTTGZwS2ZoQ05RSmVIUDFzMWhTeThoMkpFSENZTnlBZld6?= =?utf-8?B?dDJMdFNwbG82L21IcVM1a0hka3NzU05qVXgxdVEvZFhlcmoxbS9Vd3lCenJv?= =?utf-8?B?L3FNbXpTR0c4WlByOVRjTWpOZFZnL1hPaUJTcVgwZnJyZlBLNmZURW5xcmxk?= =?utf-8?B?eTJMTzd2VDBwb2x3S0FDOU03U0hZdnB6c0Y2ajVrdjRoZyt5SzBWYmtqMDJW?= =?utf-8?B?aFF6UGptZGEvMDVyT3crc1dmMlA2T2dBdzlwc0lxZHFROG9aZUhkcFArbFU2?= =?utf-8?B?Vk5OTzA5V21zQ3JrelJyTlZNM0c0R3dtdzdEc3ZUZFJTTXdLVkF5eE5WZGl0?= =?utf-8?B?eTJkbDhCVkVvbkJRS0JIbTQxUFBWQ2Rndnc1dnFzRnBvdTlQNUt2ZlR0V0pD?= =?utf-8?B?aDhYKzk1Q2NWcWlOWlF1UW94TlEvZ01qSm5lcm5EcVdVRWJISEJkVjNCbnk5?= =?utf-8?B?RDVncjJjN3haYkk4NVJyalVXMmFUb0czdFkwQnVQQ3Jlb3VFOC9nSlNxb3Ir?= =?utf-8?B?cEJtSWVGMFY2elFCdVJHcVdUTmtMQ3crNXB3Zi84ZjJjUXd1L0l4a203Vnkx?= =?utf-8?B?UUpCRm1ESGE5QzRYL0pqL1lKMkE0M3cwamtlL2ZQZkthYlhTWnJLbDJwb29a?= =?utf-8?B?TGxrSy9ndEhEUy9LNDRUN0hYdnp4b3UxSUlleUFacGt5dnJpc0FqTGUrNUkv?= =?utf-8?B?SjB4aWc3ZFMvMEpEajF2dXlxMVJxZ2RaQ3UzK0hVQkJxcm4zdkFLbk5WVVlE?= =?utf-8?B?WXZrVU42MFRtRlhqQURPUnFWN3RyYWNyQzdsdWlGZmVzbjRrcUUvVWdZeGJn?= =?utf-8?B?Zzg3ekVKOXN5aFQ5RjN4enpQNzRyeE96c0h6aVhJT1NCVUVQSjk3a1N4VERK?= =?utf-8?B?eiszOVEwWlNRdVIvQlBkRTh2cjhGT2p4STIrWEZENzRWVSswcmdlUEZMcVhn?= =?utf-8?B?b2JHSmhISUV2Vnh5a2IxaWNkNStsNm5CbzhyM3hZS3J3UHBMQ2tiVFJyMGM1?= =?utf-8?B?ZmZXbnVVMkxrUDlNSnp5MktkRkhqVGZpRW1uczZ0WkRKVEhvOXJiVjBKcExw?= =?utf-8?B?b1ZtNHZCN1ViUzFCNFVxWDI0dXhweTRRWkQwVmtUZm9tNlNsZU9pc2pGb2lu?= =?utf-8?B?OUgyaWNBNE80ZjRuemZzZ0FsSEYyNG1iNFJ3MHdsSmMrQ0IxZ3NkbHY2aUJH?= =?utf-8?B?Y2doazNNYjR1NWdkVjhOTnBDeEQrc0Y4YnB3YTQ3dS9hWkk1OGdBS3RuYjFu?= =?utf-8?B?Sy9xNWFMbDF1Y3hNWHhEaVdtNjlqQVphMCtyUG13eXdFWTlmQjFCL1RjUm9T?= =?utf-8?B?N1ZkdlNzV2N3MjhadGFKYTBFbktLSFpGTkhRNFpycUczcVl3dHM2N0pQOWk5?= =?utf-8?B?ZkRnNTIyeHJqbGRkS3dPUEZGTXZQRVlXcWh5cjdNeUsrZmM3NjVaeEVCWmpn?= =?utf-8?B?UHZkOFZyYW9sT1dkNEw4dUl0WVVrdGJJU1pmaFFLcFRrRUZVeU0vYnAzUE1G?= =?utf-8?B?eTl4VnhDNGdRcDNxZnRkbUM3ejhuU3FTTEx6Vjk1QTBLTVJtTWFSbFpZRGRH?= =?utf-8?B?ZU9xUWRiK2JJVWJ6RXpXb0tLOHhKcE5ya3lhM3gwbTF0SmErVHpCRVd1Tmoy?= =?utf-8?Q?iOcedCJDh6ohoiKhbjH/pCtRIqyC30=3D?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:FR;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:korolev.univ-paris7.fr;PTR:ErrorRetry;CAT:NONE;SFS:(13230040)(156008)(30052699003)(35950700016)(48200799018)(32650700017)(82310400026)(1800799024)(7416014)(376014)(13003099007)(8096899003)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b80f3db8-6e34-476c-a6c2-08ddd2eaf445 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY3PEPF0000A724.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Aug 2025 08:13:36.4346 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: T6mHouwGuKWAri7HMYm6H5vWjkxED7wmhxzrpxMqzJ/jmKhdatHSzbxamiy9nD/Y7zTnPUVtaXsCshRqi6zoJow/jHlW9JPKIvG90tsFPfx0MRgmZQFqWC4JD58LvxR/E0cI0mnfI0z5J6ROpzMg/ZmOsanUZOSaj25gJ8xTxQxvht+QIXSb0hYyuRA70LhGNE8NyFQhMeTEpyCjvwCoag== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB7672 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: <78c82eb1-5d86-4226-9dcb-2c179cfca833@irif.fr> 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?UisxeTNhdU00dXpJS0xjQTdHZFcvK25tSDQ3RzdzQm5CeDM0aDFSYll5eFo3?= =?utf-8?B?ci81VU9VTVhHZi9ZVWRpaCs2MWxId2pxTExrdUFQbzFWbllWOXJDK3lkU09i?= =?utf-8?B?MmVOOUNCSzVNK2p3aE92UWtOY2xqV01YaVJUL2VudVEzc2QxNUlqdnVDanA1?= =?utf-8?B?aVhudzN2WkExbzdKVHI4U3kyYXgyUHF2U1lEVTNFS2xSNERMNFB1Z3BRaE5D?= =?utf-8?B?Y0JHT3Mwbnl6djF5cEF2OGR1dytqZmhMZGVmV21zS0JpSnpPSDVpeGhqL01x?= =?utf-8?B?NEZ4UmwrSFdNNWw0MEZqYm5sN2VRNU1JZDgvUXpwSnFBQWEwK1JIOEdabjN1?= =?utf-8?B?N2JnUC9xZFZzZzBGbkNvbXlqaHF4RjY0VWoyWkVoaEFwUFU3TU96VFQzNkdj?= =?utf-8?B?RjI5VzNlRy9hOWZMbUxBWVVPT1VlamhhYXVPK0xIckVZbFVOc0V3bFBLQlhx?= =?utf-8?B?bDFhaTRSY1FHaU1UaGI4NUF5YW40N2duUXQ4VnRGcGFwenU4S3lmSS9DRkdS?= =?utf-8?B?RytsdldhQWxDQmpSM0hBTjFJb2cwTTJYalMwY0RvVWJkd0dwbk9yYUtiTGti?= =?utf-8?B?bmlPZXhBNnpuQ2oyUHo0a2NPcjFxdjhrdHhVRXRyRG54d29JTjZtQ0djK2FU?= =?utf-8?B?Mk1FWS83NDFNa2lkbWJUTWV0eWFZcnlBZXpKR1QvZFE5cExKcTJQT1lEQnVF?= =?utf-8?B?WE81d21WNUcwQ256YmlSR2lrOHBjc0JKdWdHcVgvbEVIb0NWSUd3dlpPNm5L?= =?utf-8?B?SFVxU2pidG96Ykplbkp3Y3FKVnZTUTNpMmVWdjJpNUF3ZTVjWlpFcHhGY2tG?= =?utf-8?B?bHhEMU9nSnFqclpYSUZTY2RjT0QzQ0ZDcGdnYTFmb0NlVHNtQWlDcEFxMUFF?= =?utf-8?B?UzU1Uk9aSTFabmhPNDhRQUVzT1J1bFhnM2VCNUxsQzhMR0lLSVVMSTgrSG14?= =?utf-8?B?MEpHRGZUMUhCMUJvYUI1MUFyTVRkMEZQL1ltQnZ1V1NUK2R1SGtWbFNmN2Vm?= =?utf-8?B?b2ltQW9keGRhUTBUK2l2clBsTWo4cGJ0enZvWDhPSkR4Zk42RU5waXh0WDU3?= =?utf-8?B?blhvY0s3cWIxY0NaWnNqcTBpVTZuZDh4VGRIVEk2YXdKRlQyYVlTdy9sK0pB?= =?utf-8?B?cytTUmM1RERjTWFtejZpUXpMMXJsUW5yU0FCTHRsK1lGQnBlTDNjTTYySkZP?= =?utf-8?B?NFBaSUxOWDhkZjZ5azU1N0FnS2IvNlN5aHA4Nll0VTVoTEZMNWM3NXA1dktp?= =?utf-8?B?V3dWSFo2OW1yRlRNWi94R1VXUGJzdG5Eejl4UEZXU0p0SUF6ZUVBdkNaSUdM?= =?utf-8?B?elkwR3lCU055d3YwaWgwUmxZTjYvaDNmYXBMTWNUczdkbDZwdllyMUw3bE44?= =?utf-8?B?VWJLSUFFS3hSWSs5REg1L01yNE1JQytob24xS1luRzdENFpQKzUyNExENnc0?= =?utf-8?B?RU5QRWo3VFBsSzhmVFNKL2c3UThveEpZQUgzZXZMWVQ4VktMNngrOTY4ZXZ5?= =?utf-8?B?YTVtQ2dHTkMxU20yc0pmWkF4djBRaUQvZHBiczhFKzBQYUZYdHhmOVlxUHE0?= =?utf-8?B?VFQ0Z0VFT2VTdHBlVUhzTTNkdi8zbjlTVzk2ZUdLV2lTYWViT3drUU9KNVVv?= =?utf-8?B?TmFnS3Y2eUEzR0pSajE4RVUxWGFPWGV1blRSVzNuR05nTnBTemxvVVJxUkYw?= =?utf-8?B?UldjM1BRdmpZR2lOVWxDeVoxS056RCtOVndaQ3BZVk5OektGZHl4VEZwUDlE?= =?utf-8?B?aWw0K3M2WkEvcVZDT3ZldXRvbHQwS2tmcXlQVDYrUUtKNWE2S1BoLzhncklO?= =?utf-8?B?U1Z1Q0toZVdOQkRDbkdPa3lMUklrbFVSUEZGUGdUQUI3LzQvRkcrV1ZHVjFS?= =?utf-8?B?L0tZZldWNEU5QU95V2p0cklSUmU2SGxLN3V0d1V4M3NnZzZYemw0bDhqc25Y?= =?utf-8?Q?AEhKAEai5t41yPEKrN9lJMlLQLttLrmS?= X-OriginatorOrg: mq.edu.au --------------Lt0RIzYA5NvYKZqcNAvKZqMd Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by korolev.univ-paris7.fr id 573NBVva003932 Dear all, I am deeply saddened by the news of Gilles=E2=80=99s untimely passing. He w= as a brilliant and captivating lecturer, as those of us who attended his gr= aduate course on proof theory, type theories and rewrite systems can attest= to. He had a keen appreciation for simple, beautiful proofs in logic and t= ype theory, and his textbook for that course (=E2=80=9CProofs in theories,= =E2=80=9D available online) is filled with examples of these. Gilles was also an inspiring and supportive mentor. I was lucky enough to d= o a summer internship under his supervision in the Deducteam research group= at the ENS Paris-Saclay, and his subsequent recommendation was instrumenta= l in getting me a PhD grant. I will always remember his clarity of thought and the powerful simplicity w= ith which he communicated ideas. I will miss his dry sense of humour and de= adpan delivery. My thoughts go to his family and loved ones. -Chaitanya On 7/25/25 6:02 PM, Valeria de Paiva wrote: I am sorry to bear the sad news that Gilles Dowek has passed away on 21 Jul= y, after a courageous battle with cancer. There is an obituary from Le Monde https://www.lemonde.fr/disparitions/article/2025/07/21/gilles-dowek-informa= ticien-engage-et-vulgarisateur-est-mort_6622858_3382.html and a note from Catherine Dubois, Th=C3=A9r=C3=A8se Hardin and Olivier Herm= ant in English, via Sophie Pinchinat. With a heavy heart, Valeria ---------------------------- Dear all, It is with great sadness that we announce the passing of Gilles Dowek on 21= July, 58 years old, after a three-year courageous battle with cancer. Gilles was a Research Director at Inria and an Associate Professor at ENS P= aris-Saclay. He was a major scientist in Computer Science, internationally = renowned. It is difficult to summarize his contributions to our discipline = in just a few lines. His work focused on the formalization of mathematics, = type theory and proof theory, the links between computation and deduction, = rewriting, quantum computation, and more. This theoretical work, recognized as being of prime importance, drove his r= esearch into making it available through the design and development of tool= s: proof assistants (Coq then Dedukti), the design of algorithms improving = the safety of aeronautical systems, interoperability of formal proofs, etc. Beyond the aspects specific to his profession, Gilles was a computer scient= ist committed to society. His contributions span multiple fields such as et= hics, popularization, and teaching in all curricula. In particular, he cont= ributed greatly to the introduction of the ISN (Computer Science and Digita= l Science) option in high schools, and until recently he was still very act= ive on the Higher Council for Programs. Gilles received numerous prizes, that demonstrate how well he was recognize= d by his peers: the Grand Prix de Philosophie award of the French Academy f= or the book "Les M=C3=A9tamorphoses du calcul" in 2007 ; the Grand Prix Inr= ia - Academy of Sciences award in 2023 ; the History of Sciences and Episte= mology medal of the Academy of Sciences in 2024. Finally, Gilles was an outstanding speaker and teacher, with a speech rate = that could not let you fall asleep, an unmatched pedagogy and a very large = culture. He was open to everybody and was first to support the youngers. He= has inspired, guided, and led in his projects uncountably many persons. Th= ank you for everything, Gilles. Having known you has been a chance, a pleas= ure, but above all an honor. To conclude, we quote a paragraph that has been written by the SIF (French = Computer Science Society), to which Gilles has largely contributed: "He lea= ves a rich inheritage, written and filmed, that tackles intemporal question= s and that will for a long time keep us reflecting. He also leaves us an op= timistic without na=C3=AFve idealism viewpoint, an incitement to pursue the= development of our human intelligence while keeping eyes wide open on the = world." Catherine Dubois, Th=C3=A9r=C3=A8se Hardin, Olivier Hermant -- 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 --------------Lt0RIzYA5NvYKZqcNAvKZqMd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by korolev.univ-paris7.fr id 573NBVva003932

Dear all,

I am deeply saddened by the news of Gilles=E2=80=99s untimely passing. He w= as a brilliant and captivating lecturer, as those of us who attended his gr= aduate course on proof theory, type theories and rewrite systems can attest= to. He had a keen appreciation for simple, beautiful proofs in logic and type theory, and his textbook for that cours= e (=E2=80=9CProofs in theories,=E2=80=9D available online) is filled with e= xamples of these.

Gilles was also an inspiring and supportive mentor. I was lucky enough to d= o a summer internship under his supervision in the Deducteam research group= at the ENS Paris-Saclay, and his subsequent recommendation was instrumenta= l in getting me a PhD grant.

I will always remember his clarity of thought and the powerful simplicity w= ith which he communicated ideas. I will miss his dry sense of humour and de= adpan delivery. My thoughts go to his family and loved ones.

-Chaitanya

On 7/25/25 6:02 PM, Valeria de Paiva wrote:<= br>
I am sorry to bear the sad news that Gilles Dowek has passed away = ;on 21 July, after a courageous battle with cancer.
There is an obituary from Le Monde 
and a note from Catherine Dubois, Th=C3=A9r=C3=A8se Hardin and Ol= ivier Hermant in  English, via Sophie Pinchinat.
With a heavy heart,
Valeria
----------------------------
Dear all,

It is with great sadness that we announce the passing of Gilles Dowek on 21= July, 58 years old, after a three-year courageous battle with cancer.

Gilles was a Research Director at Inria and an Associate Professor at ENS P= aris-Saclay. He was a major scientist in Computer Science, internationally = renowned. It is difficult to summarize his contributions to our discipline = in just a few lines. His work focused on the formalization of mathematics, type theory and proof theory, the lin= ks between computation and deduction, rewriting, quantum computation, and m= ore.
This theoretical work, recognized as being of prime importance, drove his r= esearch into making it available through the design and development of tool= s: proof assistants (Coq then Dedukti), the design of algorithms improving = the safety of aeronautical systems, interoperability of formal proofs, etc.

Beyond the aspects specific to his profession, Gilles was a computer scient= ist committed to society. His contributions span multiple fields such as et= hics, popularization, and teaching in all curricula. In particular, he cont= ributed greatly to the introduction of the ISN (Computer Science and Digital Science) option in high schools, = and until recently he was still very active on the Higher Council for Progr= ams.

Gilles received numerous prizes, that demonstrate how well he was recognize= d by his peers: the Grand Prix de Philosophie award of the French Academy f= or the book "Les M=C3=A9tamorphoses du calcul" in 2007 ; the Gran= d Prix Inria - Academy of Sciences award in 2023 ; the History of Sciences and Epistemology medal of the Academy of Science= s in 2024.

Finally, Gilles was an outstanding speaker and teacher, with a speech rate = that could not let you fall asleep, an unmatched pedagogy and a very large = culture. He was open to everybody and was first to support the youngers. He= has inspired, guided, and led in his projects uncountably many persons. Thank you for everything, Gilles. H= aving known you has been a chance, a pleasure, but above all an honor.

To conclude, we quote a paragraph that has been written by the SIF (French = Computer Science Society), to which Gilles has largely contributed: "H= e leaves a rich inheritage, written and filmed, that tackles intemporal que= stions and that will for a long time keep us reflecting. He also leaves us an optimistic without na=C3=AFve ide= alism viewpoint, an incitement to pursue the development of our human intel= ligence while keeping eyes wide open on the world."

Catherine Dubois, Th=C3=A9r=C3=A8se Hardin, Olivier Hermant
--
 
 
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
 
--------------Lt0RIzYA5NvYKZqcNAvKZqMd--