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=k4IHwLjG; 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 3675C40098 for ; Mon, 30 Mar 2026 16:05:12 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:from:to:content-transfer-encoding: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=u0C+b2u8yyPzez9VnbWvINh3uXka6MEklSCQjeLfklY=; b=k4IHwLjGkEgtHbMSqnj2WMsj/N3Mduwt5BjA1XJRSBC0JYfTP5bKlLPw fE4ia9GQJIS8XOKZ3k7uXSWJdsF3zTYYrzpYPJt89Gg6P6y76SUWIbpM4 c/c+5GtQk+JQwuc/WPnC6UHgCcLtMvZdXBw5ugySa4EQFkRjUNPisV0Ge 0=; X-CSE-ConnectionGUID: NBMd8GwfT1mufVQ7HxMeow== X-CSE-MsgGUID: ALVDP9aUSE6tqNkn6ZfApg== 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 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,150,1770591600"; d="scan'208";a="270194761" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Mar 2026 18:05:12 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 4B01B81D9D; Mon, 30 Mar 2026 18:05:12 +0200 (CEST) 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 EBD8781D81; Mon, 30 Mar 2026 17:51:12 +0200 (CEST) X-CSE-ConnectionGUID: W7Kb7EGQR7WiRezzwjXZ1g== X-CSE-MsgGUID: 6yNF9/6HQl2iTnvI3ED19g== IronPort-SDR: 69ca9ba9_M5JCa4WUl8kzIChp0uiQ1IgdYa1AmEMX3Ho1DvVsoshA1uS 9yMZO55OUj04v5XaTzzkMiqzEceQ3n4acuhJFrg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HgAwDKmsppgXFIZTRaDoJLAoFsU0EBgSUyB1GEWINNA?= =?us-ascii?q?QGFLIh5nEiDVAYJAQMBCwJRBAEBAwSSKSAGAQQzBg4BAgQBAQEBAwIDAQEBA?= =?us-ascii?q?QEBAQEBAQELAQEFAQEBAgEBAgQGAQIQAQE7Bw47hk8NSQEMAYIEgSyBJgEBA?= =?us-ascii?q?QEBAQEBAQEBAR0CFIEPCwYVCAEBEhQSNAImAjMsEgIBARABDYJggiUESwQCq?= =?us-ascii?q?zEBgT0CAosigTKBAYIMAQEGBASCYdh+LRaBZwkJAYEVLohVAYV1O4ZKRIEVJ?= =?us-ascii?q?w6DM4EFhxmCaYImgQ6EagaETodLgUocA1ksAVUTFwsHBYEzMwMgCi8UGQIUH?= =?us-ascii?q?RIPBBYyHXAMJxIsFzRYGwcFgVCJJFmBE4NKNDcCAQttPTcGAwsbQYx/KYFDg?= =?us-ascii?q?QgUE1QjGQEbNxUKgSwGAwOTLiuPaYE2oDuBPgeEH48VkkgGEy+EBIcXhXyYT?= =?us-ascii?q?IEImQYipGKEEgIEAgQFAhABAQaBfiSBXDMaNIMmTwMZD1eNYYtihzuzXUM0P?= =?us-ascii?q?QEBBwIHDQMLgWiHXohWgUsBAQ?= IronPort-PHdr: A9a23:Ku6FQxS5PMG10ZL74VZDs5n5Ktpsos6RAWYlg6HPa5pwe6iut67vI FbYra00ygOSAcODs7kf0LuN7ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xxXHr3ZMdelbxX5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5u/Y YUBAeUPPftWoZfhqFUBohSzHhWsCeH1xzNUmnP6w6833uI8Gg/GxgwgGNcOvWzKodrvLqcSS vy1w7fOzT7eb/1WxDf96JPVeR0mvf6AR7xwcdfRyUk0DA7KlU6fqY//MzyPyusBqXWb7+l5W O+plmUopB1/rCK1yccwlonGmJgVylbc+Ch2xIs7JdK1RkF5bNO6H5Zcqi6XOpVoTs4tQmxkp jo2x7wGt5O7fCYEyJoqywDfZfGbd4WE/hPuWeWfLzpminxofq+0iRWq8UW4yuDwSNO43EtWo iZYiNXBtG4B2wbO5sSaRPZx5lmt1DeT2w3d7+xIPFw4mrDaJpMk37I8ip8evEveEiLynUj7i bKae0Yi9+O18eroeK/mqYWZN4JsigHxLKAumsunDOkkNQYCQ3KV9/ig2LH940D2TqlGguE1n 6XDt5DaONgbqbW+Aw9I1IYs9gyzDy+80NQfgXkIMk5KeA6Gj4juPVHCOvf4Deqjg1Solzdrw PPGMqf9DZXKK3jPiLbhfbBj5E5A0Ac+zc5T64hJBr0dPf7/QE38uMLCAhMkLgC5zf7rCNBn2 YMfXWKPDLWZMKTXsVKQ+u0jOeeMZJIVuDbmMPUq/OXhjXwjlVAHYaalx4YXaHOgEvR8P0qZe WbsgssGEWoSogU+S/XqhESeXj5Xena9RLkx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WE XvwbYWLR+8MaD6OIs9mijELSaKuS4ol1R23sA/6yqFnLvbP9y0DtZPj0cB16PfJmREz8zx0F cWd3HuXQ2F6hGMEXzk207tnrkxn1liDybR4g+BfFdFL+f9FSgg6OoDbz+J5Ed7/QhrPcNGRR Fa8XNqmHzI/QMgpzt8LeUl9GtGiggnN3iW0GL8Vi6KEBIEu8qLbx3j+OdxyynfB1KknklUqX 9dDOXOoi6Ji6gTeCZTFk0KEl6a2bqsc2zPN9GGewmaUpEFYSglwUbnbUn8DekvWrNP55kXYQ 7+pFLQnLg9BycmFKqtJcNHmkVJGRPL7NNvDYGKxmmKwCA6QyL2DYoXkZXkT0TnbBkQcjg8T+ GyJNRIiCSq5u2zQFSRgG133b0P36el+pmu2QFUowg+XckNtz6G1+gYbhfOES/McwLYEuCA5p jtuAFuzws/YWJK8oF99bb1RepY05lFAyGTSuiR5P4e8NOZ5i1cFNRlvskXokRh7F8EImsxvr Wgjxgd2La/dzUhMbSiw2ZHrJqaRIWD3uhmkLbPVnhnE3cmM+7sO7vsQplP4+QW4EUxk/W8jm +FP1HyS2pXHCxADebbwSVossTJzu7GcSyJ72qCQnXZrKOy/tiLI89MvHuosjBi6O59UOaaAU QvzCNEyBs60KeVslULtJhkANfh6+7QzIturbL2c1aiiIOt62jy8ySxI/MVm2UuI7wJzRvSN3 pgAhf+CmkO8bRrEqGyJkOHMsqVtRBVUN0H59Au3KpRWY/hZdJwQFWqoa+Oqxs4205WrVWNY7 3apDVBA0cTvZBnEPA+15hFZyUlC+S/voiC/1TEhy1nBz4Ka1S3KmaH5cQYff3RMTy9khEvtJ o69i5YbWlKpZk4njkjt/l70ko5coqk3NGzPWQFQZSGjJCdsT6urnrCIYIhG49U1snYfS/yyN GiTUaW1uB4Gy2XmFmpayio8cmSh/JvknwdSgmiean946mfaKolr3RmK3NXHXrZK2yYeAil1j T6CHl+nI9yg5smZjb/ql7iGbTr7faALKXmtyp6cviym42EsGQe4g/24htzgF049zDP/0N5pE y7PqX4Qe6HN0KK3eaJid0hsXhrn7tZiX5t5mc02jY0R3n4TgtOU+2AGmCH9K4cT36W2d3cLS TMRprydqAH4xE1uKG6IzIPlRz2cxMVmfdyzfmIR3Go08clLDK6e6LEMkzFypxK0qgfYYP41m Tl4q7Nm4zgUnuESkAAnzWOUCfYPHggQPCDhkQiJ88HrtL9eNy6kdbm90lY7nMj0UevE+1kFH imjPM57RnwVjI03Kl/H3Xzt55uxfdDRaYhWrRiIi1LaiOMTLpstl/0MjC4hOGTnvHRjxfRo6 H4mlZy8ooWDLH1guayjBRsNfDazad4T4Rnnh6UYl83QwoPlTfADUn0bGYDlS/6lCmdYvrLpK gaVODc2qTGSEvzCHkXMoFcjpHXJHZexMniRL3RM1tRuSi6WI0lHiRwVVjE39nIgPjij39epM EJw5zRLo0X9tgMJ0OVjcR/2TmbYog6sLDYyUpmWahRMvElO4ELcMMrW6ewWfWkQ9duvsQyWA maRZEJBBicUWQSICkviMb+n+dTbu7XCQLPmdr2RO/PX8LcWXuzA3Z+114p64zuAU6fHdmJvC fE2wAsLXHx0HdjYhyRaTiUWkyzXaMvI7By4+yBxsoW+6KG2AkS2vdLJVOEUaIw0qHXUye+ZO uWdhTh0M2Nd35IInzrTzaQHmUQVgGdofiWsFrIJsWjMSrjRk+lZFU1+CWs7Oc1W4qY7xgQIN 9Tcj4a/3fh2k/4uI11PVhrokYe0ZoZZRgP1fEOCH0uNOLmccHfAhc/qYbiUQ7dTyuxf8QCz8 2XTAwroOTKNkCPsXhakPLRXjS2VCxdZvZm0bhdnDWWwKbCuIg3+KtJ8iic6hKElnn6ff3BJK iByKgke5q3V9y5The9zXnBM/mYwZ/fRgD6Xtoy6Yt4Xqac5XnwyxrgcuDJijOIIpCBcGK4pw G2L9oEo+xf+1bDRgjt/DEgT8HAS3NrN5QM6fvyEk/sIEXfcoEBQtyPJU05M/509TYSx86FIl oqSzuSqcGwEq5SMupJDT8nMdJDeaCZnbUWvQHiMS1JaKFzjfWDH2R4HmanLpCTM98o09sC0y shJFu8TVURrRKkTUh03RYVbcpkrBmh2w/nH3atqrTK/tEeDHswC58KeD6vAD6m3c2TJ1eEcN UlPnOqwLJxNZNfygxUwMwAjzoqWQxGCVogV+n8zKVJtxScFuHlmED9p0hq8OFr0uS0dSabvz BBu0lMsM6Nwrn+p6lMzbDImvQMImVIq0ZXgiDGVKnvqKbuoGJtRAGzyvlQwNZXyR0B0axezl ApqLmWMS7VUhrpmPWdl7W2U8YNIAuJZRLZYbQU47NTPX89wi39h8n33g0ha+eHCFJ1u0hMwd oKhpG5B3AQla8MpIavXJ+xCyV015OrGsiKz1+83yRMTPA5QqiXLIHdO5xZOb+B9byOztvRh8 wmDhydOdCAXWvwmr+grvkIxNuKczj7xhr5OLkfiUo7XZ6idumXGiYuJWgZtjAVRzxADouIwi J54IC/2Hwg1wbCcFgoEL5/HIABRNY9J8WTLODyJuqPLyI50OIO0EqbpS/WPveAamBHBfk5hE oIS48AGBpTp3lvfKJKtJ/gL1BU2zA7hJxOMB7JUe1jY9VVP69H615Jx0YRHc3sFBn5hNCys+ rvNjiYP2MK5BI0dXy9CDs0DK248X9C8l2hBpXNcATKr0+Ufjg+f8zv7oSeWBz75JYkGBr/cd VZnD9e4/i86+q69hAvM85nQEGr9MMxrpt7F7e5J74bCEf5fSqNx9lvNg4QNDWL/SHbBSJTmQ vq4I5lpd9H/DWy2F0Cymy5gBdmkJ86jd+CJmV26Gd4S4dPdhHZ7cpbgXjAGR0Us/6davP06P UtbJMNlBHyg/wUma/7iekHBio3oGyD1bmILB/hHkbfnPfoOl3BqNqnijyJ+BpAik7vqqwhUH MpM1leGgq/8AusWGSnrRi4EI1mJ+XV/zy45cb9tiuYnnkGSuAFFYWnSLb5nNDQc7YN7WQP3Q z0+C3JmFQWV1dORu1f1jb5Op3APzZEIgKVEqCas5JaHOWD1AfX5p8mN6HhwNYB+8f82bNWGQ IPOtYuAzGbWFMCC61TcAiDmT6EIkYAIeHAKB6QR0WA9Z55csNIYuxNoD5Uwe+QUWqd0/uj4O 305V2ZXxCsdHetoMxQIiOT60rCcixTCKfzK1TQOupYEi9BbTi0kOkv2RYeKct3urTfeYVVTe FdV6hlQ7gUdkIM2Zvri/IfDUJ5LzXhRvu5wVSzIUJJv8gmiIlw= IronPort-Data: A9a23:wasM0KOCT7jzhe3vrR3CnMFynXyQoLVcMsEvi/4bfWQNrUonhDRVy GIeXG2HPvbfN2f8eNAlbdy38k5Qu5+GnNBkQXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48z8kk/3OHuOiYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWQvWo4ow/jb8k0356+q4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay RAXAA9STRrcqs2P+u2ES9NhlNY8LvnZZYxK7xmMzRmBZRonabnmG53wvYVz4W9o1oZJAOrUY NcfZXx3dhPcbhZTO1ARTpUjgOOvgXq5eDpdwL6XjfdtpTGLlUouiv60aYG9lt+iHa25mm6T4 Gzb/3/RCBsZctWUjyeGmp6prrWQxXqqAN1CRdVU8NY0kXu9lytNKCQSD1qHp+eY0WOSAoNQf hl8Fi0G9vNoqBPDosPGdxa/uTuPugMWc8FBFvUzrgCL0KvdpQiDbkAPRztFLdgnr9MeXi0vz lbPntXzBDUpvqf9dJ6G3rKdrDf3JiUOMWIffygcQAIX5N+6+dlp1UuWFZBkDbK/icDzFXfo2 TeWoSMihrIVy8kWy6G8+lOBiDWpznTUcuIrzjqIfWj6wyxAXtGaZral+0rE78ZydYnMGzFto 0M4d96iAPcmK7XlqcBgaOAEHbXs+PueLDDBm1l3EpAz8DL0oib5JtkJu3d5OVtjNdsCdXnxe kjPtAhN5ZhVeny3catwZIH3AMMvpUQBKTgHfqCNBjatSsErHONiwM2ITRPJt4wKuBV3+ZzTw b/BLa6R4Y8yUMyLNgZauNvxIZdwnXpimgs/tLj+zh+91qGZamLdQrAfKDOzUwzN14vd+F+92 48HaaOikkwDOMWgOHW/2dBIdzgicyNkba0aXuQNJ4Zv1CI9QDl5U5c8ANoJJ+RYokiivrmVo C3lCxcGlDISRxTvcG23V5yqU5u3Nb4XkJ7xFXdzYz5EAlB6Odr1vpQMPYA6Z6cm/+FFxPt5B atNMcaZD/gFDnyN9z0BZNOv5MZvZTa6tzKoZiCFWTkYe4I/Zgrr/tS/QBDj2hNTBQWKtOw/g Yaa6CXlfbQ5ST5fUfnmMMCU8wvpvFw2uv5DYE/TE9wCJGTu6NdLLgLyvN8WIuYNCxfnwwnD3 iawKCYdh/PppqE31N/3n4GFsIabPO9sFWVKH2TgzOiXNAuL2kGB0IN/QOKzUjSFb1zN+YKmf vRz8/HwFNYljWR6mdNwPJgzxJ1v+ua1gaFRyzpVOUnibnOpO+tGGWaH18wejZ997OZVliXuU 33e5+QAH6uCPf7kN1sjJAAFSOCn/tNMkxnw6cUFGmnL1BVVzpGmD3oLZwKtjRZDJoRbKIkmm OctmPAH4jyF1yYFDIy0sTB2xU+tcFo7TKQVhrMLCtTKiy0q6G14T77yNyvU2KyLOvJwahQEA znMn6fTpaVu9mybeVoJKHX99+58h5MPhRN08GE/N2m5wtrrutJn3Tl60ygGcQBO/xAWj8NxI jdKMmN2F4Wv/hBppuJ/Y0qVJgNoFSTAx1PU51QUnjbnF3itBzXHKVQgMsav4kw2zWBQUTxF9 rDF1mrVay3gJpDr+i4UR0ReiufCSOZp/Vbog/GXHMWiHrg7bwH6g6SoW3E6lhv/De41h2zFv eNP7s8pTYHabAk7vPcdGY2W8Z8yWSK0DjVObt859ZxYAFyGXi+53Aa/DnyYe+RPAqfv2lC5A ck/HfB/fU2y+wjWpw9KGJNWBaF/mcMow98wernLA2oimJnHpxpLtKPgzATPtFUJcf5Pz/lkc pjwcgicGFO+nXFXwm/BjPdVM1qCPOUrWlfO4/CXws4oSbQ4r+BeQWMj2OCVvlKUEjdd0TC6g QfhX5LSnstekdlCvo20CahSJRSGGfWqXsSyzQ2DmdBvb9TODMTwiz0oumTXZwR7AL9AdOl0x JKsscH21nzrpLwZcX7UsLjfGrhr5fedZvt2MMX2HWgHmCe9WN3VzDkC8nHlKa1YzYpU9+i8Z g6CcMDrX8Uka9Rc43x3RxluMQQRJJrqT4rS/CqdivWCMQcc2gr5N+Ga9WflQGVYVy0QMbj8N 1PEgOmv7dVms4h8Ph8IKPV4CZteIlW4e68ZW/DulDufVE+Ev0ijv+b8qB8e9j37MHmIP8Lk6 5bjRBKlVhCTurnN/e5Job5JoRwbI3Zss9YeJntH1YZNtAm7K2oaIcA2E5YMUMhUmxOv8qDIX mjGaW96BBjtWThBTw7H3+3ieQWiHc0LBMbyI2043kGTahruPri6Pplayn5C7Ut1KxzZ98P2G eFGrze0dlK0z4pyTOke2u2jjK01jrnGz3YP4gbmn9a0Hx8aBq4Q2Wd8GBZWExbKCNzJiF6BM F1dqbqom61nYRWZ/Qdcl39p9NUxlRa39w9wNwyymI6P/YKG0OdH1fvzffnp1aEOZ9gLI7hIQ m7rQ2yK4Cad3Xl7VW4BpYcymaEtYR6UNpHSEUMhbVR6c2KMBqAPNckB2yMECtwhkOKaO02Ij SGiuhDSG2zcQH28G9SqJcEh8ZhyFHsHSSzK5OI6SfkqjjRhp+Xkl9OWIM4X5H0+R2UPf6mVf dvKUHusng== IronPort-HdrOrdr: A9a23:rtBSp6HJ9DODXYtQpLqFEpHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6faVslkssQIb6Le90c67MAvhHP9OkPAs1NKZMDUO11HYT72KgbGSpgEIeBeOi9K1t5 0BT0EWMrSZYzlHZK7BkXOF+r0bsb26Gc6T9IHjJjtWPGNXg/YK1XYDNu/XKDwCeCB2Qb4CUL aM7MtOoDStPVwRc8SAH3EAG8zOvcfCmp7KaQMPQ0dP0nj4sRqYrJrBVzSI1BYXVD1ChZ8k7G j+igT8ooGuqeuyxBPw33Laq75WhNzi4N1eA9HksLlgFhzcziKTIKhxUbyLuz445Mmp9VYRid HJ5ywtOsxigkmhDl2dkF/I4U3NwTwu43jtxRuzmn34u/H0Qzo8Fo5omZ9ZWgGx0TtqgPhMlI Zwm06JvZteCh3N2A7n4cLTah1snk2o5VI/jO8oiWBFW4d2Us4YkWUmxjIZLH48JlO31Gh+e9 MeQ/00pcwmOG9yVkqp9FWGm7eXLzoO9hTveDlyhiXa6UkWoJlD9Tpn+CUupAZ9yHsDceg62w 3lCNUaqFgcdL5lUUs6PpZ2ffeK X-Talos-CUID: =?us-ascii?q?9a23=3AqkUrtWhL+6++z1z6e/UU5/V+VDJuTSL+xij9DHa?= =?us-ascii?q?CVllocrCHW0CSyJE9nJ87?= X-Talos-MUID: 9a23:EqlE6QapYspnr+BT6S7KqmAlaudR5/6vNEYTsM4rl5DVOnkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,150,1770591600"; d="scan'208";a="270190789" X-MGA-submission: =?us-ascii?q?MDEhb1PQH2RZzACPNoRG3GL2vjgo085mABWRXn?= =?us-ascii?q?l5RCdlnNknFteOAj55BEEegwv9u21/EMoi/0c8izETK9bh3AFDQDhjmo?= =?us-ascii?q?nUKTJWK3o/xZGLE2yJRtDYVpHeJ2A2xzbgNduX9L8PTcbuZGL/Z3roqr?= =?us-ascii?q?GJr6kg7ipq6AlxKaRDChw5fQ=3D=3D?= Received: from mail-westeuropeazon11023113.outbound.protection.outlook.com (HELO AM0PR02CU008.outbound.protection.outlook.com) ([52.101.72.113]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 Mar 2026 17:50:01 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=K/NCbAIc/BM2oYdv55vfGRpOhHBhsyDLrbI/0+OEY/V1YpPp1auO2LEmoEHephwp1p1LCdN/l6ap0neAjkouwIneyPyeJ74YHHXNdwkVegZeOk1yjS4SdoUbuyDxzs6CQE7WeFiZFXvapd04mcqrlOj6bpMUwsDgt4jc+2/TvbJFP/3fuXm7dc/1I94BVdElSkgd8uKns57lpf60j6v0EABeiDK3ikSGXv0byTx8YiucSU+rX8+tNMinyNQvE/AlxwOF03IP8Q9RdyxQG4weQ12Q7BLLr4xqc7abrQG08WiKOYly96P7+8Xjihj2Bi/AReUesxBUtLhmNZKw2iFZRQ== ARC-Message-Signature: i=1; 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=u0C+b2u8yyPzez9VnbWvINh3uXka6MEklSCQjeLfklY=; b=ChCZaDG40CI6X4izll4mWo0MigKRlXG/1P/nsZDl1G3q5N0seBcD9u5554rFNTsnOLhd+/SrTLCgiMEUeSkcRDRgLqJ2V5x6aETMXYoS1WOiuPHJmbB0MFMB/rQVa6p5rYXMx+3P+QPCkO1AiJEq/KMAtq8QNW+bNmRosdcfDCDEk8P1ivpmgvD+iKV82vGnySf/VVy/xyKFOHLDOgHvTqZ5LfvLTrU/bWGT+el4Kz9TmTOvqEKcpnC+/gzSuAtFlGTDlJlmQqFzGkynOwo74d2k0aFoAwH85iiYiNwrEN+JT/rmExYe+XdsJWuga47/UpXR5lBsWEwF3fINi/KMhA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; arc=none Received: from DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) by AS8PR02MB7287.eurprd02.prod.outlook.com (2603:10a6:20b:3f3::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9745.25; Mon, 30 Mar 2026 15:49:59 +0000 Received: from DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261]) by DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261%3]) with mapi id 15.20.9745.024; Mon, 30 Mar 2026 15:49:57 +0000 Message-ID: Date: Mon, 30 Mar 2026 16:49:55 +0100 User-Agent: Mozilla Thunderbird From: Carsten Fuhs Content-Language: en-GB To: types-announce@lists.seas.upenn.edu, cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr, caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr, SREPLS@JISCMAIL.AC.UK Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: LO6P265CA0027.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2ff::13) To DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DU0PR02MB9465:EE_|AS8PR02MB7287:EE_ X-MS-Office365-Filtering-Correlation-Id: 5db8447b-a9a9-4963-7eff-08de8e73fe23 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|366016|1800799024|786006|56012099003|18002099003; X-Microsoft-Antispam-Message-Info: UlcObq8D9g5CAnipIgfYSp3ACOotFNBnrQWwzNtGCR14mZzD+huYNELcyIxDDeewgntI2dvO1KhD/d3BJf5qUiD/zTSXHaHSHPEfko2x3iTkxGpC5HwtUIyCV4/a92duJLQH5wGjYEv4nvrt5EwrIqoNgmC+5ye1vr5OO/i+IgTMPjCYQdyoAmM8tmpPAXLrkUi9QqN9+fRzG7kjxNBJTMwupxJFUEMP6397lYvHkO+S8SxEB3m5NogrcFntwhFZWI6vqVxw17vSC9ldh8uwhiONuA3UvVFof+iBEotbV6Kw2D+MBUAUYFnJf6xtw2bnS7+rZphEW+JwyAQ97Xvw5j7tAd274oBkEaY4emBYmJcTyKV1EKXy71IkzipHHHiqsijgJnAguL2AmgCQE3WivYOnm9X03WnbJoyuN8qKT7eP9IKQrQTGbUszSevugBTYXqxXXbAux3Tg0XZJ8iY1WhetDT22ke/KRSkrt1UfYi2mzPXfwP03pm6Dd6suziJNVwQdbtb1wk03PIgGAoYT3JvBV7rV5AMZgSMXDa21BGEV11hSxdFNaK9ScmQusyI4MSKU4CQ/+fIfGONRt5UDsV5x0zR542VMumjvxvArLZRnWe2INItuBHay/RJwatLoKK0oR/XzZvsZT3rC0WU7ezMDtO5qRlMRpxwi6nose+UFkOraJaHeNza/k3EIE4H2BUKJ7IcOcUwrSrfGWIArzJgAn8YwXL8jpMPx7POgwCM= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DU0PR02MB9465.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(366016)(1800799024)(786006)(56012099003)(18002099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?RGpCbmRxaUd4TTVQMy90WFlBbW41aTNtZzhsQi80dzVxSjNyOTZ6YjNaZ0Nv?= =?utf-8?B?TUpadWVQcyt3ZWpYNjJGMGZLQWkvTTNZNXdIV3c5MXljSHI1aUN6SldEVnRG?= =?utf-8?B?QVQzNGhnNjladmNsQllublZWZVBnanhwbWdYOHVSaDF1NkdEaEI5ZGtNQnZ1?= =?utf-8?B?OCtrRnBjaFRBM1FwZTRBSzlHTWNtOTN4ZHFwMmFJZDczcVo5QlFsK25BYUsr?= =?utf-8?B?Z2ZzK2FHOGY2R0RzZjB5QytBYzREVXFFNUpEaHNhUzZiQVUrdnVwRGMraVE4?= =?utf-8?B?TDdTcXIrZTFEMXBkWGNMeWdrWGhhZ1dUSjEvWmcwaXc0ajBQOGtPVWs4RC9U?= =?utf-8?B?ZHdDV2I1NWJtMUtJUjV5RklyVnFsZUJwTjVKZjhxWDIzWHUwTERVa0d1MzZj?= =?utf-8?B?ZHFvd0ExU2tQTEZETHgvKzMxT0ErNW5wZHoyc1orL0tXK1BhcWZ5akMzb1Bq?= =?utf-8?B?NlNtSEpZQ0RaQ2NjeUxaZEcyd3lGQ2RUdThzNkFFWGdIVnFLeVp2ZXdBaS9s?= =?utf-8?B?UXpkZ3F4bk1ZNUhzSFFYK09HTmRQUkVFWlNJd0EzdFZoM2ZJQnBDQUQ1cUdS?= =?utf-8?B?YXRkVGJEcGs4Mm1CUVQ0dFRiQmNIdW9QejBWNW1OTTlrRlhHUnIvdWZRYXRr?= =?utf-8?B?UDdMWGk1dmllVGFYWFlQRWwrZng3OFc1QW5BYkpDeGcvVmRlN0ZXU1hIbFN5?= =?utf-8?B?TXpmR1BOc2wxOGFjSmR2bkpGNktVUVhjQURIcUxzdnA5NFM1WndudlNYcmxn?= =?utf-8?B?VjlFSVFHS0ZxTXl2QWkrMEEyZzhheXRCemlsOWRyNzZFUGZwbjVrRWI3VlVr?= =?utf-8?B?LzN3ZGZWTGUybHhHSlRhcHpmSzg5eXZ2dHVKdnBiUHR6azQxWDl2NUV4WmJN?= =?utf-8?B?eFcrU0JzcnA2RjFLRmFBSm5zNllGNi9UYnE3UVRMd3liM3psNm5HTFVvK1NB?= =?utf-8?B?Z2k3NTFoNFVxSE9lcmt0ZWppUVBXS3BpZGZ4b1B4NzNadUl1VjdxbG1naVF2?= =?utf-8?B?MVhwMkdEellIUGpDY1Ztb1J1WFE1bStIdks4U3Z5a2RTYkw3VHVCTGtOOCtK?= =?utf-8?B?dnlqUlladGNpekV2RTlodVlmeHdJYy8yTUJyZUU2Wi8xNjh5WGpFUTlZTExL?= =?utf-8?B?Q05OUUNHTVlSNFhES1NIbVZKQmdTK2orRDlFTWtFWkVlUGpUN1dtOXM1Yy9z?= =?utf-8?B?cHQySllKM0NjY3JYVzg5R2NBRVc0ZHJTbkZwSWsrRzI2SHo2QnNEN2oxaFkr?= =?utf-8?B?MEhNOFZpQVBRMVhEUktES1Y1U2hVUFJua2NpTnlUSTZVdjJwQ2M5N05rdWM0?= =?utf-8?B?UGswd3gxNFB3TzA0aFM1dGRGdUNoYVlkZ0diRnZOYWxmWGZQSE9hdTV0Nm8r?= =?utf-8?B?Y05NYkFkRXNRdEJKc0NVR3ZFa0MyTW1PNW11VVhWQTI3MXc0UjBENWd5d21R?= =?utf-8?B?UEM2ejByakVMbEkvZjlsKzZRRXJpV0luQWhDYjdIWHo3Uks2VE1WaDJJOUxN?= =?utf-8?B?WXNWa1RONUJmZENRVFQzTU5DdzY4alJRR1NaeGRERWZ2VUR3UFRBZytSc3Ar?= =?utf-8?B?YTBuajBiazcwclRoT1pPUTBFWisvWFJTQjVFSHc5bk13UkpURnVjQ2tIbXY3?= =?utf-8?B?TjBuUTN2R2xHeHNKMmdBMHlrcnFjV0JVc3RJSG9QdWhMejdmdTFpaWs0TUth?= =?utf-8?B?NnN0anYzNHp6aHZZMXlXdTkvTWQ4TlVCdVZQZ2c5a01xbUx6Um1NUCtZUTNK?= =?utf-8?B?alNYVjhJT3M2RjFJOXA1YzRDTFJHQ3FmRGVSWEpYTFArL1lFQ1Q3a1ROZjIy?= =?utf-8?B?TklRd1ZpUVRsd0daRmV0Zi9oTVJ4NEFGOStkekJqdGw3anU0RFpMTE5zMTVU?= =?utf-8?B?cG52ZDh0QjNHMGVSUkh1eG5GTnFFTzNQTmliSTkxVWVGaDJvTDhQQzRHVTBa?= =?utf-8?B?VlBTUXJuaFRJM3laTkNIaHh0TEdhMEZrNkZVSEErOW43bUx5djFKZGRsRlkw?= =?utf-8?B?OU1jdDZ3SU8zVFhPUkQvMkZpN1hXYnFoUDNHZjFFRXlqSi9xZkhZckxaUVhN?= =?utf-8?B?WEFYOG8xTXhmNkFOYTZqSVJEeVRLTTI4NnVUMWdpcmtXZERYQUFhVGtBUXRl?= =?utf-8?B?Z2hSbVVQallRSXc3a2RYVVBCTjZFNVVIYzRoZ2Z1b3E5aFByU0lIL1ZkaDFs?= =?utf-8?B?Q2sxZ3BGSDVBMjJFa3NTbFdSU0lpZjg5c1dXMlU4dG9HZW1vWjloZVozMUdu?= =?utf-8?B?a1dvZCttUTFpN2Fncjhwb3V6enlNbFpuYXFRRDdoWkd0K3FFNndIMlRXajR1?= =?utf-8?Q?mi7I72ZAyC2uxoMwFy?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 5db8447b-a9a9-4963-7eff-08de8e73fe23 X-MS-Exchange-CrossTenant-AuthSource: DU0PR02MB9465.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Mar 2026 15:49:57.0282 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 89d07f47-d258-463c-8700-635ffaeca38e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: mCf3AeEyLw5krLTfJ3yL1Re9Lu2iUNr9rCUm7sYT5+iEFAkGlZlrQE7jA0zJB3q+d0Db/KViuYgpBfRBBtye4g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR02MB7287 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] FSCD 2028: Call for Location Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19480 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: (Apologies for multiple copies of this announcement. Please circulate.) --------------- Call for Location for FSCD 2028 The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical foundations to applications. The annual FSCD conference comprises the main conference and a considerable number of affiliated workshops (expectedly, more than ten). We invite proposals for locations to host the 13th FSCD International Conference in summer 2028, with a preference for end of August/beginning of September 2028. The deadline for proposals is *** Sat, May 23rd, 2026 *** Proposals should be sent to the FSCD Steering Committee Chair (see contact information below). We encourage proposers to register their intention informally as soon as possible. For 2028, the Steering Committee would prefer that the conference takes place either during the late August or very beginning of September (i.e., weeks starting on August 21st, August 28th or September 4th), but other dates in July-August will also be considered. Previous (and upcoming) FSCD meetings include: FSCD 2016 in Porto (Portugal); FSCD 2017 in Oxford (UK) co-located with ICFP 2017; FSCD 2018 in Oxford (UK) as part of FLoC 2018; FSCD 2019 in Dortmund (Germany); FSCD 2020 in Paris (France) co-located with IJCAR 2020; FSCD 2021 in Buenos Aires (Argentina); FSCD 2022 in Haifa (Israel) as part of FLoC 2022; FSCD 2023 in Rome (Italy) co-located with CADE 2023; FSCD 2024 in Tallinn (Estonia) co-located with LICS 2024 and ICALP 2024; FSCD 2025 in Birmingham (UK); FSCD 2026 in Lisbon (Portugal) as part of FLoC 2026; FSCD 2027 in Nijmegen (The Netherlands) co-located with CADE 2027. Selected proposals are to be presented at the business meeting of FSCD 2026 taking place in Lisbon in July 2026. The final decision about hosting and organising of FSCD 2028 will be taken by the SC after an advisory vote of the members of the community in attendance at the business meeting. Proposals should address the following points: * FSCD Conference Chair (complete name and current position), host institution, FSCD Local Committee (complete names and current positions), availability of student-volunteers. * National, regional, and local government and industry support, both organizational and financial. * Accessibility to the location (i.e., transportation) and attractiveness of the proposed site. Accessibility can include both information about local transportation and travel information to the location (flight and/or train connections), as well as estimated costs. * Proposed dates: preferably late August or very beginning of September (i.e., weeks starting on August 21st, August 28th or September 4th), but other dates in July-August will also be considered. The dates should include allowing 2-3 days before and/or after the main conference for affiliated workshops. (Please also take into consideration holidays or local events during the period). * Estimated costs of registration for the conference and workshops, both for regular and student participants. * Conference and exhibit facilities for the anticipated number of registrants (including all workshop participants, typically around 200). For example: = number, capacity and audiovisual equipment of meeting rooms; = a large plenary session room that can hold all the registrants; = enough rooms for parallel session workshops/tutorials in the two days before and the two days after the main conference; = internet connectivity and workstations for demos/competitions; = catering services; = presence of professional staff. * Support for hybrid attendance to the conference. * Residence accommodations and food services in a range of price categories and close to the conference venue, for example, number and cost range of hotels, and availability and cost of dormitory rooms (e.g., at local universities) and kind of services they offer. * Other relevant information, which can include information about leisure activities and attractiveness of the location (e.g., cultural and historical aspects, touristic activities, etc...). Contact information: Patrick Baillot patrick.baillot@univ-lille.fr FSCD SC Chair