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=TeDoenb4; 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 84E6B400A3 for ; Sun, 22 Feb 2026 16:55:17 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:message-id:date:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=mpeBdbwicC1fXwBRmO11DKCShQVUDSgmJsSTx7zShGg=; b=TeDoenb4xf171wt5E+au8oQU6HFovTIsUE/NEyhHWpwV1kT6QbMKuMlw frmCLr5zr2wVA7jJ3jB5x+wCXYxHjjRLAXnHD0m9XHmHaJlb16rb4FpCh F66A+u0xAHD8B4r1kEBdJjI7SFSc6ovR9y+Mm5SnGOejHktzEAXsf3b/Z s=; X-CSE-ConnectionGUID: YDG980EeRKCUXJh2FaVr4A== X-CSE-MsgGUID: Jm/T7xflSTmD8U43nU1MTA== 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,305,1763420400"; d="scan'208";a="264605187" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Feb 2026 17:55:16 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 3788C8182B; Sun, 22 Feb 2026 17:55:16 +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 51614817FB; Sun, 22 Feb 2026 17:55:06 +0100 (CET) X-CSE-ConnectionGUID: 6lHf8SBLRsWvxljqxDWqog== X-CSE-MsgGUID: bC3hg6vlRkS1j2v9q9uw4A== IronPort-SDR: 699b34d0_oi7gt8lNwym3nXSLo3CdVEPADmZ+E0RnUJDHx9whYm3Q2g4 KBIoOqWeM+HE0K8A5QolMaroLmMwC1MPjoZzvag== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0G2BgCdNJtp/9Oqd6haDnuBUIJBB4EAXzMHCEmEWINPh?= =?us-ascii?q?SynFoF1Cg8BAwENLg8RAQIEAQEDAQOCDJAWAh8GAQQyBw4BAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAQEBDQEBBQEBAQIBAQIEBgECgQoThk8Ngls7ghYsDYEABQEbBh0BA?= =?us-ascii?q?RIUEjQCBSECAg8BBEcCgxU2gWwCTwMEDak2eoEygQGCDAEBBoEI3QkDBoEfL?= =?us-ascii?q?ohUAYFFhC87hD8nG4INgUeCRXGBBYFcAYFPg22CaYImehSCAJFIgUp4LAFVE?= =?us-ascii?q?xcLBwWBMzMDIAovFBkCFB0SDwQWMh1wDCcSLBczWBsHBYcKGw+IdYENWYEeg?= =?us-ascii?q?TYDC209NwYOG49UP4IvgT8TgT6UJbM4gj+BZwWEa4culgeXYJIDgQiZBiKNZ?= =?us-ascii?q?5s4gW8DM4FZMxoIHBSCbgEBMk8DGQ+OX4N1hGCKIQmrMkI1PAIHAQoBAQMJh?= =?us-ascii?q?TwIAYwnLQWBSwEB?= IronPort-PHdr: A9a23:Gjco0RSb640+fqXXqoNups+w3dpsosiSAWYlg6HPa5pwe6iut67vI FbYra00ygOSAcODs7ke0LaG7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xgXHr3ZHeOlbyn5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5u8Y YUREuQPPuhWoIfyqFQSohWzHhWsBPr1xzNUmnP7x6833uI8Gg/GxgwgGNcOvWzTotX0KKgSU fq6w7fMzT7ecv1WwSny6JLTfR8/u/GHQLV9cdHJyUYxDQPKlUufqZb+MjyIyOsNsm6b7/J6V eKohG4nsRt+oj2qxss2l4bGmJsYx1bZ/ip23Ig7P8e3SFJnYdG6CptQsTmXOoRrTs4mTGxkp iY3x6EGt5O0YSUExokrygLcZvGJboSE/hDuWfuPLDpmhH9oe6+yihes/UWhzuDyVte43VdEo CdDj9LCuHcN1xnJ5ciGTPtw5kmh2SuJ1w/P9uFEIEc0lazBJJ4l27Iwkp0TsUvCHiDqgkn2i 7WWdkoi9+O16Orneq3rqoKdOoJ3kA3yL7kil8ilDeglMAUCQ3KX9fqh2LH+5UH0Q7pHgucrn qTWvp3WP9oXq6G7DgNPzIov9RmyAjG729oCh3YHNkhKeBefgojpJV7OJPf4AO+ijFuykTdrw ejGPqfmApXCNHjMirLhfbNn50FB1gU/1dFf55RKBbEdOP//R078ud/CAhMkLgC5x/zrBMh/2 48CQ26DHLKVPL7KvV+N/O0vIu2MZIEPuDb6Lvgo/+XujWcnll8HZqamw4EXZWulEft4IkWZZ 2Lsgs0GEWcFpAoxVunqiFiYXTFOeXm+R7g86S0jCIK6EYfDQZigj6Cb0ye+Gp1af2RGClGXE Xf0bIiEQPcNaCeKIsB7iDAEVL6hS5Ug1R60rgP6xaBnIvLO+iIErZLjyMR15+rLmB4u8jx0F t2R3H2JT2FphWwFXCQ23aB6oUxl0FiPy6l4g/pCFdxS/fxFSAk6NYTEw+x8EN/9QhjBccuRS Fa6XtWmBik8Qswpz98BfUl9HNasgArb0iSkDLEZj6aLC4Iq8qzfxXb8P9tyxGjH1Kknl1kmW MxPNWK8hqFl8gjTApTFnFiHmKqyaKsc3y/N9GKbwGSWs09XXhB+X7nZUH4ZfkfZsNH56VnYT 7CyEbkpKhJPx9aNJKdScd3plVtGSe/5NtnCfmy/hn+8BQ2QxrOCdIXqe3sS3CHaCEUciQ4e4 WuIOxVtThum9n/FASZ1PUjmaEDh7ax6oXW0CEguwEXCZERk0/+x+wUJrf2aUfIamLwe/G8ho i53EVK599LfENmNow4ne79TJZsy4FwC2W/HrCR9N4ejIqRmwFkEfEA/o1L22g4yA4NGltUsp 34CyAtpNbney15IbHWFxZ32PPvaJnS2tB6ybYbdwRfY18qKvK4Eruk77x3ouxjsHU4/+V1m1 cNU2j2S/NGCBQUeWLr1U10r7F5xp7jeZyQn/MXP2DkkNae/qXrD3c4kHuY+1j6hedkZPa/CH QS0Ds5eT8arbeUsnV+0aBkJOe1U6LUcO8K9a+DA3qewNaBvmyzixVxd54dz7kKB8DBtYurJx IoehfuRwgvBXjy6kVTl+s/7g8VFYBkdEnD6yC2iCpQVLql1cocAT2OvONGfwchig5nqWDhT8 1vnT10d08Pvch2UYVHn0Atb2GwbqnfhlyD+0iQyiy1t5qyAxDCLwuLsczIDO3VXXy9jilyqL IXwx8gAW0ftawEvmzOp5EXngaRY4OxlIm3WQExTOizeCmpHW7Csu6DESOcLoIgwtT5/VOWnf UvcQbP7v10V1yqlFmAY2TN/PwqQl63dpDRYqVm2CV9SiDzwUodN5lOX78HGX+952jsdWDI+k ybLBh21NtKp8NPSm5qH+vu/XHm9S4YWbDLm15iouyy86mlnDge4guio3NbgFExyyib6zZxuV D7UhBbjJIDgkbm5dap7b1FlH3f46tFmAcd1koI0gZwKwj4Bi9Hd1EA41EzUFPB65Z7TQVIJR CAG2cbS5wyj0UYlM3HNj4n9E3SGy8FsY923J34N1zgmx8RLE7uPqrdNmG18qRylrkaZffFyt ioBzfo19GVcnv0EqAM2iCiRH/RaFk1VNCqpkxWT8/ilp6RaYm2iN6Ktkkx62ZisEryEvildX jDlZ9IpGSZt9dl/OVaK3HC3oo74Pcfdd9Md8wWZiRLJieVTNIkZmfYQwCtif2zn+TUrzu8wl jRv24u7tYyfJn4r8rj9ShVfMziwe8Me/Sv8padTk8vQ2JqgWt1tFy0QTYDASPujC3QSqrLuP ECTE3l0oX6XFJLeARLZ5EQi52rLGpamK3KNYX4Gy9h4bBqHYktFj0RcdTM8mYM/HQ2vycr9a wJewQgqwnfQjjp39tlFDSe5e0z64iCSRXN8QpWfJQRX6RxY7kOQLd2G4/lbGyBD4obnpwGLN iqUYw0OBGpPR0/AT13oOb62oNjG/e+wC+G5KOOIZq+B7aRTSuuZ3Z+0+oB9uSyRcMOLejFvE fA9xktrUmp4HYHYnTsIUSkeiyPGZoiauFP0+yYxo8mj++/DVAOp+I2OE7oUMMkrqD6shqLWE u+bhC90LX5jzp4Wz3LSgOwExFMIgSx0XzWgELIYrynCVqvVn+lbAkhIOGtIKMJU4vdkjUF2M snBh4atvlYZpvs8ClMeEEfkhtnsfssSZWe0KFLAAk+PcrWAPzzChc/tMuunUbMFquJSulWrv CqDVVf5N2GYjzTzXR21Ge1BjSeDJhtRooi4d1BhBDurV8roPyWyK8Q/ljgq2fsxj3LOO3QbN G1na05XpLCKxS9Vg/NnAWtO9HNgKK+IlnXR9PHWf64fquAjGSFoj6Ra7XA9nqNS9z1BTedpl TH6otNvpUm8leaVwz9iFhZDwtpSrKSMu0gqeaDQ950bHG3B4ApI9mKITRIDu9piDNTr/aFW0 NnG0qzpen9E9JrP8M0QCtKxSorPOWc9MRfvBD/fDRcUBT+tO2bFgkVBkfaUvnSLp5k+o5Lol dIAULheHFAyE/obDAxiErlgaN9sRj4+m7OBpMIF5Hymth7eXsxfu9bLW7PaAPniLiqYkagRf wEBktaaZcwYMoz23VAna0EvxdqaXROJDJYU/XUnNFZt8yAvuDBkQ2Y+2lzocFao6X4XTruvm wIuzxB5eaIr/Svt5FE+IhzLojExmQ8/g4aA43jZfTjvIaO3RYwTBTDzsh17KYv2WQx4dyW+k E1iLC3DSKhYir4meW0h22q+8dNfXOVRS6FJekpa3umaff8ly3xQpySh3VVA6vHMDJ4kmAZgI vvO5zpQnglkatAyP6nZIqFEm0NRiqy5tSitzuktwQUaKi7h6UuqcTUT8AwNP7gifG+z+/B0r BeFg31FcXQNUPwjprRr8Fk8MqKO1XCo37lGI0G3f+uRSsHR83PYmNSCT0kY2k4JkVFf+rds2 MImNUaZH0wi17qeER0VONGKcF8FKZMLpT6KIn7I67yUiZtuWuf1XvjlV+qPqLoZjgq/EQAlE p5NpsUNE5+w0V3JeMLuLboL0xIot2GJbB2OCPVEfg7OkS9S+p/visYujM8EeWlbWzwkYkDVr v7NqwQngeSORoIza3YeBc4fM24uHda9g2hftmhBCz++1qQYzhKD5nnyvHe1bnG0Ytx9afOTf R4pBsux/GB16LC7k1Ta6L3SKmD8Lc5ltcXG7OZcq5vNWJY2BfFt9lzRnYVVXSngSHbCC9S4P bD8ZogqdcbzBWyzV1n5hz9/HKKTdJ69a6OPhw/vX4NdtoKWiSsiOcGKHTYbAx5spusH6fE0d UgZbpE8exKtqxUmOvn1PlKDytv3CTXIS3MeX7xFwO69fbAS0yc8crrw1i47Vp9jh+D/9F5FR YlW3EiAlbD6PtgYCHerXCYEIk3ZrC493QCNL84Ky/wkiFPNuFgYaHWQcfBxLXdDp5c6DE+TJ nN/Diw5QUWdhMzN+Fzk07cX9ipb19FatI8N+GD5pYPaaSmwVbaDpZjUtTI6atc8qqh0d4Dua seLr5LRmDXDQYKY61PVFnfjRrwDxYAWensBCPBT/ANtcdQLo49A9VY8Wo8lKrpDBbNt7rGmZ Dx4DDIDmC8UU4TTlDcGg+q6x/7bjkLJLsRkaUVV9swd2p1HCnclB0FW7LWuXIjXiWKeH20CI QNIqB9J+BpFjYhoOObs/IvPSpZIjT9QufN9FCXRRfwKvxP2TH+bhV/gRbCvieusiEhJ1P/22 NQBcBJyCE5F3eFZjEItLfd7JuND2+yC+i/Nbk78sG/3naG+I0JNzMTPa1DiJIbItGzkSCoT4 3QRQMlDxTuMcPZa2xo8Y6EtqlJWJYmgcUur/D0oybNiGLygXNyqzVIo/j4WAj2nGN1bB6R6o UraDXd7NouzpsyvaPAwCidAvYeQoFBDnABxPj6lnNBCftpV7GdEVXBKsX2cpIfgEZMTn5YvX tlVfY854S6kULVNPJzby5XXkrDiy3nB4Tczql6/wXO/Fv3hJwq812ETGwMxPWORsEAqCq0g/ zWKmrgimlx5/uFDHL+Al0x0pXBxE8IXbgs= IronPort-Data: A9a23:Lrriba1vb/BoZOTNcPbD5ad1kn2cJEfYwER7XKvMYLTBsI5bpzNSz GscUG+FPv6JM2fxc48lPojk8ksDuZSAzYQ3GlM+3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAhk/zOH/ykVbOs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyaDt8B56r8ks14qyo4mlA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxlz8xCsmom6rMaUYDRLjfJ2Cm0hK6jID/6vTqjnVaPpcTbJLwW28P49m6t4wZJ OF2iHCFYVxB0psgNwgqe0Iw/ylWZcWq8VJcSJS1mZT7I0buKxMAzxjyZa2f0EJxFutfWAlzG fIkxD8lMBSjibKN6paBUdZylsAhNdnHA5oYtSQ1pd3ZJa5OrZHrT6jL48dC2zgqj8VLW/rTD yYbQWMxPFKZOkwJYwhPTshnxY9EhVGnG9FcgEmNqLA97nL7wAFw1qD3N9XPc9mPA8lY9qqdj judrjipXU9Ab7RzzxKP2SmsibHRmRn4Y9sQTqPp7693nwG6kzl75Bo+DAXl/afRZlSFc9lWL khR/is1sYAp5UmzR5/8WQe5qTiKpHY0UN1JVuY+9Qul0bvR+w/fB24eTzcHZsZOiSMtbTAn1 1mRhdTmHzVqtfuZRBpx64t4sxvsPQgbfVQoQRUfchUV59v6sK0MlxXAG4ML/LGOsjHjJd3n6 xynxBXSap0fgM8Nz7+88krOhjfqqpWhou8JCuf/AjnNAuBRPdDNi2mUBb/ztKooEWphZgPd1 EXoYuDHhA3OZLnU/MB3fAnyIF1Zz6/bbmGC6bKeN5ks6yar9mTreoZU4TdzbE5mWvs5lP6AS BG7hD69E7cIZiD2PPUrPdjoYynopIC5fenYujnvRoImSvBMmMWvpkmCvGbBgDy/o1tmiqwlJ 5aQfOClCHtQW+wtzyO7S61ZmfUnzzw3jzGbD53q7QWV4ZzHbl6sSJABLASvaMI95/i6uwn7y YtUGPaL7BR9a9fARBfr37QdF21XEkhjN6vK85RWUsWhPjtZHHoQDq6N4LE5JK1gsadntsbJ2 XCfWX1nzEf0pV/ZG16oanpcMK7dcqt+iVkZPiUcG0mi9FZ+QISo7YYZL4AWe5t+/sNd7PdEd ds3UOTePeZuExPpoy88a7v5p6xcLCWbvxqEZXeZUWJubqxeSBzs0f66WAnWrQ0lLDe97Ok6q J2ejjLre4IJHVlePZyHecCU7g2DuFYGk7hPRGrOGN5YfXvs/KVMKyDcivwWIdkGGS7cxwm1h hqnPhMFmdbj+4MF0sHFpaShnbebF+FTGkl7HW6CyZ2UMSLc3HSowK4eceKuUA3ealjJ+/SZV b0I983/DfwJp0YVkoxeF70w87kyyeGyrJBnzyNlPk7xUXKVNp1aLEKr5/J/7p92+ucBuC+de F6+xd1BCLDYZOLnCAEwISQmXMSi1NYVuDrg0vAoK2XY+h0s3rqNbh1PDTaxiQh2Drh8AKU6y 8gP5e8U7A2ejEIxE9Ck1yp7yUWFHkYiYY4G6K4IIdbMpFIw61dgZZf8NHfH0KuXYY8RDnhwc y6muqXSop99mGzASiMXPlrQ17N/gZ8uhkh7/GUaLQ7Upuuf1+4F5zwPwzEZVQ8P8w5m1dh0M W1VN0FYA6WC0jNrpcpbVVCXBABzK0yFy3P11mc2ujXVf2uwWkzJCV8NC+KH0UQa0mBbJxxw3 rWTzkT7WjfLIuD1+AYPWnBelv+yduwpqzX+m/2mEf+VQLg8Qz7u2ZG1aUQy9hDIPMIWhW/8n 9dMwtpeU6PAGBA1n7waEKifjLQZdwCFLjdNQNZn56I4IlvfczCThxmLEUS4RZ5SLPmb90S9J dBkHZ9MZS+fzweLlCgQXoQXEo93ndkoxdsMQazqLmg4qImiriJlnZbT1yrmjkopfoleqtk8I YbvaD6yKGycqn9KkWvrrsMfGG6HTfQbRQ/7hsaZzf4oEs8djeRSbk0C6Lu4kHGLOg9B/RjPn gfiZbfT/tNy27ZXgIrgPaVSNTqaceqperyzzzmylNBSYffkE8TE7VoVo2a6GTVmB+IaXtAvm ImdtNLy4lj+g483dGLkgLiEKbhC4JSjfehQM/+vFkJgowm5ZJbO7ScAqkeCEr4YoOMFs4PjD 0G9ZdCrfNEYZ8ZFyTcHI2JCGhIaEOLsYr2muSq5qO+WBwMA1RDcaumq7mLtcXoRYxpg10cS0 eMok63GChFkQIVw6NssC/xnBYdiJ1D5UK4jMdH83dVdJnf9mUuM49MOijJ5gQwnyFHdeCo53 X4BbhTzdRKqoqbH1thctsp+s3X7yV5j1PIocBt1F8Fe0liH4a1vEQjZGZkLC5dMiCv9zpj9Y XfBYQPOzMk7sStsKX3B3TgoYutT6iHi9Ds0yvzFMn54sxuLOb4= IronPort-HdrOrdr: A9a23:dXOY+62mx68tHlOrf9VJsAqjBKMkLtp133Aq2lEZdPUzSL38qy nOpoV46faQslwssR4b+OxoVJPsfZq+z+8X3WByB9mftWDd0QPCEGgI1+TfKlPbdxEWutQ86Z td X-Talos-CUID: 9a23:rrREbGCk3Xt4/mn6E3dj1EBEIeoBSGbi0mfUIVaoJVlwT7LAHA== X-Talos-MUID: 9a23:peH+lAqkOvefzz5pRqkezztJb8dnvbqqMkM2yJdcpZidZDFvZx7I2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,305,1763420400"; d="scan'208";a="139487623" X-MGA-submission: =?us-ascii?q?MDEUBxRVIIvC7cCZD1F2ZxHVjb/1roRO+cCHVP?= =?us-ascii?q?p2zKZAQXq0vuLMoTtGNobL3+e32OOcY7v7fgQ1Qcjsedp84kS9pGYPhO?= =?us-ascii?q?AoM2MnEwR0vnTs4rlOQCLOqutqGAOGqpV8o6lsSa1RrMLyVmAkekjDSd?= =?us-ascii?q?ZvVPh4Vs0FE9CkfZNCVGB5/Q=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Feb 2026 17:54:41 +0100 Received: from 2da35a7b-b996-4458-9505-339b58974238.fritz.box (p548ff7e0.dip0.t-ipconnect.de [84.143.247.224]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange secp256r1 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id A1CF83AD3F; Sun, 22 Feb 2026 17:54:38 +0100 (CET) From: Michael Sperber To: users@racket-lang.org, caml-list@inria.fr, haskell@haskell.org, ghc-devs@haskell.org, types-announce@lists.seas.upenn.edu, fun@cs.nott.ac.uk, coq-club@inria.fr, agda@lists.chalmers.se, lfcs-interest@inf.ed.ac.uk, fm-announcements@lists.nasa.gov, ProofTheory@lists.bath.ac.uk, gdr-im@gdr-im.fr, logic.list@outlook.com, fscd.conference@dcc.fc.up.pt, nwpt-info@lists.ioc.ee, prog-lang@diku.dk, relmics-l@McMaster.CA, spls@lists.cent.gla.ac.uk, SREPLS@JISCMAIL.AC.UK, curry@lists.rwth-aachen.de, sicstus-users@googlegroups.com, sair-list@hw.ac.uk, types@lists.chalmers.se, ARW-COMMITTEE@liverpool.ac.uk, cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu, clean-list@science.ru.nl, event@in.tu-clausthal.de, gt-verif-permanents@gdr-im.fr, fmics@inrialpes.fr, comm-theory@ieee.org, depsys@macs.hw.ac.uk, cade@itu.dk, planetkr-owner@kr.org, Announcements-OOPSLA@LISTSERV.ACM.ORG, behavioural-types@lists.cent.gla.ac.uk, ecoop-info@ecoop.org, eutypes@cs.ru.nl, eventi@grin-informatica.it, ic.eatcs@di.unipi.it, Message-ID: Date: Sun, 22 Feb 2026 17:54:37 +0100 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19457 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *** FLOPS 2026 -- CALL FOR PARTICIPATION *** The 18th International Symposium on Functional and Logic Programming May 26-28, Tsukuba, Japan https://functional-logic.org/events/flops/2026/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Welcome to the 18th International Symposium on Functional and Logic Programming (FLOPS 2026) on May 26-May 28, 2026 in Tsukuba, Japan. FLOPS 2026 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST). FLOPS brings together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. VENUE FLOPS 2026 will take place at the University of Tskukuba. Tsukuba is about 60km from central Tokyo, and easily reachable via public transport from both Haneda and Narita airports. Tsukuba is Japan's science and technology city. Yet, it preserves its rich traditions and local heritage with attractions such as Mt. Tsukuba and Tsukubasan Shrine. REGISTRATION You can register for FLOPS 2026 here: https://functional-logic.org/events/flops/2026/registration/ Early-bird registration fee (until Apr 25) is 50000=C2=A5/20000=C2=A5 for students - roughly 275=E2=82=AC, 325$, 240=C2=A3 as of February 19. Registration includes an excursion and a banquet on May 27. Extra banquet tickets are available. PROGRAM Keynote speakers: - Kazunori Ueda, Waseda Univerity - Fritz Henglein, University of Copenhagen - Gabriele Keller, Utrecht University Tutorial: - Jesse Alama, Scheming in Lean Accepted papers: - Li, F., Gupta, G.: Computing Supported Models via Transformation to Stable Models - Miyazawa, O., Nishizaki, S.: Matrix Coeffect: A Coeffect Calculus for Handling Interdependent Information - Arntzenius, M., Willsey, M.: Finite Functional Programming or, LAMBDA: the Ultimate Predicate - Lam, C.: Optimizing Mesh Booleans by Being Lazy (System Description) - Zhou, N., Jiang, C., Bierlee, H., Stuckey, P.: Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl) - Bohrer, R.: Demonic Dynamic Logic Programming - Morihata, A.: Test Your Polymorphic Functions with Boolean Values - Kiselyov, O.: More Fun with Monoids (Declarative Pearl) - Boyland, P., Hyatt, S., Dewey, K., Hardekopf, B.: Breccia: A Functional DSL Compiled to Egglog for Test Input Generation - Cabo, Q., Scholz, S.: Finding Programming Faults Even When Large Parts of the Code have Disappeared - Maieli, R., Acclavio, M.: Probabilistic Linear Logic Programming with an application to Bayesian Networks computations - Tudor, A., Arias, J., Gupta, G.: Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications - Hemann, J., Pfingsten, B.: Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics - Coltharp, N., Libby, S., Israel, L., Li, Y.: Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming Further information about the conference and local arrangements is availabl= e on the conference website.=20