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=OORTGZhJ; 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 3C7744009D for ; Sat, 21 Feb 2026 17:20:18 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:date:from:to:message-id:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=8l7LMNcSDATEsj5zh6IcK/K3iM9IQB7A6qiP8PXgwjY=; b=OORTGZhJJeVJiWfNWeobtLUnukh6656QDrviIfdXqTDpEvfYHXY339RE GTwcbdAXSzv7xSyl2i4pFx93NGoJAQeFN+mtU2a2hl8pbaXHpZlVar6AB oHK8p66qEGD70nckocIYYHdtaLZQGT02Wdv+dJjn4nTxPcoArz54J8eDY s=; X-CSE-ConnectionGUID: 6vr8Y/c5TESg22dWB7kQRQ== X-CSE-MsgGUID: u39w8QiLSfWyMDUJPgZ8sQ== 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,304,1763420400"; d="scan'208,217";a="264545779" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Feb 2026 18:20:17 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id ABE0E817BF; Sat, 21 Feb 2026 18:20:17 +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 E405980F6F; Sat, 21 Feb 2026 18:20:06 +0100 (CET) X-CSE-ConnectionGUID: zwW04mA4RhiGxKomJymqRA== X-CSE-MsgGUID: O5uYfPVrRbmCRxLFn0c27Q== IronPort-SDR: 6999e946_uzoill5oqKIcLFrXHv7b8JHhImTL+jgkXxK539fHPDx1q3/ 8Mq8VY459llmrSiv19EClefDSW2gcA3BLptTMbA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EJBQBK6Jlp/w4ha1ZaDoJLgT2BBAeBAF40BAtJhFiBG?= =?us-ascii?q?IdjhleCIhaSBIUsiD8NCAIPAQMBDS4BCBcBAgQBAQMBA5IiAh4HAQQzBg4BA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECgQoThk8NgmIBM3GBJ?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEdAhQtKgEhBQEhHQEBBx0HDRNJAgJbAQEagnuCKUoHA?= =?us-ascii?q?agSeoEygQFXgTUBAQbcQYFQCRiBNYEWhz4BKoE1AQKEEjt1gRuCLycbgg2BF?= =?us-ascii?q?YNogQUBgyWDc4JpghEVehQdk0IsgRgiAyYzLAEPETUTFwsHBYEzMwMgCi8tA?= =?us-ascii?q?hQdEg8EFjIdcAwnEiwXM1gbBwWHOBsPigJZgSCBNgMLB2Y9NwYOGwQCAYE1j?= =?us-ascii?q?VVbP4I1gR4agRIMNEOTV7NDpgYHCxwXhASHF4V8hkePPYNQmQYiqG4xgX4ng?= =?us-ascii?q?VlzTYJnCUYDGQ9XjWGEHE6OMwkBqURFMgI6AgcBCgEBAwmFRgEBjFaBSwEB?= IronPort-PHdr: A9a23:yaKrpxys55609GrXCzIe2VBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xCZva0m1gSQDNmTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezbr5+N gm6oRneusUIj4ZuN6I8xxTUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIL/d1YL/Tcs0GSmpARsZRVjJOAoWgb 4sUEuENOf9Uo5Thq1cSqBezAxSnCuHyxT9SnnL50qM03eQ/Hw/b0gMuHN0Pv2jPodrvKKsSU /q4wLXSwDjBaf5dxDfz6JLPchAkufyDR65/ccvPxkQ0DQzKklSQppL/MzyLy+QAtXWQ4OV8W +y1kWEntx1xrSa1xscqkoTEhp8Zx1PL+Ch9wIs5O9O2RVBnbNK5DZZcqSKXOpV1T84/Qmxmt zg3x74atZC0fCUHyJQpygLRZfGJboSF/gzvWeCMKjl2g3Jlfaiwhxe08UW41+38UMi03E9Wr ipfk9nDqGoN2wbO5ceZTPZ240Sv2S6X2g3Q6+xIO104mbbZJpI7zLM9mIAfvVnMEyLwhU74l rWZdl8+9eit8+nnYqvpppubN4Jslg7+MqUumtalAeQlLggCRXWU+eKn1L3j/E35T7VKgucqn anetZDWPcUbpqinDA9Jyosu6BeyAy273NgEn3QLNlxIdRydg4T0NFzCOPX4Au2+g1Sonjdr3 ffGPrj5D5rXMnfDkanucK1n5EFAyQo808pT6IxJCr0ZOvL8RlfxtMDEDh8+KwG73/zoCNB51 o8HXWKPA7SZML/JvF+T5uMvJvGMa5UPtDb8Lfgl/f/ugmUjlV8TZ6mlxYEXZ2ygHvR6P0WZZ mLhjcsGEWcTpwYxUOjqiECZXjNIfHazX6c85ikhB468DIfDQJqtgL2b0yuhEJ1WfHhKClaXH njwbYWLR+8MaD6OIs9mijEIS6CtS4A/2hGptwH00aJqIOnK9CEAr5LsysZ16e7Jmxwq6TN0D 8Wd03uXT2FpgmMEXSI53KZkoUx9y1eD3qh4j+ZEGtxU4vNFSho1NZ3dz+x/E938Qg3PcdmXR li6XtioByk9Qc80w9AUeUZyB82vgAja0SSyDLEZj6eLBIQ68q/ExXb8O9tzxWve2Kk6l1kmT NNANW24ia578AjeH5bHnVyBmailJuwg23vk20uqhT6Hs01ReApxSrneG3sfb0/ToM7ioFjPG fvmALsqNBdagZqLJaZMdsbBhk4AWfLpM5LTb3/n3y+7DBOMg7eNd5aiL24U2SGYDEkfjygS+ 2yHPE4wHHHl62nGCXl1DVP1bgu4+vF77WijT1U5igWia0x6y6Hz8QVTmPeGDf4fw+RA8Ag7o gluFR7p0MjfF8CJjw5gZ7lHJ8474RJf3G7UrQZ6JJrmI600whYmfhhtvmXjy10jEohci8lvq n42iRV1M6aU+EtMaymZ253sfLvaNj+2tCy+c6PNkgXCwc6b4Y8L6e8ksBPovAitE0c46DN83 o8Rm1e5z7PnMEJGXZf4VEsr3wpivffHZCh45ITZ0XsqPaTi9nfP0NUuHK4kzBinN4NSO6SDD ErzFcMdL8WlL+sy3V+zYURAdOZN7LJxPsWocLPS3rGzIKNhmjyhpWBG+5xmlEOL/GxxR7iMl 44fxP7d2gKBWH+ol1yg98z2mp0BfSsVES+7wC7rLIpQfbE0fptNBWT4Z4WM5/paoLGlfnle6 F6nFhtS3MayPB6TZEfV2QxLyV9RvWHikyaiyz1y1T0k+O7XwD3Wzv+nfRwBPXNNT2Qq2Uv9O YWvytkcWk+1aQMkvB+k/lrhgbNWrb85MnHeR0EOciTreSUqVqqrqqGIaMVOrZdg5SFWS/ina 1uRS/v5iwAQ2GXkBWQYziptM3mkvZDRmx1hlHnbMXl+qmafc8w0jRzY4cSZWf5A9j4HXzVjz zneGVG9Pp+k8cjQ35zIu8i6Vnm9TZBJb2/nw4XGuCb/rWZtGFi0m+250onsFhF/2ivm3fFrU z/JpVDyeN+vn6q7N+N7cwxtA1Px749mGox5iJp40J8R33kGi9CQ+nYKlSLvMdhcw7PWaHsWW SVN2cHJ4E3s0UZjI3TPy4+vEj2Tx45oYd+9f2Ud1ycw6dxRQPOa6flNmy1yv1yzoAfcZ+Rmt jMc0uc1rngTmOhPtw0zmGHVBr4ZBgxZOzDhjRmT85jqqKtcfyOud6S9zkdlgfitB6rErw0aU X2/Z5R0WWdUz+5EeAbI2Wa27oDvY/HUbMkPrVuIjlLKgvJRKZR3mvdcwWJjOGTwtGdtn+o6i xFnx7mxp86cN2xr8qWjDlhVOiCjI4sr4Dbqg5pek8GMzsj7Jo9mHTs3XJbvV+OANDMJqe+hH Q+SEHsVoTGmOuybVRWS911ns3PJHNWxOmiKKWIFhYF4SQaHJVBehg9RRjgjg5MiCiinwtekd FZ+4HYf/Ai84iBt5dlPGSW6di+LvwancTA6VN2bBBNd60df5lred8GS87Q3Vz1Y85q7vQqRY jiHZwlPF3APRmSABkv/JbS0+5/G9OSRBayzI+aYJf2Qqu0bU/aT2dr7zIhnujKNLdmnMndhD rs31xwHFVlCP4yNki4LYzIejDnEdYiWqArqvmV8p9yy//PxWQ/0rd+EAqdfPtJ1+h2tqaKfP qibjXA9YS1f3ZIKy3iAnKMY118UhSZGfCLrDakc8yDMGuaYu4QfAhcHYDg7YMpDqa81wgJWE cLazM7z16Z5yP8pXRMNU1H+gcWkedAHOSnpMl7YH0KGKKiLPxXCytv2Z6j6Tqdf2qEcqx29v iyKWxv/PjmEjSjBXBTpOuhJyiiQegFd7sX1bhZgDnLyCdbhZRyweItrjTAx26xxgnTFNGU0O iM6eEZQ6LCc8HUcyv54HWJM9HdjJuSf03KS6O/WJ4wbt/BmGQx/kOdC/Wg30f1S9i4SALR5k jTVtNpi6wWqmPaI0D5reBFV7ClKn4nNsEl/b+GR8p5PWH2MqBYK4mSbIxEDu9sjF9vu/qpXz N6JmK+lbH9e89/T58YZQtDOL9yKKmFpZQbpFTnOAQ5AVSSsK2zFnGRUkbeX92HTo5Qn/Nyko pcKS7ZRUFF9PfQfEll5HdoNaMNtUzclmLSfgfkD4n+msQXQQspyupHcSunUBfLyKS2YhL9NI RYE3OW8ZYoUMon6kxhsbV1+nazEHE7UXJZMpCNmOEt8pEJC8XN3C2kb10PgYxvr/XEJE7i+h Fp+gwFzZeAksSvs7lAtK1+PvDE3jkQrsdrihj+VfTHrK7qoRsddDC+w/0M1d5LgSgx4aQm/2 FF/OS3fb7ZQlKd7M2tijUnVst1SGroUQLBYcQcd3tmcfLMyzBJarmHv3VFcoOLDD5x/kgAnW ZW3qzRbwQMlZ9kwYeTROO9MyVNZw6uIuCi10Os86AsfPFoWtn6PPjUF/AQMO7AgYjez8/ZE5 guFlD9Od3ILSuIx5Plt8wd1MOOG1D76zrVfK168MeGANIuWvG/PkcOHWFQtzlhOnE5AufB5y 84mdkOOU00m1r2QERshMcvZNQwTa8tJsXzad2CAq6GFzZNuPJ+wCu2tSOaPsKcSjUalBxokN 4EF8sQMG5Cw0UKeIcqjZKUExhwsoQ3tIlKYCv9EUBaKiyscrtuhipZ82M9aPD5ZSW56ND6w7 Z7buwwnxvePQZN+f34bdoYCOWhwX9ehh2hUs2kERDm6yOcQzg6q6z7s4DzXCCjgYtFjYvaNe B4qBsvysTE4/Km9z1rW6Yn2IHzmMdNluZnE7uZJiYyADqZdRrhwm07XmoQeSmH5ACb0DdepK s2oOMEXZtvuByP/CwTn49pUZ8L4PdL3a7ONnRmtX4Ff9o+SwDEkM8a5UDAYARZ54e8Zt+pnf QNWRZ09bFbzshgmcbSlKVKR2dSja2+mKDYQQuQMhf6iaelvxjE3JvS/1GNmS5g7y+et9ktYT ZoLgznXzveuIYRDAmDoAnIIXQLJqGIiknR5cOY/xuBq2BTTrVwVKCyGbsRiaG1epcwgQ1+UO nV3BWp+TFiZ5Wbayiir2b1avy5UntIOlPZArGC7pJjUJjSlRK2sr5zR9Ssmd9kv5aNrY8TlJ YOduZXSkya6LtGYuxCZUCO8C/tRm8RBaCNeTv5SnGg5OMsA8YNf4Es1X806KvRBEq4p7rytb DNlC2YVw0p7H8uJ1z0Pqu632racmwrROJUuPRoYsYlT18MHWn0+aScfqam/EoTOwj/aDDFTf 0FItkIVuFFl9Mc4ZO3u7YvWQYUZzjdXp6gxSS7XDtxy8FC9TGiKgF/+QfHnkuqz3AsUwui/t 7tTEBN5F0VZwP5b00UyL7QiYaAbv4PiuzSJeAX3oSi+gPvjP1RXxcDOIhfxB4vInWP3UyBa9 GBeFuotgDnPUJ8VlQR+cqMiol5BdZundkjJ7Dsh3411HrO8WKhH3n4dpG0dD2evGttFUaR9t U7PHSdiaNatoYnkPJNbRilR/oecohFXihclPym8wJtaY8ZDh1xEFDFEoDi1tdCzRYtOxId6A oQNLdF2p3rmUPMafsHJ/Dtt4fq2ljfQ4HgkvU2/xSmvFqPwVO9f82AEW2BLbyyfpkQpE+ow4 zLX+1HJvEpz+rQTDbyOgENt5TdlS8AQQG8Rijb+dBIqECoj0a0SMqnefs1CTuNnYBauP0Z7D vs6xwmT+koym37lYit0vw8c+ibHXgByWzNG59Wl0TAYtMyjPicXDpxSajB0JS7OKg+zkCtWs VBSdgs5E4BcGdtD97wBiMFd9cvPYU+nKCxDUQEoZWdambJP0EVEtkufYyXUCwGlIO3OvhNAd sCUtMe1Lf798VQPmsb9ves/7alGW2y+lFjnX4XFt4Gl/I7v1APGZOLiPua7e3OEUDXckUX6m +I/F5eTtynLbFgLdd8jkSViOsOnUDKDfhFWb+ESQigTHeN7cYkU+7AHIZ89PvpPoPc8QUjbD gXmHIjlxBVfBnDUQzmWbyCI8+jl5JnW8aSYU+/rIMqF23fARatzeJZ88zjyXbnwg8dY/QLt1 /Fh+1kfKxCOOj2drNnnOgIA5dWzPkrksJozGDrKAZB22HPzz0BEfsATTmWk6pMdgJ9e7X/xT 6p/3C2R+KVK8KJ47IAs/71z4cy0JL3INOgcvUl8AhmbBkNh8ZBsSGlzSmZNY/MAfffceaNK6 KKm4+vzFqER9FiU47kJN52efx6HwZL5U23PLH4M1B0MojMbMAaGgvuMmqsuDN2gufC8wEUmp V63Mh8Byrlpo4aC4KuB4uHNPH6zhfAJXLbnQsTro/EioUSXsLctn78DUmV+YgDhHfVXBat/j i/wiLsnyy4hCZaJB7X75PtKTG40hBrrm5FnBUgKXP8SBrqK8oQYlWA90b+8VJVeYuVJnWCBE gShG7kJxCuw6ieZF2JihwnHzxD6RW7bBLDepCR5TG3B0oW6+qK0frK3BF1IQjbvNUljsDKAP Ezjs9+l4czdCWk/OW3p8t+QxjPJBQ== IronPort-Data: A9a23:LcZvDKPOw0N7WFTvrR3Xk8FynXyQoLVcMsEvi/4bfWQNrUoj1zYOz TEeXzzTPfyINGOmfdEibo3jph4E6JTUyN5rTXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48D8hk/jOHuehYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWQtWo4ow/jb8k035q6r4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay RAXACISUUjfgsvq+rK6ZflPgcEBPczyBqpK7xmMzRmBZRonaZvDQr/Q+MMe0DErhsFBHbDVY M9xhThHPEqGOkUQfAxMTsti9AurriGXnzlwoVmUqII+6GneigFsuFToGICLJoHWGJsExy50o ErhonnIDCkkLuaVzBG/4laCgLfEx3zCDdd6+LqQrKQx2ALNmAT/EiY+XlK+pby9i1Wic8lOL lQdvCsot6k7skKxJvH2WAT9q3qZtDYHSt9IGqs77huMw+za+W6k6nMsRT5AcsY7qIk6Qycq1 1CJ2djuAFSDrYF5V1qP6YjM8TabZRIVLEASRigBbxoA+uPK9dRbYg30cjp1LEKipvzJcQwcL hiBrCkknagPy8INzKW68lCBiDWpznQocuLXzliLNo5GxlkgDGJAW2BOwQSDhRqnBN3JJmRtR FBex6CjABkmVPlhbhBhv9nh7Jnzva3db2OC6bKeN4Is7Sqg4Ta7eYlWqCo4PgFtdK45RNMdW 2eK4Vs5zMYKbBOCM/QtC6rvUJtC8EQWPYi/B6yFMIQUM8YZmc7u1HoGWHN8KEi3zhF2yPlka M7znATFJS9yNJmLBQGeH481uYLHDAhnrY8KbcGmn0aUwvCFaWSLSLwIFlKLY6prpOmHuQjZu ZIXfceD1xwVAqW0bzj14LwjCwkADUE6IpTq9O1RVOqIeTR9FE8bVvT+/LIGeq5epZpzqNvmx H+Gd3Vj+ALNvkGfcQSuQVJ/WYzrRqd6/C4aPzRzHFOG2EoDQIeI7YUfRsEzeZ0iyrVCzOF1f dYBac6vEvRCcRWZ2jU/PL3Wjp1uSwSvvi2KZxGaWTkYe4VxYQ7j9vvPXBrdxANXAgWZ7cIB8 qCdjCXFSp89diFeJcfxasP36WiuvHIYydlAb2GRLvZ9IEzToZVXcQrvhfoKIuYJGxXJ5h2e8 y20WR44h+38k7UZwenzp5KvjtmWSrNlP09gAWPkw668NnDa8kqd0IZwaru0Ug6HZlzk2peJR Ltz9O79As0ljVwRkotbEpRX94wcyebrhYdnylVDIC2WQXWtUqhtM1uX7/lp76dt/IJUiSGye 0CI++RZB4m3BdPYIAYvAzQhP8u+1qAyuzjN7P4KDl3wyw1p8ZGmD0hDHRm+pxZMDblyMbIa5 /8Tg5MS5zeekTsvCM6N1QpPxlSPL1sBcqQpjY4bC4nVkTgWyklOTJjfKy3u6rSNWsp8CVYrK Tqqm6byvbRQ6U7ceX4VF3KW/+5iqbkRmRJNlnkuGk+on4fbu/oJwxFhyzQ7YQBLxBFh0egoG GxKNVVwFJqe7QVTm8lPcGC9KT5vXCTD1BTK9GIIs2nFQ22DdG/HdjQ9MNnQ2nEpyTtXezwD8 YyIzGrgby3RQ/jw+SkPQm9gle3oSI1g1w/Fmf3/Jf+/IbsBXWPHjJOtNE0ykDm2JeMqhUbCm /tmw/YoV43/KhwrgvMaD6u06O0ubS6qdU14fOFZ3aIWHGvjVim49hqQJmuQJM5cBfz43nWpK s5pJ/MVVwy10gTXohtGBqQKBbh9o/IuwN8kZLnQBHUntoGHpWFDq6Pg9SnZhU4qTe5xkM07F JjjSjKaHkGUhlpWg2XorvhbClGnYNIBWhLw7Nq1/MoNCZgHluNmKmM27ZeZoFSXN1FB0y+Pn QaeeZLT8fNu+b5sk6ToDK9HIQe+cvH3deaQ9TGMo8Z8VszOPejOpjEqhAHeZSoOBoQoWvNzi bipm/z01hmcvL8JDkboq6PYHKxNvciPTO5bN/zsF0ZjnAyAZdTN5iUS8GXpOL1Ll9JgvvOcf TWaU/fpV9ApWIZ6/kZ3OhhuS0NXT+y9a6r7viqyosidEhVXg0SNMNqj8mSvdm1BMDMBP5rlE ALvpvKy/ZZioZ9RAAMfTeRTa3OizIQPhYN9HzEwidWZMoVsqliCu6H4iAZm5TfQCniLEIDx5 petqt0SsvitkPmg8T2bm9UaUt4r4LJViOIxcwQQ5raaThikWXUeI7113YouU/lpf++b6H08T DjGbWZkBDiVsfGot/njyIyLYzpzzdDi9js0yvLFMq9Uh+qL6Fu8PYZc IronPort-HdrOrdr: A9a23:a41sRq65xHBxk4jzbwPXwPfXdLJyesId70hD6qkRc20xTiX8ra uTdZsguSMc5Ax/ZJhCo7290cu7MBDhHPdOiOF6AV7IZmjbUQWTQr2KobGD/9XEcxeOkp87pM EQCtkHNDXSZWIK9/oT22GDYq0dKInuytHLudvj X-Talos-CUID: 9a23:Xp4gXG72w/RvCliTONss5lErQpwgWyHnzHb/M2y/DER4TaSvYArF X-Talos-MUID: 9a23:l+of6wSbma+ZdTSZRXTL2SxTOv9W+Z6kDWs3gbEovZGPb3NJbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,304,1763420400"; d="scan'208,217";a="264545691" X-MGA-submission: =?us-ascii?q?MDG70xTIVDEGOTpB+dv8jVOlSp6SeatZjH7BBM?= =?us-ascii?q?Lw3BOZp0rWJCw9KkBbD9f3RYMYKCeeoVJ6C16XAsyGtBbv5b0yy5v5ev?= =?us-ascii?q?PaP9wnqPnn0Jr0grR28PhCKPT8ITMBvid6iYFyovFeK3/vZgQajSNk+i?= =?us-ascii?q?DAzLJlw85jQZaxCtiDmGd4iA=3D=3D?= Received: from chirrut.dnshigh.com ([86.107.33.14]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 Feb 2026 18:20:05 +0100 Received: from localhost ([127.0.0.1]:38640 helo=chirrut.dnshigh.com) by chirrut.dnshigh.com with esmtpa (Exim 4.99.1) (envelope-from ) id 1vtqeC-00000004N6N-055E; Sat, 21 Feb 2026 18:20:04 +0100 MIME-Version: 1.0 Date: Sat, 21 Feb 2026 18:20:01 +0100 From: acie@acie.eu To: AGDA , agents , caml-list , cpm-spire , GraTra , PetriNet , Types , DMANET , ecoop-info , nwpt-info , prog-lang , SIGLOG Monthly , types-announce , listsbcci-l , fom@lists.ugent.be, comp-thy@lists.hawaii.edu, cca@listserv.dfn.de, coq-club , finite-model-theory , fm-announcements , lfcs-interest , LICS , linear , ProofTheory , rewriting-request , SIGSOFT-L , theorynt , vki-list , ASL , categories , socinfo , IC eatcs , newsletter , theory , theory-logic , conferences , dbworld , logic , theorem-provers , Reliable Computing , folli , logica-l@dimap.ufrn.br, abella-theorem-prover@googlegroups.com, cl-isabelle-users@lists.cam.ac.uk, eutypes@cs.ru.nl, pvs-announce@csl.sri.com, it-moca-announce@lists.uu.se, lean-user@googlegroups.com, constructivenews@googlegroups.com, grammarlearning@liste.lis-lab.fr, diskrete-mailingliste@mathematik.de, sigai-announce@listserv.acm.org, comsoc@duke.edu, uai@engr.orst.edu, hermann@lix.polytechnique.fr, logic.list@outlook.com User-Agent: Roundcube Webmail/1.6.13 Message-ID: <92f921912f54f36620bd6beca12aa5d8@acie.eu> X-Sender: acie@acie.eu Content-Type: multipart/alternative; boundary="=_77a59df2e8f43068869f8e078135e5f3" X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - chirrut.dnshigh.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - acie.eu X-Get-Message-Sender-Via: chirrut.dnshigh.com: authenticated_id: acie@acie.eu X-Authenticated-Sender: chirrut.dnshigh.com: acie@acie.eu Subject: [Caml-list] CiE 2026: 2nd round of submissions CfP Reply-To: acie@acie.eu X-Loop: caml-list@inria.fr X-Sequence: 19455 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: --=_77a59df2e8f43068869f8e078135e5f3 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed ------------------------ CiE 2026: 2nd round of submissions CfP ----------------------- Due to various requests, we will have a second round of paper submissions. Deadline: March 15th, 2026. The Easychair server will open again on March 10th, 2026. What is the difference between 1st and 2nd round submissions? While 1st-round submissions will be often forwarded to subreviewers, papers submitted in the 2nd round will be only reviewed by PC members. All papers will be notified at the same time. Please check out our webpage www.cie-2026.uni-trier.de [1] for further updated information. PROGRAM COMMITTEE OF CIE 2026 * Verónica Becher, Universidad de Buenos Aires, Argentina * Paola Bonizzoni,Università di Milano-Bicocca, Italy * Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Germany * Rod Downey, Victoria University of Wellington, New Zealand * Damir D. Dzhafarov, University of Connecticut, USA * Henning Fernau (PC co-chair), Trier University, Germany * Gilda Ferreira, Universidade Aberta, Portugal * Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands * Daniel Graça, University of Algarve, Portugal * Gabriel Istrate, University of Bucharest, Romania * Jarkko Kari, University of Turku, Finland * Lila Kari, University of Waterloo, Canada * Akitoshi Kawamura,Kyoto University, Japan * Takayuki Kihara, Nagoya University, Japan * Alberto Marcone, Università di Udine, Italy * Elvira Mayordomo, Universidad de Zaragoza, Spain * Wolfgang Merkle, Universität Heidelberg, Germany * Cécilia Pradic, Swansea University, UK * Giuseppe Primero, University of Milan, Italy * Paul Shafer, University of Leeds, UK * Tomasz Steifer, Polish Academy of Sciences * Frank Stephan, National University of Singapore * Manlio Valenti, Swansea University, UK * Serghei Verlan, University Paris Est Créteil, LACL, France * Andreas Weiermann, Ghent University, Belgium * Tomoyuki Yamakami, Fukui University, Japan LIST OF TOPICS OF CIE 2026 (NON-EXCLUSIVE) * Algorithmic Information Theory * Algorithmic Learning Theory * Algorithmic Measure Theory * Algorithmic Randomness * Analog Computation Models * Automata Theory * Biocomputing * Category Theory * Complexity Theory * Complex Systems * Computability * Computable Analysis * Computational Biology * Decidability * Descriptive Set Theory * Formal Languages * History of Computing * Mathematical Logic * Natural Computing * Philosophy of Computation * Proof Theory * Quantum Computation * Recursion Theory * Reverse Mathematics Links: ------ [1] http://www.cie-2026.uni-trier.de --=_77a59df2e8f43068869f8e078135e5f3 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

