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=absKnQ8+; 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 CDEB340087 for ; Wed, 25 Mar 2026 08:24:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:reply-to:mime-version: message-id:date:to:subject:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=dcO60n4s6MbAAFEBLTqYlOzkeXxRuaftz9AHSpO2VoM=; b=absKnQ8+Ps5rKUTYeH2fugUQ5b8yJd4qk8ReqgzgtanKZXQ6Du7jm7XP GD9hddNOzPOYy2W/NON7iixa750wdzKoJLQOCEG+8RdlEMiPClQ2ocKx6 CPH+CP2LNau0lp2/xPaF99MhcekmRxJ1kZnpCbU9DDtQRXbg1rdYIXG/M k=; X-CSE-ConnectionGUID: JQ7/7aJyRzCH/TfTM9SdSw== X-CSE-MsgGUID: DLE74YCNQyK1cYzwnjEqgw== 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,139,1770591600"; d="scan'208";a="269374952" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Mar 2026 09:24:20 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 5CB6D81692; Wed, 25 Mar 2026 09:24:19 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 0FE5681616 for ; Wed, 25 Mar 2026 09:21:24 +0100 (CET) X-CSE-ConnectionGUID: CTAvd6/UQfKIMmd67vi+og== X-CSE-MsgGUID: BO+gw9F1TR6FOnaZM5mQlg== IronPort-SDR: 69c39af5_6HdOOhpbdDYvdPSRQerHCRx/PwVkmZHIkbqc7Qn2LvEAw78 dw0qzkxkbh467pRjLI4o7teEQmxz71TBo3ijO7A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GmAgC9msNpj4o9/sJahEdTQQFFYTEEC0mEWINPhSyGW?= =?us-ascii?q?IIhFIQqm14PAQMBCwEBNxcBAgQBAQMBA4UAjSYCHgcBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABAQEBAQE5BUmGFQgyDYJbO4IWL?= =?us-ascii?q?EEqAUIGHQEBJAISJg4CGA4Cg3MBgiICBEsEA68rgTKBAYIMAQEGgQiBSBjZQ?= =?us-ascii?q?oFnAwaBHy6Fb4JmAYV1hSEPgVVEgRUnG4I1gXaDGTqDRjqCL4IRFXoUgXmHH?= =?us-ascii?q?nqHZAcHOidFFhwDWSwBVRMNCgsHBYFmAzUSKhVuMh03bD4XNFgbBwWCBA+CV?= =?us-ascii?q?Id6gRODYkAJAwsYDUgRLDcIDBsEPgdCHQgHA4xRM4JLTAwiCCETgQUFNAkKA?= =?us-ascii?q?R8tLZMYnimUWzQHgh6CAYFeBgyKLpVUBCMMhASHF4x+hAiNQoEIiAORA44Jl?= =?us-ascii?q?VoIAhNZAYQ8AgQGBQIXAYFDPCOBXDMaJytLAYElgRc/EAMZD1Z2jGwChSXHX?= =?us-ascii?q?0QzPgEHAgcBAQoBA4Fzg1sBAQGMVmtgAQE?= IronPort-PHdr: A9a23:/AOE/BXJ8VXZEnoTQ7H00xnWSbjV8KzmXzF92vMcY1JmTK2v8tzYM VDF4r011RmVBtmds6oP0LCN4v2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBJGvFadXHVGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfucQam5duJro+xhbHvHdFdeBbyGN1Ll+Pghjw4du985Fk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmsZihRHDBHJ4Q/1UJnsqif1ufZz1yecPc3tULA7Qi+i4 LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQ2dKQ8RfWDFbAo6kb 4UAE+UPPfxXoIfgpFUAowWwCw63CePz0z9Ig2P63a0m3+kjFwzNwQwuH8gJsHTRtNj7Kb0dU fqvw6nI0D7Mb/JW2THh6IfWaBAqvPaBXalqfsrL00YvFxnJj1uRqYzjIzOayP4NvnOa7+p6V OKvhXQrqw9rojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjf9KqEIVcuj2UOYdrQs0vXWNlt Dg1x7MGpJO2YigHxZA5yhPRZfKKc4iF7x3tWuuTITl1i3Nodba9ihuu8UWtzuvxXdS63lZNq ypKiNjMtnYV2hzS8MiHS/V98l2v2TaV0Q3Y9+JKIVgsmKbGL5MszaQ8moQTvEnMBCP7mVj6g LWLekgq+eWk8/rrbq/7qpKSLYN4lw7zP6o0lsCiAOk1Mw4DVHWB9+umzr3s50j5Ta1KjvIol qnZt4jXJcccpq6jBA9V1pgs6wilAze71tQYnGcHIEtdeB2dlYjpOkrOLfLiAfexmVSgiDZrx /bYMb39GpjBM3zOnbj7cbpj60NRxxA/wNFC655OF70MLvH+Vlf0tNPCDx85NwK0w/zgCNV4z o4eQniAArWDP6PSq1OJ6OMvI++QZIALojbwMPkl5+TvjX83g1Mdc7Op0YMNaH+kBvRmP1mZY X30j9gdC2gKuw4+QPXuiF2DSj5Te22/X7k85zE+EIKpF53PRoGrgLyb3Se0BIdaZm5cClyUF 3fnbJ2LW+0QZyKKPs9hjjsEWKC8R4M52hGhqgj6xbl9IOfM+iMWqYrv1MJr6O3Nlh887yR5D 8ea02GXSGF0mn0HRyEs0KBip0x9y0mD3bFgg/NCD9xT5uhJXwUgOZ7S1ex2E839WgHAfteMU FuoWtqoDj8vQNwt39IAZV5xFMinjh/ZxSqlH6cYmaSSCpIs/azQx2PxJ95zy3vezqcsk0QoT NZXOW29nq5/+RDcB47XnEWdkKanbbwS0jfV+mmMniKyuxRTWQt0FKHERmw3Z03MrN2/6FmRd bK2DaUbNV5Ex8WZcPMQNPXol1RIAvn5a/rEZGfkoG6qDBbA+bKKcIfwMzEG1T/UCA4bkgYP8 GyuNBI/CGGvuTSNX3RVCVvzbha0oqFFo3ShQxpsp+nrR0ho1r7uvwUQmeTZUPQLmLQNpCYmr TxwWle7xdPfTdSa9EJ6ZKsJR9Q77R9c0H7B8RRnN8m7JrprhhgBcgJrslnG1g92BMNOi5tit 2skmTJ7MrnQy1Zdb3Wd1JH0NKfQLzzp9Qqma+jJ21fC3cy++70O5rI2sQarpxmnQ2wl9Xgvy NxJyz2c65HNWRIVSo70W10r+gJSpLbAZS0w+cXJ03xydLG9qD7ZhJQnHoPJ0z6GeNFSeOOBH Q72SIgBAtS2bfctgx6vZw4FO+Zb8Og1Odmnfr2IwvzjOuEohz+ggWldheI1mkuR6ypxTPLJ1 JcZ0rmZ2AWATTL1kFamtIj+h4lFYTgYGmf3xzLjAcZdYah7fIBDDmnLQYX/3dxkjp6rRH9e6 FO5L1Ic2cHvdwDTJ13x0AtM1FgG9GS9kHjwxDh1njc166uHiXWfn6K4KUZBZDcNHTIy3jKOa cCugtsXXValdV0snRqhvgPhwrRD4b94Ny/VSFtJeC7/KydjVLGxv/yMeZ0qittgvCNJXeC7e V3fRKT6pk5QyCr5FmsY2zE9azywkpTjnhI8hnjXfxMR5DLJPNp9wxvS/omWXvdL1zpAWyh+l TTNLlmmPtfv88/exPKh+qiuEmmmUJNUayziy4iN4TC66WNdChq6h/mvm9fjHGDWyAfD3sJxH WXNpRf4Oczw0riidPlgZg9uDUP97MxzHsd/lJExjdcewypSipKQ9HsB2WD9VLcTkbn3dnMNA yEKxcLY+iDkwkxtaHyTj470TXSSxMJ9asLyOzJKnHhgs4YUUeHNt+wMlDA9uleiqAPNffVx+ 1VVgeAj7nIXmaBBuQYgyDmcHqFHGEBZOSL2kBHbp9u6rahReCOuae3phRY4x439Su/b5FgHC CWcGN9qByJ748RhPUiZ1XTy7tqhY9zMdZcIsQXSlR7cju9TIZZ3l/wQhCMhN3iu2B9tg+M9k xFq2om3+YadLGA4trmwGBdYcCL0Yd8e4Bnsl6dQ2MiMldPKfN0pCnAQUZ3kQOj9Wikbr/3nc RmPFiExsF+aA7vRWwGFohQDzTqHA9WgMHeZI2McxNNpSUyGJUBRtwsTWS0zgp8zEg35jNyka kpy4Sodo0LpshYZgPw9LAHxCy2MwWXgIidxUpWUKwBaqx1P91uAe9LL9fp9Rmld7tX2pQiJY AR3fixuCmcEEgyBDlHnZfy14MXYtvOfHqy4JufPZrOHrapfUe2JzNShyNku+THELciJMnR4a p9zkkNeQXB0HdjYkDQTWmQWkSzKdcuSuBa7/GV+sMm+9P3hXA+n65GIDvNeNtBm+hb+hqnmV abYnCFiNTNRzY8B31fLz6IY2FMMzTxodifoCb0atDWSCqzK2+dWAxMddyJvJZ5I4qY7jWwvc YbQjtL40KI9j+ZgUgYZEwa8xof3PIpTeDHuUTGPTFyGP7mHOzDRlsT+YKfnDKZVkP0RrBqo/ zCSD07kOD2H0TjvTRGmd+9W30T5dFRTvp+wdhF1BC3tVtXjP1egOcV+jXspwLsoi2niNHQdP 35yaQkey9/YpTMdmfh5F2FbuzB9KvKYni+C8+TCApURq/xvDzoyiuRb/jEiwqFU934CSuY/y 06w5pZ+5lqhlOeI0D9uVhFD/y1KiIy8tkJnIazF95NEVB4sEzoM92SeTRoQ9YIN4jjHurpRx J7BjvCrQN+j29HT58wYCtaSNcSGLj85OADoA2GSAhFXFVaW IronPort-Data: A9a23:JxIxRan0oDxZdvSsnPkiBc3o5gyELURdPkR7XQ2eYbSJt1+Wr1Gzt xIbDGCEO66NYWCkLox2bom08UgPv8PXz4BjQARkriw1H1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfjYwP9TlK6q4m1A5QZiPa0jUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr8mK6ay3FK5Rv8oADezuMN1ApHAjyj6MWJ7KQbibK0nLzdxfxjA0i94IAPDfe Y8BYCBud0uGbQcn1lU/UcNi2r312j+hKnsB8wL9SakfuwA/yCRq2aLkMJzKe9qWSN99n1yZq CTI5QwVBzlDaIbFl2LUqi3EaunntwS4V51DOuSEzKBEp1ua9ElODSQSWg7uyRW+ohfiCoMAe xN8FjAVhaM78UjuStjmQzWjsXuct1gdXcBRGqs08mmwJrH84AGDAWwJUHhcbt048dc/Xz0xi RmHhbsFGACDrpW+dVuD+unTkAq8GgkwKGNcOjEFDgwKtoyLTJ4Isv7Zcjp0OICP5uAZ+A0cI RjV8EDSZJ1J1abnMplXG3ic3lpAQbCSE2YICv3/BD7N0++ATNfNi3aUBafnAQZoddrIHwbR4 xDoauCE4eYHEZyX/BGwrBE2NOjxvZ6taWSE6XY2RslJ32r2oRaLI9sPiAyS0W81aa7ojxe1O xeL4Wu8JfZ7YBOXUEOAS9vhVph1lfa7TImNuzK9RoMmX6WdvTSvpElGDXN8FUi0yyDASIlmY 8rHI/W/R20XE7pmxzeQTuIQm+1jjCMnyG+ZAdixwx272PDMLDSYWJUUAmuoN+oZ1aKjpBmK0 tB9M8DR9Q5TftejaQbq8KkSD2swE14FOb7Mpfd6TNWzejhdJDl5Ctv6468QRIh+rqEEysbK5 i6cX2Fb+nrehFrGCx2Bb3RmTLbdTLd+snMJEig+Nnm423UYQNiO7YVOU7AVbLUY5OhY4vosd MY8euKEGeVpdjTL3x8/fKvNhtVuWzrzjD3fIhf/RiY0eqBRYjDg+/jmT1PJzzYPBC/mjvkOi eSs+S2DSKVSWjk4Ktjdbc+u6FaDvXI9vuZWdGmQK/lxfHTcyqRbGxbTvNQWff5VcQ7iwwGE3 Tm4GR0b/OnBg7Ek+enz2Jyrkd2bLPtcLGF7QU/g8reEBQvL9DGCwKhBctqyUxLzaWfWwJimN MJpl6zSEftfh1tbkZtOI5Ayx4IE2tbfjbt7zANlIXb1U2qWGo5Qekeh480emZBOl5l4uBS3U H2h4tN1G6uEE+K7HU8zJDgKVPWi1/YVkwnw9cY0fUDx5Q5s3b+9SU4JFQK9uC9cC7pUMY0e3 uYqvvAN2TG/khYHNtWnjDhe0maxckw7TKQss68FDL/RigYEzk9IZbreAHTU5K6jRsptME5wB BOpn4vH2qphw3Tdf0oJFXTi2fRXgbIMsktoyH4AP1G4pcrXtMQo3RF+8SUFcSoN909pi9lMA 2lMM1F5AY6s/D0y3chKYD2KKjF7XRac/hT89ksNmGjnVHKXb23qLlAmGOOz7UsconN9fD9aw emi81zbcw3WJeP/4ihjfnReia3Hbcdw/Qj8isyYD5y7P50lUwHE3I6qR0Q18iXCP+1gpXfph +dX/9hJVYP/CBIBgrYaDtCa3IsASRrfK21lR+pgzZwzHmrdWW+T3DyfIn+AZ/FLBv3u2m27A vxIOchgeUmf1iGPjzZDHo8KAeZ+s8AI7eo4WIHABDA5oZrGiRQxq7PW1Cz1pFFzcuVUicxnd 7/gLWOTIFKflV5/ujHrrvAdHkGafNNdRgn3/N7twdUzD5hZ7d1dKxAj4ICV4UeQHhBspS+Pn QX5YKTT8exu5KJsk6boEYRBHw+EEszyZsvZ7DGMt8lyUv2XPffsrw81rnzVDzZSN5YVWPV1k u2pm/zz10Xnor03cj74n7+sKqp33vixDdFnap/PEHpnnCW5SJDN5TkH8DuGMpBnqo5WyfSmY AqaU/GOU+Apde1T/1BrThRPMg08Dv33Z5jwpCnmoPWrDAMc4DP9L9im1CHIaH1FfSpZIK/OO xL4hKu26tEBs7V8JgcPFfp7MZlZIXvIe6gvR/vuvxa2U0iqhVKjvOP5tBwCsDvkNFiNIPzY0 7nkGCfsUQuUk77Z6u1Zv6hZnAwlPFwkjcYeJksiqsNL0RakB2s4HMEhGJQhCKAMtBft1Zv9N Qr/XEF7BQrTBT17IAjBuvL9VQKiB8sLCNfzBhot22i2My6WJoexMIFNxxdawUVdW2Xclbm8C NQk5HfPEAC7wchpScYt9/WLu7pb6c2A9E0Y23LWspLUOAkfM4UoxXY6PQtqVA77Ke/vunjPB 1AIQTFjfBnmZ2/3SMpuQisAUlVR9jbi1C4hYiqz0c7S8dfThvFJzPrkffr/yPsfZcANP6QDX m7zW3DL2W2Nx3gPouE8jrrFW0Ov5S6jRaBW7ZMPRDH+W4mz7X4gO84c2zcJTd9n4AdFEkiC0 De2i5T76IJpN2gJsIB6Cy1Qk36ybp7IJzDTjQC5qyWufdkR0Y3CYxbzpO7kAciYlkUg1nm0h B8Tdkef5VOM3NchSf+SqdxDzmG67Qot+bUon8zmol4eUvthdYOFKI1c7g== IronPort-HdrOrdr: A9a23:BSMMAaqWOIrTa4Cg2NC+fnkaV5q7eYIsimQD101hICG9Ffbo9f xG/c5rtiMc7Qx8ZJhOo6H4BEDtexPhHOBOkO8s1MaZLW3bUQKTRekIh+aNogEIfReOk9K1vp 0QFJSWZueAdWSTAqvBkXPIburIuOP3i5yAtKP7z3JxQRpnZshbnnsJdTpzzXcYeCB2QZl8Hp uf4sJGon6Nfmsaa8KjH3VtZZm81qz2vaOjYloNBhwi4AmKyQmj7qX3eiLormZsbxp/hbRn+2 nGlwT44+GYrvmn1gW07R6gnuFrpOc= X-Talos-CUID: =?us-ascii?q?9a23=3AD+ySVGnJdZcgLNxBSRUYxpJspVjXOVbh5WncfQi?= =?us-ascii?q?FMGhKaZiQRQHP5qInlMU7zg=3D=3D?= X-Talos-MUID: 9a23:8JKPvQT6a3SZG1JoRXTGo3JtK5ZGupiUVm4ql5w0npSBDCh/bmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,139,1770591600"; d="scan'208";a="142260907" X-MGA-submission: =?us-ascii?q?MDGPV0G7ONbOWAo0pe8NnTvBBmSiip8Jx/g379?= =?us-ascii?q?q+JjAfmOJRPMfr81BXSKH2MQj0U8qde9yniZXX4mLaOv0VUhShohtKxf?= =?us-ascii?q?Iv861WtbCcf16xsnXa2hG0nnFBlKdgElt6IsBQoA/oAuYC+PaCL77iDE?= =?us-ascii?q?6YOCksRRBsdDm/moV0ywqQyQ=3D=3D?= Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Mar 2026 09:21:09 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 62P8L8EZ032149 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Wed, 25 Mar 2026 09:21:08 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id 62P8L8xO029931 for ; Wed, 25 Mar 2026 09:21:08 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 5610A96166 for ; Wed, 25 Mar 2026 09:21:08 +0100 (CET) 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 2hvoxOZHKitW for ; Wed, 25 Mar 2026 09:21:06 +0100 (CET) Received: from smtpclient.apple (arennes-662-1-7-166.w2-13.abo.wanadoo.fr [2.13.143.166]) (Authenticated sender: winter) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id D63DE96306 for ; Wed, 25 Mar 2026 09:21:06 +0100 (CET) From: Sarah Winter Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Reply-To: mfcs2026@irif.fr Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3864.400.21\)) Message-Id: Date: Wed, 25 Mar 2026 09:20:56 +0100 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3864.400.21) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Wed, 25 Mar 2026 09:21:08 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Wed, 25 Mar 2026 09:21:08 +0100 (CET) X-Miltered: at korolev with ID 69C39AF4.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 69C39AF4.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 69C39AF4.000 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 69C39AF4.001 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 : 69C39AF4.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 69C39AF4.001 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham X-Validation-by: sarah.winter@irif.fr Subject: [Caml-list] MFCS 2026 - Second Call for Papers X-Loop: caml-list@inria.fr X-Sequence: 19476 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: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D MFCS 2026 - Second Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D The 51th conference on Mathematical Foundations of Computer Science = (MFCS) will take place in: Paris, France August 24th-28th, 2026 MFCS is among the conferences with the longest history in the field =E2=80= =94 the first conference in the series was held already in 1972. = Traditionally, the conference moved between the Czech Republic, Poland, = and Slovakia; since 2013, the conference has traveled around Europe. The conference will be preceded, on August 23, by the Young Research = Forum Workshop intended for students and postdocs. NEW: Up to 10 papers will be accepted by the program committee, for = which no presence onsite is required. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Important dates and information =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Submissions: April 24th, 2026 Author notification: June 19th, 2026 Camera-ready version: June 26th, 2026 Conference: August 24th-28th, 2026 (YRF Workshop on August 23rd, = afternoon) Deadlines are firm; late submissions will not be considered. All dates = are AoE. Conference website: https://mfcs2026.irif.fr/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Jakub Orp=C5=A1al (University of Birmingham, UK) Damien Pous (CNRS, ENS Lyon, France) Noga Ron-Zewi (University of Haifa, Israel) Tatiana Starikovskaya (ENS Paris, France) Ryan Williams (MIT, USA) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Submission guidelines =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D 1) Papers must present original research on the theory of computer = science. No prior publication and no simultaneous submission to other = publication outlets (either a conference or a journal) is allowed. = Authors are encouraged to also make full versions of their submissions = freely accessible in an on-line repository such as arXiv. 2) Submissions take the form of an extended abstract of up-to 12 pages = (LIPIcs document class), excluding title page, references and a clearly = labelled appendix. The appendix may consist either of omitted proofs or = of a full version of the submission, and it will be read at the = discretion of program committee members. The extended abstract has to = present the merits of the paper and its main contributions clearly, and = describe the key concepts and technical ideas used to obtain the = results. Submissions must provide the proofs which can enable the main = mathematical claims of the paper to be verified. 3) Submissions authored or co-authored by members of the program = committee are allowed. 4) At the time of submission, authors may declare that they are unable = to attend the conference in Paris and therefore cannot give an in-person = presentation. This choice will not influence the evaluation of = submissions by the Program Committee. The Program Committee will rank = all papers irrespective of their presentation status. Approximately 80 = papers will be selected for in-person presentation, and up to 10 papers = will be accepted without presentation. All accepted papers will be = published in the same proceedings. This option is intended for authors = who wish to publish their results at the conference but, for various = reasons (e.g., family or financial constraints), are unable to attend = the conference in person. 5) At least one author of each accepted paper with presentation is = expected to register for the conference, and give the talk in-person. At = least one author of each accepted paper without in-person presentation = is expected to register for the conference for a reduced fee, and for = each such paper the authors are expected to provide a pre-recorded video = of the paper presentation that will be made available on-line during the = conference. (Pre-recorded videos of the other papers are optional.) 6) Papers authored only by students should be marked as such at the time = of submission in order to be eligible for the best student paper award. 7) MFCS proceedings are published in the Leibniz International = Proceedings in Informatics (LIPIcs) series. The camera-ready version of = accepted papers will need to comply with the LIPIcs style. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D MFCS 2025 Programme Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D Michal Kouck=C3=BD (Charles University, Czech Republic) - chair Daniela Petri=C8=99an (Universit=C3=A9 Paris Cit=C3=A9, IRIF, France) - = co-chair C. Aiswarya (Chennai Mathematical Institute, India) Christel Baier (Technische Universit=C3=A4t Dresden, Germany) Ivona Bez=C3=A1kov=C3=A1 (Rochester Institute of Technology, USA) Markus Bl=C3=A4ser (Saarland University, Germany) Achim Blumensath (Masaryk University, Czech Republic) Martin B=C3=B6hm (University of Wroc=C5=82aw, Poland) =C3=89douard Bonnet (CNRS, ENS de Lyon, France) Joshua Brakensiek (University of California, Berkeley, USA) Andr=C3=A9 Chailloux (Inria de Paris, France) Panagiotis Charalampopoulos (King's College London, UK) Lorenzo Clemente (University of Warsaw, Poland) Ugo Dal Lago (University of Bologna, Italy) Debarati Das (Pennsylvania State University, USA) Samir Datta (Chennai Mathematical Institute, India) Jakub Gajarsk=C3=BD (Masaryk University and University of Warsaw, Czech = Republic/Poland) Anna G=C3=A1l (University of Texas at Austin, USA) Sumegha Garg (Rutgers University, USA) Mayank Goswami (City University of New York, USA) Florian Horn (Universit=C3=A9 Paris Cit=C3=A9, IRIF, CNRS, France) Du=C5=A1an Knop (Czech Technical University, Czech Republic) Hanna Komlos (Max Planck Institute for Informatics, Germany) Stephan Kreutzer (TU Berlin, Germany) Bruno Loff (University of Lisbon, Portugal) Wolfgang Merkle (Heidelberg University, Germany) Igor Carboni Oliveira (University of Warwick, UK) Krist=C3=BDna Pek=C3=A1rkov=C3=A1 (AGH University of Krakow, Poland) Thomas Place (University of Bordeaux, LABRI, France) C=C3=A9cilia Pradic (Swansea University, UK) Jakub Przyby=C5=82o (AGH University of Krakow, Poland) Colin Riba (ENS de Lyon, LIP, France) Kilian Risse (Lund University, Sweden) Robert Robere (McGill University, Canada) Micha=C5=82 Skrzypczak (University of Warsaw, Poland) Pawe=C5=82 Soboci=C5=84ski (TalTech, Estonia) Henning Urbat (FAU Erlangen-N=C3=BCrnberg, Germany) Pavel Vesel=C3=BD (Charles University, Czech Republic) Philip Wellnitz (National Institute of Informatics, Japan) Sarah Winter (Universit=C3=A9 Paris Cite, IRIF, CNRS, France) James Worrell (University of Oxford, UK) Standa =C5=BDivn=C3=BD (University of Oxford, UK) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D