From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=KHHwjL5t; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 89C55400C0 for ; Tue, 17 Mar 2026 10:30:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=12JxXwzPYcFB7P1VA5ivJG5Wyt2ilUx7MCPepBIWo9c=; b=KHHwjL5tlZT7CtHFQb4xdiMapxafCWb6v8uUtrvdPk6Cdt9v71cX9L7A g2XaA0RMwypAR8X6XuGv/cZTvXHFVpu5xkO/sX2k9fKtG6O/Q74x2Lhc7 8vV1coaQridY4OBuNW8Hpq+NOq1Npon4RnaBs02p4IqezQs+somjuTvcb k=; X-CSE-ConnectionGUID: U/6JNuO5TfOUZd9yggX8SA== X-CSE-MsgGUID: 6gsUpnNERf+sp9XOEIQU+w== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.23,124,1770591600"; d="scan'208,217";a="268135551" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Mar 2026 11:30:15 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 881E38232F; Tue, 17 Mar 2026 11:30:15 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id DA3DF81FC5 for ; Tue, 17 Mar 2026 11:13:30 +0100 (CET) X-CSE-ConnectionGUID: y14Waaw+QMajzWe/NtZf2w== X-CSE-MsgGUID: dLjgJDNFRtqAIsTyOpXr7w== IronPort-SDR: 69b9294b_LSbE27WePQVyrun6ETu8narl6xZsQNcObWTlgo9Cba5+rsg jdzSBzBAeYmtI6uK+Ao7yU3iEjmWAH8f3Dto12A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EoBACqKLlphZSE6IA+HA4QAQELEgyCEoI/gQdgCCoHC?= =?us-ascii?q?EmEWIEjgiyOJZdGiC0fCAIGCQEDAQ0uAQ4UBAEBAwEDhQACEY0SAh8GAQQ1B?= =?us-ascii?q?Q0BAgQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBAQFASYZPD?= =?us-ascii?q?YJbO3GBJQEBAQEBAQEBAQEBAQEdAg0HLSoBHwIBAwEBEAsGHQEBJhIPFjcCA?= =?us-ascii?q?iESAQUBEgoHEiKCYAGCKUoDEUemOoECQopDeoEygQGCDAEBBoEI2l8tFoFnA?= =?us-ascii?q?waBToVugmUBgV8BAg6EBDuEPxcfgVVEgRU1gkQxPoRwgy6CaYImehQriS6JB?= =?us-ascii?q?CYmAwcHDitGDgEhAyYzLAFVExcLBwWBJA8zAQIBHwovLQIUDBESDwQWBS0dc?= =?us-ascii?q?AwnEg4eFxQfWBsHBRIhKk54gWYbD4ZkAXkDLl4oIgI5A1lKPgtSG4IWAlcDC?= =?us-ascii?q?2ILPTcGDhtKjjo8MwGBTC12HwsheyIuHccSNAeEH4FeBgyKLpVUM5dSkxkCm?= =?us-ascii?q?QQijDmBLpsnESSBXCIvgS0zGjRwBoIwTwMZD1eNShmIeoJmhzsJt21ENAI8A?= =?us-ascii?q?QcCBw4CgXOQNIFLAQE?= IronPort-PHdr: A9a23:GOjZ5h8PQ5OWLf9uWRSyngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y AqHvb421AeYA83y0LFttan/i+jYQ2sO4JKM4jgpUadncFsor/tTtCEbRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSybL9oM Bm6sQrdu8cKjYd+Lqs8ywbCr2dVdehR2W5nKlWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQ KJbAjo7LW07/dXnuxbbQwSA/3cRTGoYnAdQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yTOfFjfK3SYMkaSHJOUcZfVSNPAo2yY YgSAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBnB0gM6BdIBrGrbrNHyNKwPU e61za7IzS/dYPhL3jr97ZLHcgo9rv6SWbJwdtDdyUcuFwPClFWft5foMC+R1ugXr2eU9e9gW fi1hGE7sQ1xvzuvy94qh4LUiY0b1krK+j9lwIYpO9K4Ukh7bMa4HZZTqiyXKop7T80iTWxsu Cs31KEKtYO/cSUUx5oq2hDRZuGJfoWG/B/vSuWcLSt2in9rer+yhgq+/EyuxOD4UMS/zVhEr i1AktbWt3AN0QTe6tOGSvty+keh3jmP2xrU6uFeLkA4jbTUJIQ9wrEsjZofq0PDHjX5mEnuk qCZbFkr+vOs6+j9ZbXmvJCcOolpgQ/9KqQjgtGzDfo7PwQUQWSW9/qw2Kf+8UD3XrlGlOA6n 6bavZzCO8gXuqq0DxVW34sj8RqzESqq3dcCkXQHMl5Ifg+MgZLzNFHUOv/4CO+yg1Synzdvw PDLJqbhApDRLnjbibvtY6xx61VGyAot19xf+pNUCqobLP3vQEDxscbUAQUlPACu3ubnC81x1 oIYWW2RHq+UKL7evUGL6+41PeWBapEZtCzgJ/Ur+fLil2I1lFAecKWx2JsYcnG4HvBoI0WDZ nrsh88MEWIQsQokUOPlllmCUTlJa3a8XqI84Ss7B5y9AIjfQoChmqCO0z2+HpFMfG9JFkqAE Wrrd4mcQfcDdDqSItN9kjwDTbWuV5Uu1RSqtAPjz7pnL/HU+jEDuJL41Nl14vXTmgso+Tx1C cSdyWCNQHtukmMGXT86xKZ/rldlxVeZzad4m+BYFcBU5/5RTws2LZHcwPJ9C97xQAzMZtaHR Uu+TtW8Hz4xUNE/zcUWbkZmHtWikgjD0zO0D7MPjLyLHoI0/rjB33jwPMZx0WrJ27Mkj1U8W MRAKXeqhrN89wTLGoHJkESZl6OyeKoE0yDC+nmNw3aSsU9eSAJ/TKDFUmoFZkTKtdn3/lrMQ aehB7g/KQtB0cCCJ7NQZND1kFtIWe/vOM/GY2K/g2iwBQiHxreLbIfyYWsQwDjTBlVX2zwUq GqXLQUlQy6npWXDCjdjPVbueF/3t/JzoWj9U1c5yQfMYkF8k/K+/lsUnvWWRvcX0/cZoyo7s HBzA1CwxfrSCsGcvExqdaAaaNh7/VQDnXrDsAM4OpWmIIhuh10DNQh0+wvl3hBzT4FBitQCr XUwzQM0J7jcmFNGc3aZ2573ErnWMXXpuguodrTd11/ZytmbvKEC9LBwr1TopymzG1Ev+m9s0 59f3n+Yo5HDBhFUWpX0Fg466RV8u5nbZG8h+sbf0XRxKrW0uzuE199tTOIuzkyIYstbMbiYD 0nvD8AKDtPoJeA33xCiaRQPIfpI+ag/LuuiduCaw6OxIut62i67gCJB5MQ1ylyX3yFnTqjTx ZdDyPadmkObVzr7lkbktsf4mItsbipUFW+ijyXoGcoZfqBuZ4dOD2qyZtKw3NFyr4bgR2RZ8 lO/QVULxIvhdxuUbkDwmAhX2UkT5GCnlCyi3hRwkio1teyFwzDOhu3rfxoKPChHSS0qkVfhJ pKlicwyWEmzcxMkjgXj40H2zqsdqahiayHYSFtFcC/sLmx5eq6sv/yJaooH5Jk3tj9TXMy3e haFS6X25RYWzmerG2pYyTkhXzqx/I7llhp0j3iRant/sT6Res5r7RPY693XA/dNmnIJTSx1k hHTB0OgJJ+z4smU0p7KueCzUSStW9kbfy7vyYKouiy/4WwsABuxmLT7ldH9VAk01Af028MvV CvN6hjmJsHr1qu6NeNoflVzM1T77s9nHIBig6M8hZ8en2VfjJKP8XcOjHe1P88I97j5aS8oT CQAztrSqCbk31duZiaMzpjyW3GahMVgYMO3SmgSnCk06oZDA+GJ7+oXzmNOvlOkoFeJMrBGl TAHxK52gJZ7q+QAuQ53iz6YHqhXB05TeyrlixWP6dm66qRRfmemN7aqhwJlhd70KraEr0lHX WrhPI84FHp15990PVbLlnPy7ZvpUNLUK9kas1udmFHdjLsdM4o/w8IDnjEvImfhpTsgwu8/g wZp2MS/tZKMJmFquqy4BQRVHjbxIcga/3fkhuBDnZXexJihS61oAS5DR570VbSoHTYV4OzgL BqLGSYgp22zAr/DBUrFrlx8sTTSEovtPHiSYnASi8hhLPWEDGpYhg1cHDAzn5pjUxuv2NSka kByoDYY+l//rBJIjONuLRj2FGnF9k+ubX8vRZ6TIQAzjEkK7lrJMcGY8uN4Hj1JtpynoguXL 2WHZgNORWgXU02ADlrnM/Gg/97Fu+SfA+O/KbPJb9Ds4aRbXu2DyJaolIVn+CyBHs6LeHJrC rsy0QxeXjExGsjUnSkOVz1CjzjEPKv57F+3/ix6qNz68ey+AVi/o9HUUf0Lao8pokzm0sLhf 6aKiS10KChVzMYJzH7Mkv0E2UIKzjtpfH+rGKgBsijESOTRnLVWBlgVcXAWVoMA4qQi0w1KI cOehMny0+syi/cvAFpBUhrvm8azaOQBJye2PVaBDU3NKbfMdlipi4nnJLixT7FdlrAeshSqs jufFAntPzOZmhHiU1akOOQKhSrdIR8U6+TfOl59TGPkStzhcBiyNtR62CY3zbMDjXTPLWcAM DJ4fiuht5Wo5DhDyrV6Em1FtD9+KPWc3jye5K/eI4oXtv1iBmJ1kfhb6TI00ekd4CZBTf1z0 Czcy7wm61SviOKCzj0hXhtJsDtjj4bNtkxnf6zSsIRDEXrJ5xMC62yMBg9C/oE1TIe04eYJk YKJzf6jYD5ZlrCctdMRHc3VNN6KPDI6PBzlFSSVRAoJQDi3NH3O0klUkfWc7HqQ/f1Y4tDnn JsDTKMeVURgT6lKTB4+Rppbe80xB290wtv5xIYS6HGzrQfcXpBft5HDDLeJBOn3bSyehv9Cb gcJxrXxKcISMJf60gpscAof/syCFkzOUNRKuiAkYBUzpRAH9XFkRWA33ATrawS37VcYEbi/l xtwgwA4fOdnp1KOqx8nY0HHoic9ihx7nNz/ij2Vd3j/LaCqUKldD2z/vk13O5i9XgU/PmjQ1 QR0cTzDQbxWlb5pc2tm3RTdtZV4EvlZVaRYYRUUyKLfd7Ay3F9bsCni2V5f6L6PF855jAVzO 83JzToIy0d5YdUyP6CVOKdZ0g0amPeVpiHxnuEpnl1ELh5QomnOIHZa6gtTbPEnP3T6pOU0s V7bw2oTKjVeBb128pcIvgs8I7rSlXq4iuwdcRjjbbXHffHe5zSIlNbUEAprjwVRzhADpf4ul p59O0uMCxJ2luvXTU9Tc5KEcUYMMa8wvDDSZXrc6L+ch8srbsPlULivFLHGtb5I0Bv1RkBwT 8JVv5lHRt72jAnZNZu1de9fj0VxolmtfBLfUJErMFqKiGtV+pDlisYqhs8Hf2pbWSInbW22/ uqF/15xxqTbGoduJC9dBNNMN2pqCpTrwGgH5DIaUWPxiqVDk0LqAybUni3LF3G8atNiYK3Rf hZwEJSs/j559aGqiFnR+5GYJmfgNN0ktMWdoe8dop+GDbtTQ9wf+w/EnJJEQnWxT2PVOcWwO 4C1Mc83d8KyF3ehFFe2jnQ8RIHsP56hI7OJjgfhWYtP1evTlGl5ZYnnTWtYQkwq4bhftOp1f kUbboA+YAL0ugh2LKG5LAqCk52vT2urNTpKXqxfwOG9NNk1h2Inau63zmdlT4lvlrPntxRWH tdT1UuYnKrzNOw8GWDpF3dQehvCv388nmllbKMpx/snhQnPuh8aOiyKc+pgbCpFucs9DBWcO yYTaCJwSlmCgI7E+gPp0aoV+n4Xmt9O2uBBtz7wv5jFbRqnXOqgoJCTuiFmcNts8MgTecTzZ 9CLsp/ThGmVVJ7LrgiMSzK3DdJBn8RIZXgeW+NW33wkIooNsI8H4EF3S8R0dNktQOE847utb zRjFysbyyQUApiB0DI1ieC5w7LGlx2UfcdqIFkevZ5FmNdYTz9ub3ZUuvq4T4uP3TzhKCBDM EIJ4A9L/g5FioJgYrWv/t/TVJEVgzce5vtwVmGj/nxA/F+9QWiTx1HzDuiiwbTBNe16x/aq2 dAeHhd0T1Velb8+fqoAM7RrM+xK+JXQrHmVdFi8t2vojuKtYkRSm5S8Sg== IronPort-Data: A9a23:r0rWL6iVvjTMkigNs9gNl5ZpX161QRQKZh0ujC45NGQN5FlHY01je htvWWyBPfbZYTCjeNt0Po7j8RkFsJLTmtdnTwdsrSg1FS1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+e6VaidfHgsGGeIcQ954Tp7gek1n4V0ttawBgKJq LvartbWULOf82cc3lk8teTZ83uDgNyo4GlG5gdnOqgS1LPjvyB94Kw3dfnZw0TQGdE88t6SH 47r0Ly/92XFyBYhYvvNuqr7aEADXonJNgGIjHdMM4D66vSVjnFaPg4TbZLwWG8P49m7t4gZJ OZl6fRcfTwU0pjkw4zxZfX3/xZWZsWq8JefSZS2XFf6I0fuKxMAyN02ZK060BFxFk+azgii+ NRBQA3hYCxviMqnme6EQ+Bzxf0GJcv5A45YnG1Sw2vGWKNOrZDrG80m5PdD2Ssow5oIBuzAI dcYcnxkZRGGahYJJ1R/5JAWxb34wCOkKXsB8wjT/PZni4TQ5FQZPLzFNdPPcdGOQoNbn0GCq 0rN+yLyCxRcPdfZ1DntHneE3LGfxHijCN9NfFG+3vJOglKx6ko9MgEPfHqgneiekn6kBM0Kf iT4/QJ09vJjqRDDosPGdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpc9k6rIpsAycwy BmUnsivDjVq9rSeD2+enluJkd+sETlMcVALbDBHdC4M4cvcrcYVkiDBFMk2RcZZkebJ9SfML yeigwJWulnysSLp//rglbwkq2vyznQscuLTzlmONo5Cxl8gDLNJn6TytTDmAQ9ode51tGVtQ 0Toa+DEt7pfUM3leN2lXeMMAryz/PeZIXXbjxZkFpwr7TWh9HPLQL28FApWfR8zWu5dIG+BS BGI42t5usQMVEZGmIcsOOpd/exxlvC4TbwIl5n8MrJzX3SGXFTZrHk1PBTAjz6FfYpFufhXB Kp3uP2EVR4yYZmLBhLvLwvE+e56lnIN1inISIrlzh+q97ObaTTHAf0GKVaCJKRxpq+NvAyfo Z4VOtqo2idvdrT0QhDW1ooPcnEMD3wwXq7tp+JtK+WsHwtBGUMaMcH3/48PQYJesp5upr/6x U3lAk5843jjtELDMjSPOyxCaquwfJNRrkAbHC0LPHSq0VN+Y7eQtLouSL4qcYY89chI7/19f 98acequX9VNTTXm/WwGTJ/f9YZNSjWitTisDQGEPgctTsVFfBPY3OPkci/E1jg8PgDuueQQ+ 7Sfhx7mG7wdTAFcPePqQfOIzWLpm0MCmeh3DnD6EvMKdGrCqIFVejHM1NkpKMQxKDLG9DuQ9 yCSJTw6/eDtgYsEwOPltJC+jbWCMrVBRxJBPmzh87yJGzHQ/TOjza9+Qe+4R23he12uypqyR 9d+7q/aC+IGrmZoooAnMrdMzIAC3fXNiYJe7DxZGCTsUwz2JJJmemKLzOtehJ1rn7V5gza7a miL29tdOIiKBv/bLU4sFFIbSdqHhN4pmWj0zPUqIU/Fyjd905iZXG5zYRSdqixvA4FkEYEiw NZ7p9MnsSKjrh8EMPKAsDp19nuNHFMEQa4IppEXO661qwsJm3VpQ43QNT/y276LM+5zC0gNJ iTOorjvnJFe+xbySGUyHn3zwuZtv5QClxRUxlskJV7SuN76qtIo/R9WqxIbcx90y0hZ7udNJ WRbDU15CqGQ9TNOhsIYfWSNGRlENSKJ6H7K1FoFu23IfXaGDlWXAjUGBt+M20QF/0Z3XDtRp uiYwVm4dwfaRpj62y9qVHN1r/Dmc8dKyTTDv8KaBOWAIYgxZGv0o62pZFdQkSDdP+EKuBTlq 9VprcFKUo+qEQ4LoqY+NZuW6qRIdjCAO155YK9A+IEnIDjiXQ+ciBm0FlCJW8JSJvb131eyJ O5wK+luCRmv9ia8gQoKJKwLIrQuxaYiz4ITXrXNNGIH7uKWnh90gcj+6gz7qm0PRet0sMciK 7H+cyCJPXyQiEB1xU7MjphgEUipbeYUYDbT2LiOz9wIMJYYosRATFoU0LCkm1m0aSxJpwm1u iHHbI/ol91S85xmxdbQI/8SFjeKJsPWf8XW1gKK6vBlT87FaOXKvCMr8mjXBRxcZ+Ytao4mh Ia2kYDF2W3et+wLSEHfoZ6KEpdJ6eiUXOZ6NsHWLmFQrRCdWf3DsgcyxGSlFaNnyN9txNGrZ w+dWvuCcdQ4X9R8xnoMTwN8Fx0bKbr8b4a+hCebgsmPNCMg0l38HIv6zUPqUGBVSHZZcdm2Q Ar5oO2n6d1kvZxBTk1MTe1vB5hjZkTvQ+06ftn2riOVFXSsnkjEgLb5iB488nvePxFoyiohD U7tHXAStSheuZ0kCPlCtpBq+0dRF2xjx/QxZQQW8tswgjv8EW1uwSE1L8AdEp8N+sDt/MiQW d0PRDJK5ebBsfBsehG6693mGA6UQPENUjs8DiJ85FuaMk9aG6vZaIaMNU5cD7NecT+lx+iib 9gVvGDzVvR0LleFWs5LjsGGbSxbKj82C57GFY0RUyA/PvrGPYg36Q== IronPort-HdrOrdr: A9a23:lTibgKmtfLWq97DK5Bx8c3eSJ9PpDfKg3DAbv31ZSRFFG/Fw9v re4MjzsCWetN9/YgBHpTntAtjmfZqYz+8Q3WBzB8bBYOCFghrSEGgK1+KLr1KPJ8S9zJ856U 4KSdkFNDSfNykGse/KpCOxF5IJx8SGz6Cymf229R1QZDAvQallqz1yAgGdHlZXQwZBbKBVKL OsouVAvCSpYnkaY4CWAXMfT/Hfq9CjrvPbSC9DKRpixwWHkC+y5KSSKWnh4v7caVNy6IZn32 zMkwm8wL6ivfG9whqZ82PI9ZxZlJ/A57J4dbWxYwEuW1bRtjo= X-Talos-CUID: 9a23:PNoea2/y3UadcLjEa4yVv19NRv8se2Ke9VLZIV2HBCFPVI+bE0DFrQ== X-Talos-MUID: 9a23:z+7t3AkvcG0wx0+bvYtUdnpuEMVnwYiIJnoRiLwnoPWVEjRAIWiC2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,124,1770591600"; d="scan'208,217";a="268130857" X-MGA-submission: =?us-ascii?q?MDEw5SV9XrgycD47Ofl5iPa4AjnJRtX7mJu1dl?= =?us-ascii?q?EJYOu/gjKg99NRvbSjoxk84bHm2wZZgqjVBKRYbB9tKwr1Cp2j+ppmZ5?= =?us-ascii?q?zaUfmzO0YckGwccx8HKuexm27/w3VRwE4lVEgkes0cJyInGmHYx5c4Np?= =?us-ascii?q?UQzS0+oY4kCjqgPTnxGuUIbA=3D=3D?= Received: from smtp-2.srv.uis.cam.ac.uk ([128.232.132.148]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Mar 2026 11:13:31 +0100 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: https://help.uis.cam.ac.uk/email-scanner-virus Received: from svr-postfix-0.cl.cam.ac.uk ([128.232.119.3]:44943) by smtp-2.srv.uis.cam.ac.uk with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.99.1) (envelope-from ) id 1w2RQX-00000006J7R-4VkT for caml-list@inria.fr; Tue, 17 Mar 2026 10:13:29 +0000 Received: from mail-ej1-f52.google.com (mail-ej1-f52.google.com [209.85.218.52]) (Authenticated sender: mpf23+LenovoYoga) by svr-postfix-0.cl.cam.ac.uk (Postfix) with ESMTPSA id 114C640593 for ; Tue, 17 Mar 2026 10:13:26 +0000 (UTC) Received: by mail-ej1-f52.google.com with SMTP id a640c23a62f3a-b9795ca4e6dso513097766b.2 for ; Tue, 17 Mar 2026 03:13:26 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCVUspQPEdA4zydR7NYUcry1wkTC8kKH7rGdFgE6QJyIb5CLAJgrSc87tqc+BRmlcr7O7AJvlFLUFOI=@inria.fr X-Gm-Message-State: AOJu0YxX/3PWQ+J1OoRsOSmu6XourzdxSBHWk+U96CU5k1x4Q/Qm+uiR OWNQpeXe4v7mCv0zyhKBziJta5CtHDeE7ckq5UaZven/2OlNrXRu/p3yOmT3CfjIiXYTOyYOX9+ 263Ucyra8XnQgVzluHE4WveLcXwGFFgg= X-Received: by 2002:a17:907:98c:b0:b93:81e7:8459 with SMTP id a640c23a62f3a-b9764f4b555mr959124666b.11.1773742405751; Tue, 17 Mar 2026 03:13:25 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Marcelo Fiore Date: Tue, 17 Mar 2026 10:12:48 +0000 X-Gmail-Original-Message-ID: X-Gm-Features: AaiRm52z5C77NfP_uoU94vgt9LzlT8dG8iIG2LYJ8Qo_PIFFRIki_lN6cXYQTFk Message-ID: To: types-announce@lists.seas.upenn.edu, cl-isabelle-users-owner@lists.cam.ac.uk, prog-lang@diku.dk, caml-list@inria.fr, hol-info@lists.sourceforge.net, lics@research.bell-labs.com, event@in.tu-clausthal.de, acl2@utlists.utexas.edu, concurrency@listserver.tue.nl, pvs@csl.sri.com, theory-logic@cs.cmu.edu, petri-net-world@petrinet.net, finite-model-theory@lists.rwth-aachen.de, theorynt@listserv.nodak.edu, categories@mta.ca, dbworld@cs.wisc.edu, linear@cs.stanford.edu, kgs@logic.at, games@lists.rwth-aachen.de, folli@folli.info, gdr-ifm@gdr-ifm.fr, highlights_community@diff.u-bordeaux.fr Content-Type: multipart/alternative; boundary="000000000000049b0a064d359611" X-Validation-by: marcelo.fiore@cl.cam.ac.uk Subject: [Caml-list] Fwd: 2026 Alonzo Church Award, Call for Nominations Reply-To: Marcelo Fiore X-Loop: caml-list@inria.fr X-Sequence: 19471 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: --000000000000049b0a064d359611 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation CALL FOR NOMINATIONS Deadline 2026 April 17 INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), and the European Association for Computer Science Logic (EACSL). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see < https://siglog.org/alonzo-church-award/>, < https://www.eatcs.org/index.php/church-award/>, and < https://www.eacsl.org/alonzo-church-award/>. THE 2025 AWARD The 2025 Alonzo Church Award was given to Paul Blain Levy for his fundamental study of effectful =CE=BB-calculi through the Call-by-Push-Valu= e (CBPV) calculus, which has had major impact on logical calculi, programming language semantics, and their applications to computer science. ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2026 award, the cut-off date is January 1, 2001. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Goedel Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2026 award are now being solicited. The nominating letter must summarise the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations for the 2026 award are automatically considered for all future editions of the award, until they receive the award or the nominated papers are no longer eligible. PROCEDURE AND DEADLINE Nominations to the 2026 Alonzo Church Award, taking the form of a single PDF file, should be sent by 2026 April 17 to Marcelo Fiore < marcelo.fiore@cl.cam.ac.uk>. AWARD COMMITTEE The 2026 Alonzo Church Award Committee consists of the following five members: Mikolaj Bojanczyk, Thomas Colcombet, Anuj Dawar, Marcelo Fiore (Chair), and Alexandra Silva. --000000000000049b0a064d359611 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