------------------------

CiE 2026: 2nd round of submissions CfP

-----------------------


Due to various requests, we will have a second round of paper= submissions. Deadline: March 15th, 2026. The Easychair server wi= ll open again on March 10th, 2026.


What is the difference between 1st and 2nd round submissions?

While 1st-round submissions will be often forwarded to subreviewers, pap= ers submitted in the 2nd round will be only reviewed by PC members. 


All papers will be notified at the same time.


Please check out our webpage www.cie-2026.uni-trier.de for further up= dated information.


Program Committee of CiE 2026

 
  • Verónica Becher, Universidad de Buenos Aires, Argentina=
  • Paola Bonizzoni,Università di Milano-Bicocca, Italy
  • Vasco Brattka (PC co-chair), Universität der Bundeswehr M= unich, Germany
  • Rod Downey, Victoria University of Wellington, New Zealand
  • Damir D. Dzhafarov, University of Connecticut, USA
  • Henning Fernau (PC co-chair), Trier University, Germany
  • Gilda Ferreira, Universidade Aberta, Portugal
  • Lorenzo Galeotti (SC chair), University of Amsterdam, The Neth= erlands
  • Daniel Graça, University of Algarve, Portugal
  • Gabriel Istrate, University of Bucharest, Romania
  • Jarkko Kari, University of Turku, Finland
  • Lila Kari, University of Waterloo, Canada
  • Akitoshi Kawamura,Kyoto University, Japan
  • Takayuki Kihara, Nagoya University, Japan
  • Alberto Marcone, Università di Udine, Italy
  • Elvira Mayordomo, Universidad de Zaragoza, Spain
  • Wolfgang Merkle, Universität Heidelberg, Germany
  • Cécilia Pradic, Swansea University, UK
  • Giuseppe Primero, University of Milan, Italy
  • Paul Shafer, University of Leeds, UK
  • Tomasz Steifer, Polish Academy of Sciences
  • Frank Stephan, National University of Singapore
  • Manlio Valenti, Swansea University, UK
  • Serghei Verlan, University Paris Est Créteil, LACL, Fra= nce
  • Andreas Weiermann, Ghent University, Belgium
  • Tomoyuki Yamakami, Fukui University, Japan

List of Topics of CiE 2026 (non-exc= lusive)

 
  • Algorithmic Information Theory
  • Algorithmic Learning Theory
  • Algorithmic Measure Theory
  • Algorithmic Randomness
  • Analog Computation Models
  • Automata Theory
  • Biocomputing
  • Category Theory
  • Complexity Theory
  • Complex Systems
  • Computability
  • Computable Analysis
  • Computational Biology
  • Decidability
  • Descriptive Set Theory
  • Formal Languages
  • History of Computing
  • Mathematical Logic
  • Natural Computing
  • Philosophy of Computation
  • Proof Theory
  • Quantum Computation
  • Recursion Theory
  • Reverse Mathematics
--=_77a59df2e8f43068869f8e078135e5f3--