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=mmsRcCIo; 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 9C572400A6 for ; Fri, 23 Jan 2026 15:24:02 +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=47YDHiFGEBgSJ6nW5PtViQLNnMrDY4X6f+6XYifvupw=; b=mmsRcCIoGuQ+ZOH4N9sk8MGt7j4C9dk/PjqzOTVnDjaV73bm0OgF8/0y Q6JopFhYAQ9tS0qT14uPv9p2hF1m+WaGPmGzcwcUT8PDFwRddEXFDiNQr Pc2utQxtbE3Da2xdmiTgeT7MBPmri+XXxQrRvwURRpTUa/95WDkCDmbjm o=; X-CSE-ConnectionGUID: fgAXaGOQSOetERlgBsxb4w== X-CSE-MsgGUID: BrSN+j/iTh6g6SjzuyG0Fg== 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.21,248,1763420400"; d="scan'208";a="260070841" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Jan 2026 16:24:01 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7C0A8820C0; Fri, 23 Jan 2026 16:24:01 +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 C6C62820B2 for ; Fri, 23 Jan 2026 16:22:34 +0100 (CET) X-CSE-ConnectionGUID: cJHTS3D9SxeTu7t2C00ZoQ== X-CSE-MsgGUID: ZYnu/i8JRXuruAKRt8Thig== IronPort-SDR: 6973923a_2mFliTbh5WawvSC1xtRltXih+Sj9AmQ+ykVTLgZz+VYumjk LNqNc1HJl/y/P+rEze6BXHzRhqRUihiHgcuSx7Q== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FkAwCRkXNpg4o9/sJagQmDPlNBAUVhMQQLSYRYg0+FL?= =?us-ascii?q?IZYgiEUhCqbXg8BAwELAQE3FwECBAEBAwEDhQCNDQIeBwEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBAQE5Bw47hhUIMg2CWzuCF?= =?us-ascii?q?ixBKkMGHQEBJAISJg4CGA4Cg3MBgiICBEsEA7EUgTKBAYIMAQEGgQiBSBjZQ?= =?us-ascii?q?oFnAwaBHy6FboJlAYVvhR8PgVVEgRUnCxCCNYF2gxk6g0Y6gi+CERV6FIINL?= =?us-ascii?q?wOLEoY1Bwc6J0UWHANZLAFVEw0KCwcFgWYDNRIqFW4yHTdsPhcyWBsHBWcKi?= =?us-ascii?q?HgPgliIOSEJAwsYDUgRLDcIDBsEPgdCHQgHA45sRIJGTAwiCCETgQUFNAkKA?= =?us-ascii?q?R8tLZMYnimUWzQHgh6CAYFeBgyKLpVUBC+EBIcXjH6ECI5KiAORA44JlVoIA?= =?us-ascii?q?hNZAYQ8AgQGBQIXAYFDPCOBXDMaJytLAYElgRc/EAMZD1Z2jGwChSXCM0QzP?= =?us-ascii?q?AIHAQoBAQMJhUUBAQGMVmtgAQE?= IronPort-PHdr: A9a23:LXYzMhadMGXL25P9PL5z1Zv/LTE12oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wOPBd2Qsq4V0LWempujcFJDyK7JiGoFfp1IWk1NouQttCtkLei7TGbWF7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4ogjdrNUajZdtJqosxRbEpnVFduZLzm50OFyfmArx6ci38JN/6Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nUTSmsZnQNEDhbK4h/nRpv+vTf0ueR72CmBIM35Vqs0Vii47 6dqUxDnliEKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAe94RWGhPUdtLVyFZAo2zc 4QBD/AOMuhFrIfzqUUAoxylCAmwHePvzyNEhn/q0aA41ekqDAHI3BYnH9ILqHnasc/6NL0IX uC10aLHzTTDb/VK2Tjj8ojDbxcsoeqWUrJqa8XRyVMjFg3EjlWWtYzqISmV2/8Ms2iB7upgW /iji2A9qwxopDWk28gjhJXTiI0P1lDE6Tt2wJwzJdCgVkJ1YcCoHYdeuS2HN4V7XMEvT39nt Sg617ALp562cSwUxZkpyRDSa/yKfoeG7B/hVOicLjZ1iXZndb+jhxu/9U6twfDyWMmz1VZFt CtFkt/Uu3AMzRzT68aHRuFz/ke73zuEygPd6vlcLEwpkafWJIQtzqAwm5ccq0jOHzL6lF/rg KKYdUgo4vak5/76brjovJOQKoB5hw/kPqgzm8GyAOI1ORUUUWeB4+Szzrjj8FX5QLpUiv02l bHUsJPdJcQBoa65BxFa0pg55xaiCTem0coYkWAfLF1fYhKHjpPpNlPULPD2F/ezm1WskDF1y PDaJrDtH5HAI3fZnLv/fbtw5FRQxQsuwdxF+p5ZBLIMLOr2WkDrtdzYChE5Mxazw+biENh9z ZkRWXiVDa+ZKq/Tv16I5uQzI+aSfo8Yozf9K+Ik5/7gl3M5l0UdcbGz3ZQLcHC4AuhmI0KBb HXwmNgBFGMKshM6TOzrk12CTSVeZ22yXqI5/jE0EpiqDYbFRoC3gbyOxj23HpNMZmxeDFCDC m/nd5+YVPcUdCKSPshhnyQZWbS5RI8uyxauugzgxbd/LuTa5jUUtYj929hr5OPdjwk/9T9zD 8SH1GGNS397nn0SSz8r2qB/oFJ9xk6b0adimfxYFMdT6vFTXgc0L57Q1/F1C9PzWgLEZtqHU FmoTdu4Dz8tUt8/xccCbFt4G9q4lBDMwzKnDacMmbKTC5I46rnc32D/J8tl0XjLyLQvgUQ+T stULW2miLZw9wjNCI7NlEWUj76ke70E0iDCpy+/yj+FtURcFQpxSrntXHYFZ0KQo86q3E7aS 66SDuEiPABak5bYdINLcNzny1tcF9n5P9GLWGurkmf4OheO2r6WJN7xcn8U3GPCCU4Ynho7/ GyHO04wHHHy8CrlEDVyGAe3MAvX+u5kpSbjJqdV5wSDbkk6kqGw5gZQnvuEDfUawrMDvi4l7 TRyBle0mdzMWJKbvwQ0WqJabJsm5Utfk3rDvllmN4apL+Z9h1gCfh5fvlnv2VN5ENYIitAk+ Usj1xE6MqeEyBVEfjKc04r3P+jMI3P7/FawaqjK10v20cyX9OEB8qdwsE3t6SeuEEdq6HB7y 59V3n+bs43NFxYXWIntX1wf9B9goLXXfG8g4YLKkGVlK6iv7XnMwbrFHcMDzRCtN5daOaKAT 0rpFtECQtOpMKoskkSoaRQNOKZT8rQ1NoWobanO3qnjJ+tmkD+86AYPqIlgzkKB8TZ9Qe/Uz t4Exf+fxA6OSzb7ih+orMn2nYlOYTxaEHC4zGDoA4tYZ6s6eohuay/mOMStz9U4mJ/rR3NC3 F+5Bl1A1tXoMRueYlrh3BFBgFwNqC/vki+5wjpo1jAx+/POgGqUnrikKkNBYzUbFwwAxR/2L IO5js4XRh2tZgktz16+4FrigrNcvOJ5JnXSRkFBe273KXtjW+2+rOnnAYYH5ZU2vCFQSOn5b 0qdT+u3uBIA2iOlAGpY2D0hXzCwu5u/kQYw2wf/ZD5j6WHUf81930KV/9XGTP4XwTsAWCRio TjNB1b6McPjrrD239/T9+u5UWymTJhadyLmmJiBuCWM7mpvGRSjnvq3l7ULCCAC2DTgn5lvX CTM91PnZ5Xzkr+9KaRhd1VpA1n174x7HJt/m80+nsNY1X8fj5STtX0J9AW7ec5Sw6v+KmUMQ yIG2fbU+gnrnkN5Zn6E3IP2UHyBz9ApPojmJDlLhmRjtoYTU/fc5acMhSZvp1uksQ/dBJo11 iwQz/cj8j9Sgu0EvhYs0jTIB7kTGUdCOim/3x+M7t24sOBWfDP2IOT2jhci2474SujZ8lI5O j6xYJopEC5u498qNVvN1Ca28YT4YJzLaspVsBSIkhDGhuwTKZQrl/NMizA0XAC19XAj1eM/i gRjmJ+gu43SYX5k5qu5RAFZMCH4fesS4DDjy6hE1JXzvcjnDtB6FzMHUYG9B+mhCjsS8+vmM RqDChU9sHaVX7TFV1z6ig8uvzfEFJalMGuSLX8SwIB5RRWTE0dYhRgdQDQwmpNqXhDv3sHqd 111oywA/lOt4AUZ0fpmblOsNwWX7BftcDo/T4KTaQZb/h0XrVmAKtSQt6p2D2kP95ml5mRhM 0S9YAJFRSEMU02AXBX4O6W2oMLH666eD/a/KP3HZfOPr/ZfXrGG38Dn1Iwu5DuKOsiVWxsqR /QmxkpOW2x4EMXFin0OTSIQjSfEc8+col+15CR2qsm19PmjVhjo4MODDL5bMNMn/B7T4+/LL +mLmCNwMipVzLsPwmXPzLUBmkMUij8rbzC3EK9f8yDXDerRlqJREx8HenZzOc9PvMdelkFGP c/WjM+w16Yt169pTQ0YCRq/w4fwPpxZRgP1fEnKD0uKKrmccDjCwsWsJLi5VaUVl+JM8Ru5p TecFUbneDWFjTjgER61YoQuxGmWOgJTvIalf1NjE2/mGZj9YweyMJlojDsqzKcch2nLOygSK 3IvFiEF5q3V9i5ejvhlTiZZ6WF5KOCfhyuDx+rfMJESvOUtHyJ1iadC6W470OQT4jsOF5kX0 GPC69VppV+hiOyGzDFqBQFPpjh8j4WOpUx+OK/d+/GovF7F5hMDq2uKWUxiTzpNCdr1vKRd1 J7SkqPtbS9L6dPPoo0SHZqMQCpoGHs7MBSvFiSGVWM4 IronPort-Data: A9a23:eV1la6xjBhj5gZTijlh6t+dNzSrEfRIJ4+MujC+fZmUNrF6WrkUFm mIXXzrUPfyKZDP3LttxO4y0/BwGuZSBzdFrT1drr1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliOfVAOO6ULOZUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDhNg06/gEk35qqq4WlD5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x138FFtO/n7/nRVYBS7jUMBLmoiI+t3+K33CuDgRrukoKHKJ0hXV/011lrPgto Dl5jqFcfC9yVkH6dEvxZDEDe812FfUuFLYquhFTu+TLp6HNWyOEL/mDkCjalGDXkwp6KTgmy BAWFNwCRhuhp96Nm57qcflhutl8MJPAZNstvUg1mFk1Dd5+KXzCa6bN/9hc0Sl2m8ZPA7PGb tAYcmUpYg6ojx9nYwZLTshjwKH23z+mKG0wRFG9/cLb50DIxRZ40P7yMdzJd8aiRN9UkACWv Aoq+kygWU9KaofHmWrtHnSEtN7JgGT6CKAoJKCi69dJukHD+mwSB0hDPbe8iaDl2x/hC403x 1Yv0iEnqKx38E2wUvHmThigqTiFuAQdUpxeCYUHBBqlya3O5AKUGC4ZSD9fLcQvrs4tGnokz Ddlgu8FGxRkkp2pcimxp4yEoA+vZjRPBjdaVyg9GF5tD8bYnG0lsv7YZvhZeJNZb+EZ+xmvn 1hmTwBn1t3/aPLnMY3gozgrZBr3+/D0ovYdvFm/Y45cxloRiHSZi3OUBajztKoRfdnJETFtT VAels6X8O0UZayweNi2aLxVRtmBvq7bWBWF2AIHN8d6rVyFpSX8Fb28FRklfS+FxO5fIGexO Cc+eGp5uPduAZddRfMtP93vU5x6lfaI+BaMfqm8U+eiq6NZLGevlByCr2bJt4w0uBF2zP1tC oTRasu2E3cRBIJuyTf8Fa9X0qYmymp6jSnfTIzyhUbvm7ePRm+neZFcOnu3b8c98PylpifR+ I1hLMek8UhUf9D/RSj1yrQtC242A0I1Pr3MkPwOVMC+DxpUJkxxCtv6468QRIh+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 +dQ+MRIVZbaLg8V+q0yNJmb3+8fSTeCP21zfsti96IoQ0DZfCC75gmTGUaQe+dmBf/DwWmnA eNAe+NNUBWf0n6VjzY5XKQjHZ59rMQL1vEjJIz5BDchneOEjzxLtJnwyHDPtFUzSY8zrfdne 5LjST2SN0ex211Wojbph+tZMDOaZdIkWlXN7Nqt+r9UK6NZ4fBeSmBs4L6apH7PDRBG+SiTt wb9Z6P76exu5IBvvon0GJV4GASGBoLvZduM7TyMnYxCXfHXPefKkjElmF3tEgBVHLkWAvBct 7CGtvzp10Lk4pcydU3kmKe6KqoY3vXqAdJrMf/2IkJKwgqEesvnuCUY906CdJdmrdJ65+ucf TWeVveeT9Audul4+Gx0cAlbShYUNLT2ZPzvpAS7tPW9NSIe2g3mcvKi6WHiaDBARB85JpHBV xf4uq+x1+B6tI9eDwI2AdBnJ7RaI1bTf7QsWPOslDufD0iu2kijvJm7nzUeyDj7MFu2O+ek3 oDgWT7VawWUhKHE6Pp7or5ClEQbI1gliNZhY39H3cB9jg6LKVIvLMMfAM0gMY5VmCmj76PIT mjBQ0V6ABqsQAkeVwv35enieQKtBuYuHNPdDR5x9mO2bxaGPq+xMIFDxAxBvUgvIiDCydu5I +4w4nfzZxi94q94TNYpu8CUv71V+eP49Fkpp2bGjM3AMzQPC+4r1VtgPjZ3ew7pLsXvrHjPd E8JHT1qYUfiRUDIRJMqPzYfHRwCpzrgwgk5dSrFkp6Vp4yfy/YG0/Hlff361roYdskROboSX jXNSnCQ53yNkGkm0UfzVwnFXYcvYR5KIiS7EEMnbQ4Vhaa053phIsUDg28XRdsj41EZHUm1e vxAJZQhLBztFayT8OT+JcY1F1ZZU2gNAXfHlmYTYBfYxAchwYGxlweClWrGxFKZl0Qnl0RCQ TlUYlz5T5h6ctf7jWEWi8n3bWBrzS3c+bcon8zool7Pfs+QdVJg IronPort-HdrOrdr: A9a23:KkT1aazCwxJt2bhVwM2hKrPwvL1zdoMgy1knxilNoHtuA66lfq GV7ZcmPHrP5Ar5N0tQ4OxoVJPhfZqjz+8S3WBhB8bHYOCOggLBR+sOg+rfKlvbakjDH4VmpM BdmsZFeaXN5dcWt7eBkXSF+q4bsaK62ZHtoefa0nt3QQwCUdAdnnhE49mgfXFedU1EQZA5Fp 6V5s8Ciz2+dXEQd922b0N1IZmzm/T70JGjax8FAxYm7U21hzWy5NfBYmjorSs2YndNhb0i82 zMkwm83Liqru2goyWspR6n06hr X-Talos-CUID: =?us-ascii?q?9a23=3A7wK5qGkorLHF5Ahv19XuqZobtNjXOXb/7EvreGP?= =?us-ascii?q?pMnZkdKDKVQW7oPtWlPM7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AjrgDGQ+cIrBVD6IN4H90tC+Qf/VZ5bnpCRAvq6U?= =?us-ascii?q?bodStFhZsawudjTviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,248,1763420400"; d="scan'208";a="136863088" X-MGA-submission: =?us-ascii?q?MDHKJ4Su2krknVnohc4GKLgIokRl/YYwA2/x38?= =?us-ascii?q?vqE7LvFX/DLQ7wWMlYzfU+IESzRJzNpRq0ln62JX/RcllWQS+G4C6yeU?= =?us-ascii?q?g4AGNjVFiyrf/r+nWBWp4b7ef3qAwuqw+Alk3LLIM8Ym7WI40za5PLX2?= =?us-ascii?q?ry7X4qneOR9YXG/OI17JBDGg=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; 23 Jan 2026 16:22:34 +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 60NFMXuv019029 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Fri, 23 Jan 2026 16:22:33 +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 60NFMXGx010212 for ; Fri, 23 Jan 2026 16:22:33 +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 B1C266E496 for ; Fri, 23 Jan 2026 16:22:33 +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 FicvflyJWUTJ for ; Fri, 23 Jan 2026 16:22:32 +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 2F7176E1D1 for ; Fri, 23 Jan 2026 16:22:32 +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.300.41.1.7\)) Message-Id: Date: Fri, 23 Jan 2026 16:22:22 +0100 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3864.300.41.1.7) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Fri, 23 Jan 2026 16:22:33 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Fri, 23 Jan 2026 16:22:33 +0100 (CET) X-Miltered: at korolev with ID 69739239.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 69739239.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 69739239.000 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 69739239.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 : 69739239.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 69739239.000 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 - First Call for Papers X-Loop: caml-list@inria.fr X-Sequence: 19436 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 - First 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 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=