The 2026 Alonzo Church Award for Outstanding Contributions= to Logic and Computation

CALL FOR NOMINATIONS

Deadline 202= 6 April 17

INTRODUCTION

An annual award, called the Alonzo Ch= urch Award for Outstanding Contributions to Logic and Computation, was esta= blished in 2015 by the ACM Special Interest Group for Logic and Computation= (SIGLOG), the European Association for Theoretical Computer Science (EATCS= ), and the European Association for Computer Science Logic (EACSL).=C2=A0 T= he award is for an outstanding contribution represented by a paper or by a = small group of papers published within the past 25 years.=C2=A0 This time s= pan allows the lasting impact and depth of the contribution to have been es= tablished. The award can be given to an individual, or to a group of indivi= duals who have collaborated on the research. For the rules governing this a= ward, see <https://siglog.org/alonzo-church-award/>, <https://www.= eatcs.org/index.php/church-award/>, and <https://www.eacsl.org/alon= zo-church-award/>.

THE 2025 AWARD

The 2025 Alonzo Chur= ch Award was given to Paul Blain Levy for his fundamental study of effectfu= l =CE=BB-calculi through the Call-by-Push-Value (CBPV) calculus, which has = had major impact on logical calculi, programming language semantics, and th= eir applications to computer science.

ELIGIBILITY AND NOMINATIONS
The contribution must have appeared in a paper or papers published wit= hin the past 25 years.=C2=A0 Thus, for the 2026 award, the cut-off date is = January 1, 2001.=C2=A0 When a paper has appeared in a conference and then i= n a journal, the date of the journal publication will determine the cut-off= date.=C2=A0 In addition, the contribution must not yet have received recog= nition via a major award, such as the Turing Award, the Kanellakis Award, o= r the Goedel Prize. =C2=A0(The nominee(s) may have received such awards for= other contributions.) =C2=A0While the contribution can consist of conferen= ce or journal papers, journal papers will be given a preference.

Nom= inations for the 2026 award are now being solicited.=C2=A0 The nominating l= etter must summarise the contribution and make the case that it is fundamen= tal and outstanding.=C2=A0 The nominating letter can have multiple co-signe= rs.=C2=A0 Self-nominations are excluded.=C2=A0 Nominations must include: a = proposed citation (up to 25 words); a succinct (100-250 words) description = of the contribution; and a detailed statement (not exceeding four pages) to= justify the nomination.=C2=A0 Nominations may also be accompanied by suppo= rting letters and other evidence of worthiness.=C2=A0 Nominations for the 2= 026 award are automatically considered for all future editions of the award= , until they receive the award or the nominated papers are no longer eligib= le.

PROCEDURE AND DEADLINE

Nominations to the 2026 Alonzo Chu= rch Award, taking the form of a single PDF file, should be sent by 2026 Apr= il 17 to Marcelo Fiore <marcelo.fiore@cl.cam.ac.uk>.

AWARD COMMITTEE<= br>
The 2026 Alonzo Church Award Committee consists of the following fiv= e members: Mikolaj Bojanczyk, Thomas Colcombet, Anuj Dawar, Marcelo Fiore (= Chair), and Alexandra Silva.


--000000000000049b0a064d359611--