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=pMYqujIj; 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 AF57E40096 for ; Mon, 20 Apr 2026 15:30:01 +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=o7dMW6Y1BGqNstHnIGp848jvlsjcytEERQqPt/Up+YI=; b=pMYqujIjeJO99eGu6YAwe0gsCIh7MlAk0SAdyBrB6EuDRcKfyHkPVKif ruh94WZ1pF/5S9m7S5akb3HiMF7MbPrwjps1t9ewVbkrORQWg/WYY/Cl9 KhQN3mxqgrM1O8PfvYczIAcd1fA2JxXQ7H48AV6gElrCg18HtPYQPNdwk Q=; X-CSE-ConnectionGUID: SfSO2XBhTQmihsQa5NTfvQ== X-CSE-MsgGUID: fKXzqDleR+S9lLLUt0pO6w== 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,190,1770591600"; d="scan'208";a="273318773" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2026 17:30:01 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1D2758238C; Mon, 20 Apr 2026 17:30:01 +0200 (CEST) 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 BDE1C8237D for ; Mon, 20 Apr 2026 17:26:08 +0200 (CEST) X-CSE-ConnectionGUID: CTbls9YgSCGn2pCP3Fbw3A== X-CSE-MsgGUID: /oqaPr4fRHK+gyqAJjG2aA== IronPort-SDR: 69e64590_g4HBHuC4/cgB0r1wu0YDwKwT0KJVyhTgjbwMlq3gK2VZb3O 3KtVAdECkBEI1SrR+BLzVwBn5Xbs3HXQhQqrkhA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EbAgBvROZpj4o9/sJaglmBbiopQQFFYTEEC0mEWINPh?= =?us-ascii?q?SyGWIIhFIQqm14PAQMBCwEBNxcBAgQBAQEBAQEDhQCNLwIeBwEEMwYOAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABAQEBAQE5B?= =?us-ascii?q?UmGFQgyDYJbO4IWLBQtKgFCBh0BASQCEiYOAhgOAoEKghFYAYIiAgRLBAO1M?= =?us-ascii?q?oEygQGCDAEBBoEIgUgY2UKBZwMGgR8uhXGCZgGFdoUhD4FVRIEVJwsQgjWBd?= =?us-ascii?q?oMZOoNGOoIvghEVehSBeIQJeYIBMoVPBwc6J0UWHANZLAFVEw0KCwcFgWYDN?= =?us-ascii?q?RIqFW4yHTdsPhc0WBsHBYFLhjmBC4MxgQUJAwsYDUgRLDcIDBsEPgdCHQgHA?= =?us-ascii?q?4oUIYIyHkwMIgghE4EFBTQJCgEfLS2TGJ4plFs0B4IeggGBXgYMii6VVAQvh?= =?us-ascii?q?ASHF4x+hAiNQoEIiAORA44JlVoIAhNZAYQ8AgQGBQIXAYFDOySBXDMaJytLA?= =?us-ascii?q?YElgRc/EAMZD1Z2jGwCg2iBPsIvQzM+AQcCBwEBCgEDgXODWwEBAYxWa2ABA?= =?us-ascii?q?Q?= IronPort-PHdr: A9a23:n884ph+0n8R1e/9uWfa2ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y QqHvb4w3A+UFcWDsrQY0LaQ6/ihEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMkbjZF+JqotxRfEonhFdudWyGh1IV6fgwvw6t2/8ZNt/Clcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsP4Vb87VS284 qlkVRHkkCgIOSI3/2HRkcxwkblUoAm9qBxlwo7be5+aOfxjda7AZ9waRG5BXsFMVyxdB463c oUCA/YdMetesoLwoUYFoxmjCgm2HO7hyiNHiHDs3aI1zuovEg/I0hInEd8VrHTUtdD1OLsSU eypzqTFyyjIYfNM2Tf67YjFag0vruuWXb1qccra1EkgFwLDjlWMt4PlJS6e2+MWs2eB9epvT +Kvh3QpqgFwpDiv2tkjipPSi4IU0FDE9Ct5zJw7Jd2iUUN2Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rALt562cTQJxZonxhPSaP6KfoaI7B7/V+ucIDd2inJrdr+9mxq8/0itx/H9W8Wo3ltGs ChInsTRu30T2RHe6dSKR/1g9Umv3jaP0hrc6uBCIU0slKrbMZ8hwrAqmpodq0TPBi/2mELqj KCKbEUk4vKk5PjgYrXjoJKXKox6ihnmP6gznsGyDv40PhYOUmWU4+ix1aDv8VfkTLhEjfA6i q3UvI7AKcgGpaO0DBVZ3ps/5xu/FTuqztsVkHcBIVlYYhyIlZLpNEvLIP3gDfewnVCskDBzy vDFOb3hGJLNLnzdn7f/Z7p99khcyAstzdxG/5JbEKsBIPPoWkLzrtDYAAU5PxS1w+bhFtp9y psTVX+LD6KWKq/er1+F6+01L+SNeYMZoivxJvYm6vL2iH82g14dfa2n3ZsNb3C4G+xrI16Db nr2mNgBEX0GvwQ/TOzslF2NTyRTam2zX6Im5zE7BpiqDYnZRoy1mryOwD+7HoFKZmBBEl2DD W3nd4CAW/sVbCKSI9RhkiAfWLi6S44h0AmuuxXgx7pmKOrU4CwYuoj52Nh7/e3fjRcy+idsA MSHz26NV310nn8PRzIuwaxzuUN9xUmE0aZ7mfJVDdxd6e9RXgcgK5Hc0e90BcrqVwLCedeJU lGmQtG4DjEvVN4x3tkOY0djG9m7lhDMxTCqA74Ol7GJHpA0/Ljc02DsKMZ+ynbG0bEsgUEpT MRBK2OomrJy+Q7LC4HUlkWWjbyqergE0SDV7WmN1WWAsFlDUA5oX6XIRWoRa1fLo9rk/k/CV KeuCbo/PQtB18GCLqxKZ8Xxg1tfXPntN4eWX2XkkG61AVOMx6iQRIvsYWQUmivHW3IJiwQCw XHTMAY1HX35+Tz2DSZvGxTheRDC6+57/UiyVEY0hz6LaVFszfLh4RcPjPzaVPIVwr8ekCY7q jsyEkzrjIGeMMaJuwc0JPYUWtg6+loSjQox1iR4N52kdOV5g0IGNh9wpwXo3gl2DYNJlY4rq mkrxUx8M/HQy0tPIhWf2524IbjLMi/q5hn6cKfM01GYz9eQ5qoVwPUiqlulshv6XlE6/SBf2 sJOm2CZ+o2MCQMTVZzrVUNi7BFgrrGcfSg7+47O/Xx2MKfyvCWRk8kxCr4DzRCtN8xaLLvCF AL2FJgCANOyLeUxh1WzRhEDJudW+bByIsWnab6e0bSqJ7kmkijOYX1vxod73wrM8iN9TrWNx JMZ27SD2RPBUT7gjVCnu8SxmIZeZDhUEHDtgS7jTJVcYKF/Z+NpQS+nPtG3y9NihpXsR28Q9 VitAEkD0dOofhzaZkL03AlZ30Aa6XK9ni7wwztxmjAv5q2RuU6Gi//rbhMHfHFKQnVvl3/tO 4m6yd4AHQCpYwUviBq59BPi3aEI7K97LmTVXQJJZ32vfj0kCPbs8OTbJZcUuMBN020fSum3b FGER6SophIb13imBG5C3HUgcCnsvJzlnht8gWbbLXBprXOfd9sjoHWXrNHaW/NV2SILASdij jyCTEO1JdCpu8qVkYvOqMi/TWOvEJNJO3qOr8vIpG6g6GtmDAfq1eu6gNTnVxc71zP2zfFrT yTG6hjmKNqOtezyIadseU9mA0X54sxxF9Rlk4c+s5oX3GATmpSf+XdvfX7bCdxAwuq+aXMMQ WVO2NvJ+E3+31UlKHuVxoX/X3Hbw817ZtD8bHlEki466slLDu+T4tkm1WNuq0CxrUTOYP5hk y01yOEv5jgUmakFtREswSOUHr0JVRAJYWq2ykjOsYn49f4HLG+0OaC9zk9/gcysANTg6klHV XD1d41jVS5848NjMU7dhXj664XqYt7VPpoYshyZlQuFjvAAccNt0KBX2Ww5YCSk5i12roxzx QZj1py7ooWdfmBk/abiRwVdKiWwfMQLvDfkkadZmM+SmYGpBJRoXDsRD/6KBbqlFiwfsfP/O kOACjo5/z2AEKDWHUmA6UF6omjnEoqqOTeZPjNKqLcqDAnYP0FZjA0OCX8hl4QwFka1xcr9f V1R5yoQ6Bj2sFEfr4Agfwm6WWDZqgCybz4yQ5XKNxta4DZJ4ELNONCf5OZ+TGlIu4espwuXJ imHdhxFWCsXD1ecCQmpbdzMrZHQtvKVDe2kI77SbKWS/KZAAuyQy8vn15suqD+IMo/n0mBKK fo91wIDWHl4H5+cgDATU2kMkDqLaceHpRC68ykxr8al8f2tVhi9rY2IQ6BfN9li4XXUye+KK vKQiSBlKD1ZyoJExHnGz6Ia1UITjCcmfiekELAJvyrABKzKnaofAxkeYiJ1fMxGisB0lhFKI tLeg8jp26RQjfkvDFNISxr8nMC3INQDOWCmaxXJHgfDNbiLIyHK39CiYa64Tu417q0cvBmxt DCHVk77a23Sy3+zCkzpb7gK1XrLb3k88Mmnfx1gCHbuVofjYxy/a5psiCEuhKYznjXMPHIdN j51dwVMqKeR5GVWmKYaeSQJ43x7IO2Dgyvc4fPfL8NcqvJxCyQyiONc/Hkg47pP7S8CSuY/y 06w5pZ+5kqrlOWC0G8tSB1VtjNCn56Gp21hPr/e8pReH2vC/QxI9WyKCg9V4dV/QI6K2egY2 p3Ek6T9Ly1H+tTf8J4HBsTaH8mANWIoLRvjHDO85OotTjmxMmXSmQpAlvCMs2WctJkh9d7ig shWIle0fF0vF/1cBF43RbTqxb92RDIq17CB3pZg2A== IronPort-Data: A9a23:kY1sIa1MjMIy4UHpOPbD5Rx6kn2cJEfYwER7XKvMYLTBsI5bp2BTn 2pNWD2EOPuJZGv0L492YNm38xtSv5LWzdVqQFQ9qSg9HnlHgPSYOdnIdU2Y0wG6fpSSFho/h yk9QoCdd55sFie0SjOFaOWJQaxUjPnQLlbEILeafHg3GUk8EXlJZStLw4YRmpRvjcWyHzSDs Nbzp9y3EFK+0laYCEpNg064gE0p5q+aVA8w5ARkO6gX5geGzhH5MbpGTU2PByugKmVrNrXiL wrz5OnR1n/U+R4rFuSknt7TGmUWQqTfNBS5kXFfXa6vmHBq/kTeBY5mXBa0QR4/ZwShx7id+ v0U3XCDYV5B0pn3pQgoe0Qw/xdWbfQXouefSZSImZf7I0XuKxMAyhj1Za08FdVwFu1fWAmi+ RGEQdykg9/qa++emdqGpudQassLB/XhOJhOi35b5h7fV+4NecvtSbqRzIoNtNswrpgm8ff2Z M0Dbj5iclLdZRxRf08eEpMlw6GmnBETcRUB+Q7T//drpTaKilUqgNABM/KNEjCObd5chE+Y4 H3H+Xj0GDkbLt2RjzSfmp6prraTwX6qB9JMTtVU8NYth0Sa/nZPBic2dhi0sOCQqEyRAdt2f hl8Fi0G9PRjpRP7EbERRSaQq3eBulsYWsFMO/Yr7RmEjKvS+QeQQGYeJgOtc/Qls9UxQTE0k EKPns2sHTV1sabKD3yHnluJkd+sEQMpJ2sZNB4LdiAq5YP7i7looBjQFf82RcZZkebJ9SfML yeighJWulnysSLp//rrlbwkq2vyznQscuLTzl6JNo5CxlgmDLNJn6TytTDmAQ9ode51tGVtQ 0Toa+DHsLFfUsHS/MB8aP8AGri16uztDQAwdWVHRsF7nxz0oibLVdkJsFlWehwzWu5aImCBX aMmkV8KjHOlFCfxNfcvC29wYux2pZXd+SPNDayKMosWPcIsJGdqPkhGPCat4owkq2B0+YlXB HtRWZzE4a8yUP8+kGiFVK0G3KU1xysz42rWSNqph16kyLeSLjrdA7sMLFLEPKhz4bKmsTfl1 Y9VF/KL7BFDD8z4QC3cqrAIIX4wcHMUOJHRqu5sTNClHDZIIm8aJsH0/aIAYK1gxqRcqffJ9 CqyW2he01vOukfEIgSrNFFmdK3kWMdkn0IKICATYE6k2iE8ULaN9KwNfIYFe5gm0MdBzvdEa eYPVOvdI/ZISxXBoy88a7ukpqNcVR2bvyC8FAv7XyoaYLhLWB3vxt/oWiDN5Rs+JHO7muVmq oLxyz6BZ4QIQjpTKfr/adWt/guXhmcckucjZHn4CIBfV2u0+bc7NhGrqOE8JvwNDhDxxjG68 QKyKjVArMnvp74FyvX4tZqmnayITdQnRlF7GlPF54mYLSPZp2qv4bFRWdayIAzyajnGx7WAV 850kdfHL/w1rHRbudFdEpFq754EyfnBmrt49jlgTVL3NwmFK7U4OXSX/9h9hosUzJ9jhAaGc Eau+N5bBLa3BP3YAGMhfAoIU+DS7ssqsBzt084NAUTl5SVI0qKNfmdMMjKt1iFMDrtHH7k04 OUmucQp2Q60mDs1F9S0pylk1Xy+LyEFWKQGrbAfOpfg0SAw+2FBYLvdKy74246OYNNyKXsXI ieYqa7BprZEzG/ATiYDLmfM1u9jmpg+ghBG41scLVCvmNCepPsI8DBO0DYwFCJ58w5m1r9tB 21VKEFFH6WC0DN2jsxlXWr3OQVgBgWcy3Ph2Wkyi2zVYEm5ZFPjdFRnF762w3kY1GZAchxw3 rKSkj/lWAm3WvDB5HI5XEo9psHzSdB0yBb5p/mmOMa4BLg/Xyvuh/6/RGgPqia/O/gLum/8m bBI8tpzOIrBDgxBh40gCoKf66YcdwDcGkxGXsNa3f0oGUPyRWiM/AagemGLVOFDHfjoyXODK tdPI5tPXiuu1SzVoTE8A7UNEoBOn/UoxYQjfJXrLmsotJ+ZoiJjtqjU/SvUnGQuR9BKlPQsC 4LOdgCtFn6bqmtUllTs8uhAHGqzZPcDRSPwxOqzyuECFrBSlMpOYE0Nwr+PkHHNCzRe/jWQp xLlW6/a68dA2LZctdLgPYsbDjrlNO6pcvqD9T6CluhnbPTNAJ/ojBwUoFy2BDZmF+IddPovn IvcreOt+l3OuYs3dGXrm5OhMa1tzufqVcp1NvPHFlVrrRGgauTNvSRao3uZLKZXmuxz/sOkH gu0SPWhfO4vButy+idnVDh8IT08VYLMcabSlQGspa+tCz8c8zD9AvGJyHvLVVxfJwg0Y8DQK wmsoPu/xMFqnKIVDj8+OvxWKZtZIljiZKgYS+PMpQSoVlePvFfTlYbhxDwB6C7KAEaqCMzVw 4zIbTmgeQWQuJPn9sB4sYtztUc5HUdCjvQ8JEYA9/FImgmVCH8PEtUAA5MnC7V/sC/75Lfnb h7jMUogDiTcW2xfUBPeud7MYCaWNtYsCPzYeAM73hqzRX+tJYWiBLBByH9R001ucGG+8ND9e MAsxHLgGzOQnLdrfL83zd6mi75Fwvj6+Co5yXrlmZavPydEUKQ4710/Lg9jTiedLtrskn/ML m0LRWxpZkG3ZEryMMR4cU5uBxArk2Lz/goscBuw7o7Ti6eDwM1E7c/PCeX5/7kATcYNfZolZ 3f8QUmT6GG3hF0Xn4YUuOwSvKwlMsLTQ/CGL5LiSzNLzuv0oi4iMtgZlCUCcNA69UQNWxnBn z2r+D4lCF7DNElV36aMxB4U/45qFEgBFCzNkBW1sAqufcbVFDQFU0PCIMPHxZDMR2zLvEJCR zMfcgCMpVyI8SPtvzhl6bIVvDRrxC3X+WbsCkgVolHay39Ai1Ox0JhgyUA0kdxLmJGB7psBb 76fir3R56r+Nh5iHGnYcBMxY6JmofEPAGzvTlMvEA1DTrON6W8wTzp1xntWgOrfbdGalGntC vHuVmE= IronPort-HdrOrdr: A9a23:bBOa0KOGhP61wMBcTlGjsMiBIKoaSvp037BN7TESdfU1SL36qy nKppgmPHDP+U8ssR0b+exoRpPwJ080hKQFhbX5VI3KNGKN1QXIEGgF1/qG/9SKIVyYygcy79 YZT0DwZeeAdykGsS+D2njCL/8QhP2G9b2lnuvSpk0dMXAUV0i+1WhEIzfeEQl9RQtDDZo9UL aa+cZDoSO4dR0sH7rLd0UtbqzB49fLlpbvYRtDPRQg8wXmt0LZmc3HOind3VMVUjFKybcmtV LZmxHk/MyYwoPLvyPh6w== X-Talos-CUID: =?us-ascii?q?9a23=3ACBsZt2ipHjKZiZMzyLzLJrBVnTJuWUHXyGyBEkC?= =?us-ascii?q?DIklvEqW+cQS+8rw/up87?= X-Talos-MUID: 9a23:sDPs8gkpMTtZaVR/sMR2dnolM95h277yBnotstYJqtCtFy5fYT602WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,190,1770591600"; d="scan'208";a="144597862" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDE6+FOViob24qhA1IY8SxByXtmTGBAKPJfvrj?= =?us-ascii?q?GREVfkYG55l/W5LKUMxXHzhDrYdxBGk/Flyllqf4XAHAPZcjmXdYVK9C?= =?us-ascii?q?w8re5Mklj+MpIUvxLCxjUqlAZ9oQGI5Ev0UrNgxFjllontKOKSPMNNmF?= =?us-ascii?q?1U9syhxrYC+ClrHxtIFXb8Cg=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; 20 Apr 2026 17:26:08 +0200 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 63KFQ7x9013101 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Mon, 20 Apr 2026 17:26:07 +0200 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 63KFQ7oo029709 for ; Mon, 20 Apr 2026 17:26:07 +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 B604256AA8 for ; Mon, 20 Apr 2026 17:26:07 +0200 (CEST) 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 PnZFQPdGDSlW for ; Mon, 20 Apr 2026 17:26:06 +0200 (CEST) Received: from smtpclient.apple (92-184-105-243.mobile.fr.orangecustomers.net [92.184.105.243]) (Authenticated sender: winter) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id A16CA56AA5 for ; Mon, 20 Apr 2026 17:26:05 +0200 (CEST) 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: Mon, 20 Apr 2026 17:25:55 +0200 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]); Mon, 20 Apr 2026 17:26:07 +0200 (CEST) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Mon, 20 Apr 2026 17:26:07 +0200 (CEST) X-Miltered: at korolev with ID 69E6458F.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 69E6458F.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 69E6458F.002 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 69E6458F.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 : 69E6458F.002 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 69E6458F.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 - Last Call for Papers X-Loop: caml-list@inria.fr X-Sequence: 19492 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 - Last 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. The workshop will = start at 13:00 and will feature talks/discussions around different = topics related to research and academic life. After the workshop, there = will be a social event with board games. NEW: Up to **10 papers** will be accepted by the program committee, for = which **no presence onsite** of an author is required. In this case, a = reduced fee will be applied. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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 a separate 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. 8) All submissions should be made via HotCRP at = https://mfcs26.hotcrp.com/. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=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