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=LsU3hzIz; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id EEF6140093 for ; Fri, 16 Oct 2026 12:01:42 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:from:to:content-transfer-encoding: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=h7SA+kzaIn20PXGuN0Db59yLT+yBr/zXRotCk5NCL0A=; b=LsU3hzIz632nPLrC+QXLg+ZjBegjVbl9Bp5auTaVAW05w2havLH78Thy qX+K/kdfdbnfVkHrmLtgl8R0etqIFp99ecrYdsPorsKPes4fC4ylbHlN1 spSVzleSbl9Ve1IEk1jdmkIa3/d8nUpPYzQA40V0f/bKWxnvcWXbr38i7 Y=; X-CSE-ConnectionGUID: 33e5THGnTnGKhhd9y/iPvg== X-CSE-MsgGUID: sGMzHLVhQGiZQteGq9QJ8w== 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.27,161,1787004000"; d="scan'208";a="300559093" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Oct 2026 14:01:39 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 3F18A82577; Fri, 16 Oct 2026 14:01:39 +0200 (CEST) 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 C227A82558; Fri, 16 Oct 2026 13:59:06 +0200 (CEST) X-CSE-ConnectionGUID: k8jXUIYYRbOe09s8IGt9gw== X-CSE-MsgGUID: OR6SG8OjRfWN4r+o0GjSow== IronPort-SDR: 6ad21187_YS1o5U+d0XFRhaQJCXRCRqAdzZL6t7BO/6wkOC1JRqfRWz1 nkJAbGJoCO/vccXn/uH1gZ97KWZItk8icbXHJ5g== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FaBAC4ENJqgVdUZTRaDoJNgWxTQgFIYjIHUYRYg00BA?= =?us-ascii?q?YUriHmRTYp9gxQWKQYJAQMBDT0UBAEBAQIBA4ILkQwgBgEENBMBAgQDAgMBA?= =?us-ascii?q?QEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE7Bw47hk8NSQGJSAGCA?= =?us-ascii?q?DtxYwg6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAg0HLSpDBg8BBQgBASYFD?= =?us-ascii?q?TQCJgIzLBQBARKCbAGCJARMBAIOs0ACAosVgTKBAYIMAQEGBASBAYFi2QIxF?= =?us-ascii?q?oFrAwYJAYEVLohfAYV5O4RBggtEgRUnDoM0gQWBXAQYgR0BA4QAgmqCERV6E?= =?us-ascii?q?oJdhzaNDoFKHANZLAFVExcLBwWBNTMDIAovFBkCFB0SDwQWMh1wDCcSLBcvW?= =?us-ascii?q?BsGBYEddSuCFiMZNnqBCQpUgSspYRAXgQlOAYE4AgaCToElWwIBSUEOB0VTC?= =?us-ascii?q?SVDEkcmIggSCQETGjALgRs4PAkoQRcMcwwdBXIIAg0JByltPTcGBAsZQZMKH?= =?us-ascii?q?oIYLhMFMUMiKxMNLwEWExcBBwUwBA4lKAUJPZJaGrNFB4QhjCKVPwYTL4sbn?= =?us-ascii?q?1SZCCONZ5UzMBMYhH8CBAIEBQIQAQEGgX8jgVwzGjQ/gmdQAxkPjjmIfoJmh?= =?us-ascii?q?zu/B0Q0PgEHAgcPAoFzhWSKHAEnDIFMAQE?= IronPort-PHdr: A9a23:8FYf7RRj3RIDD86Q+B9dDOOsotpsokmRAWYlg6HPa5pwe6iut67vI FbYra00ygOSA8ODsbkd0beM6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvQu8UMnYduNKk9xgbXrnZIZeha235jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5u/Y YUBAeUPPftWoZfhqFUBohSzHhWsCeD1xzNUmnP6w6833uI8Gg/GxgwgGNcOvWzKodrvLqcSS vy1w7fOzT7eb/1WxDf96JPVeR0mvf6AR7xwcdfRyUk0DA7KlU6fqY//MzyPyusBqXWb7+l5W O+plmUopB1/rCK1yccwlonGmJgVylbc+Chk3os4O8C1RFNnbNK6EJVdsy6UOpV5T888R2xmt ik0xqEJtJO7fiUExogryR7RZvGDc4WF4x3uWfuRLDp2mn5ofq+0iRi18Uil0OL8V8+03U5Er ipejtbDq2kB2ADU6siBRPty4F2h1iiJ1w/P9O5IO0c0lbDUK5I53LE/jIETsETfES/2gkr2j bWWel8j+uiy5OTreqjmppmdN49ojQHyKKUumtC5DO8lMQYOR3CW9OSi2LH54EH1XKhGguc1n 6TWqpzXJsYWqranDwJUzoou5ROyAyq63NsCnHQKKU9JdA6Zg4XsNVzBPfH1APK6jlixkjpmw e3NMKf7DZXXNHfDla/sfbZj5E5Yzwo+1d5R6o9aB78bPPz/RlH9uMDGAhInPQO43/rrBdtn2 oMZRGKPHrSWMKTPsV+O++0jOfGMZJUSuDbhNfcq++LujX4+mV8bZ6Wp2oYXaGy8HvRhJEWZY mDgjcsGEWcPpgY+Terqh0OeUTNLZ3u+Qbgw6iwnBI67F4vORY+gjKaC0Sq5BpFWY3pJClGIE XfmbYWEXPIMZTqOLcN7nDwESLihS5Q62B61rwD6yKBrIfDI9SECqJLj18B55/fPmhEq6Tx0E 8Od3nmXT25qkGIIXT423Lx+oUx7xVeOyrN4gvxdFdxL/fxFSAY6NZjGz+x7Ed/+QAzBfs2RR Fa8XtqmGS0xTs42w9IWf0l9HMyiggnf0CquHr8ajKeGBIc086LZx3j+Pdxxy3fA1Kk7jlkpW NFDNWO8hqJn7QjcG5bJk1mFl6atbakTwDTC9GKHzWaXuEFYURVwUbneUHAEZkrWqMz56VnYQ 7+vD7QnKApBxtSYJqtEcN3llVNGS+z7N9TEf22xg3uwBQqPxr6UYofmY38d0zvDCEYHiQ4e5 XOGOhI/Bielum7eCjtuFUjzY0Ps7+Z+tWm7Tkgszw6UdUJg1r21+hgIifCBV/8fwK4ItDsip jh2Blq92M/WC8abqApmYaVcZ84y7E1f1WLDsAx9IoKvILx+hl4fdAR3uVni1xJqCoVclcgqq 3QqzAloJa2E11NBciuU0o3zOr3WL2n/5AihZaHY1V/AzNib5qEB5OwlpFXmpg6pDFYt/m1/3 ddMy3WS6Y3GDBEKUZL/Sks57QR3qazHbCUl/IPUzXNsPrG0sjDc39IpA/MoxAy8ctlCLa3XX DP1RtELH8W1beUsnV+0aBkJFORT77IvedirfuDAxbamOuAmkT67ySxd7Z9n016N8SVUS+jS3 p9DzevclgCDEjbnhV2stsT63J1faCsJNm6+0jT/QoVYY+t7dsAWCiPmG9ewwdtCh5PqQW9w0 F+4G0hA8sa1eVy7ZBrA/kkY3kMO5HejhCGQzjpukjhvoLDblCfHxuCncBscJkZKQnNjhBHiO 8z8hNQTRGCndQ80jBa+o1z3waFHqb45IXOXCUhUOjP9JmV6eqS8rP+DbcsJ5ol7nz9QVbGXa EqBVrP76zUH0zirS2AYyi07bBmgsJa/lhc8lWHLfyU7l2bQZcwlnUSX39fbX/MEhlLuJQF9g DjTXB2nOsWxuM+TnNHFu/y/UGSoUttSdzPqxMWOrnjz/nVkVDu4mf37gdj7CU4iyyau3J9kS CXThBz2Yc/i3OKnMrEvZVFmUWf18NEyAYRiis01jZAU12Idg8Ceu3QakXzbO99Yn6v1KmcOF nYQ29CA2AH+wwV4K26RgYL0UnLI2sx6e9yzeX8bwAoRxZtyMv/OtOZvoHMt+Ry/sB7bZuV7k nEF0/wy5XUGguYP/g0w0iGaBbNUFk5dVcD1vzKP6d327KBeZWL1NKO1yFI7h9eqSreLvgBbX n/9PJYkBy55qMtlYhrK1zXo54fodcO1D5pbvwCIkxrGk+leKY4g3vsMiy19PGvhvHojg+clh B1q1Ju+scCJMWJotK6+BxdZMHXyaaZxsnnmy6hDnt2+1YqsWJxqXCgIHdPpQf+uDDMOpKH/L Q/dWDY4q3qdBf/eBVrCsgE/9yuJQ8ztZy7EQRtRhc9vTxScOkFF1QUdXTFg24U8Chjv3svqN kFw+jEW4Ff87BpK0ONhcRflAQK97E+lbCk5TJ+HIV9Y9AZHsg3ed8KD7vlbFStbuJSq6hGOY D/+BUwAHSQSV0qICkq2dLLo68TA6MCSDOn4JvCIfLbE+qROEvyPw5yoyI5v+T2BY96OMndVB Po+wkNfXHp9Fqw1gh03QjcM32LIZs+f/lKn/zFv69q4+7LtUR7u4o2GD/1TN89u8la4m/XLO +mVjSd/YTFWs/FEjXSOxqUfx3YYgSIofjLrDLdIuSPWTa3Wk7NaFFZGMWUqbJIOv/56jlYFM NWTkt7v079kkvM5Q0xIU1DsgIDMB4RCIm2wMk/GGFfeMb2HITPRxMSkKai4SLBWkKBVr0jt4 3DCSxalbmjFx2a6MnLneftBhyyaIhFE7YS0cxI3THPmUMqjcBqwdtl+kTwxx7QwwHLML28Vd zZmICYv5vWd6z1VhvJnFilP9H1geKOP3SiE7/LwIJwV9/JgRDl33bE/gjxy2/5O4SdISeYg0 iCUoMNuuHmsmOrJwzEhTRkE+X5bwYmMu0tlI6DQ8JJNDG3F8Bw65mKVEx0WptFhB46K2egY2 p3Vman0MjsH78PM8J5WGZ3PMMzeeilpIV/zFTXTFgdAUTO7KTSVmRlGiP/Lkx/d5pki9sqww NxfEPkDEgRyT65SC1w5ToBaZs4vAXV81+bc1ZBA5GLi/kSLApwC5tafEKrVWKiKSn7RjKEYN UZSh+qgd8JLcNW8ghIqa0EmztmQXROIBpYV5HUmN1B8oV0RoiEmEitvhAS9LFvquSB2d7b8n wZo2FF3Ob1/rW61sVlrfgKY9mxswAEwgYu32znJKWyodf7iU90OUHim8BRgV/GzCwdtM1/ol BQ9Zm6dHuBf0+M7JzAz0FeO69wSQLZdVfMWOhZInKPOPqx63wgE8XesnRcft7mCVMIH9kNic Iby/ShJg1sxNYdsd6KMfPEbwAAI3vDc+XLynqU4xAtUT6oU2FubYzVA+EkBN718YjGt4vQp8 wuJ3T1KZGkLUfMu5PNs7EI0feqanWrs1LtKK0b5MOL6TevRo2/bicuBWU89zGskvRJ9x+Asi Z0IThLMDAYo0aebEAkPOYzaMwZJYsFO9X/VOyGTreHKxpEzNIK4c4KgBeODr6cbhEu4ER1hQ t5Kt5xYWMnwlhGHZc78ZKYI0xAs+BjmKB2eAfJFdQjK2DYLrsejzYNmiIlQIjZOZAc1eS6z5 7vRukormK/eBpFvOi5cDtdCZi1lPa/y0zRUtHlBEjSth+cQyQzYqiT5ujyVFj73KdxqePaTY xpoTtCw4zQ2taas2ju1ut3TIX/3MdN6t5rB8+Qf8tyMTf1JTaJVuU3f3YBTAWGpGT2qc5b9N 93rZo8gYMahQG69SUC6gikpQt3ZEPz2FpLQ21mybrsM6NLd2y0/P8igED1YAw13u+wI+KN7Y 0sEfoY/Zhnr8Q85MubsRWXQmsXrSGGrJzxMSvBZxujvfL1bwR0naeqiwWchRJU3nKGntFQAT 5YQglTC1O6uMsNABDPrFCUXKGCt7WIp0nJsPeEozqIjzQPU5BMCZiuTerUhaXQY7Y1kQwLIZ y0wUi1hGhedldaRvlbqhuhNuXMbx5ENj4gn+DD/psONPWjqAfTz782T6215MJAnu/EjbNale 5Pc8suYxnuGEtHRqlHXDXT8TqIB3IAWeGUBH5wq0SkkIZBU4NIdrxZuEJ94f/sWV+Etvu74M zM8VHxLlHZLWd/YhG5QxbvsvtmS3haILsZ4OURd4swb24kTD3YtMHFZ+P7rVp2IxTWNEjFZe V5KvwoQvFlSxtcoJrK3p9eRKf0Egz9O/aAuW3OSRMAxrgn1FjnN01OgEK3zwav0hEpT1Ky+i NBDAUwmUBEPyboOzRkmcOkveftX49SC9zaMcQmSVIfFwuGlYlBaj9DXJQWQ5GXtv2D/FCQXv 2AXF9YnIJD3Ob5JqzAhMv5xj2gUeNvgfVvi7Ts5wYgvB6O/Sc2g21ciqzABWjuuFN1CTepht QCOMAA= IronPort-Data: A9a23:qwfziaiJ+WI4JevZ0fb7MaluX161ORsKZh0ujC45NGQN5FlHY01je htvWWrSaa6OM2b3ct4gPoS+/EsPsZHVn95nHQVurC02FC0W8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0k7wYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4TTSWdgR5AWAziFMUspGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6sc6nNQ8BDoPMwsZp2bEr6axPBEjTgv05Um8fb2P 6L1aBJDRk/4WUUVYg08Ncpmx6Gvm2X1dCBepBSNv60r7mPPzQt3lr/wLN7Sfd/MTsJQ9qqaj j+cuT2hW1dKaJrPllJp8Vr07gPLtSi9Vp8SD5Wy/P0siVbV22975Bg+DgPj/KTp0hblMz5ZA 2supBEB/Y8wzkKUaIXnHBrgj3y/uQFJDrK8FMV/sWlh0JH8+QuGHGkYTzhOQMc3sdc/Az0sz F6A2d3zbRRkt6TQQnaA/J+PvDaqMG4UK3UDbGkKV2Mt6NDmpMQ3jwnTZs1yFba8yNzzAzD5h T6QxBXSnJ0WhM8PkqO850zHji+2oYDERxwy4FyOBjj9tlMmIom4e4av9F7Xq+5aK5qURUWAu 35CnNWC6OcJDteGkynlrPgx8K+B5KaHAAD9sG9VFb4sr2W2q1+MYdFf/2QrTKt2CfrolBfsa U7X/AVW/oNTMWaward6apC2DZ1zlfK4TYS6EPfJctBJf559Mhed+z1jblKR2Garl1UwlaY4O tGQdsPE4Zcm5UZPk2veqwIhPVkDm3xWKYT7GMuT8ilLKJLHDJJvdYrpxGCmN7hjhIvd+Fu92 48Ga6OilU8DOMWgOXO/2dBIcjg3wY0TX8GeRzp/LbbbelIO9aBII6O5/I7NjKQ8x/8NzbmWp yzgMqKaoXKm7UD6xcyxQigLQNvSsVxX9C1T0fUEZA70hSoQcsy04b0BdpA6W7Ai+aYxhbR3V vQJMYHISPhGVj2NqXxXYIjfvb5SUk2hpTuPGC65Pxk5XZprHDLS9vHeIwDAySgpDwiMj/UYn YGO7A3gbKQmexVDF+fTMfKm8EOwtyMSmcV0REr5HeNQc0TNrqlpEQfU19UMBu0tNjDA4AW/+ y+EJRJJ/OXigZE5z4TKoaauvo3yKe9PRXBCFTOH8LztC3HQ0Tu9yJ4dUuzSJTH5f0H38ZWEe u964azdMvoGvVASqKt6Me9h4pwf7uvVhY1x71pbDlDUSW+0G5VcLWKg38IShpZSx7RchxS6a niP9vZeJ7+NHsHvS3wVGyYIccWB0uMyiBDJzPFoPnj/2jB7zICHXWpWIROIri5Xd5lxEYE9x NYeqNwk0BO+hjUqI+S5oHhtrUrUFUM5UoIjqp0+K63ogFByylh9PLrtOhWv65SLM9hxIk0mJ wGPv5X7hpNe+1HjdkQiHn2czMtfgpUz4Cpx9mEgHGjQuNT5ha4Q5iZzoBAXVQVeyytV391jY lZLM1JHHoTQ3jNKqvUaYUWSNVBgPjO79Hb16WM1r0zCbkzxVmXyPGw3YumM20YC8lNjRDtQ/ ZDG6WPATATsQsb6hgEzaEt+ts3caMF9yRbDvOuFHM21OYYwThS4o62pZFNShQrsWvk1jkzti uVV/PRRb/XgFCgy+qcUNaiT5Y4yejulelNQYKhG0vsSPGf+fDqS52C/G3qpcJkQG82QoF6KN cN+A+luCTK87X+qhRIGD/cuJ7RUoqYY1OAacOm2GV9c4qqtlRs3gpf+7SOkuXQKRe9pmsMDK o/8UTKOP2iTpHlMkV/2s8h2FTukUOYAeTHD8ri5wMcRG7IHldNcQ0U4/7+3nneSaS9M3Rafu iHdbK73kc1m76lRnLXXL6YSPDXsdOvPV9mJ/juj7PVIT9fEavnVuy0v91LIAgVxPJkqYepRq 4ijitDN4R76jO4EaFyBw5ilPItV1Pq2R9tSY57WLmEFvC6sW/3Mwhok+kK6DZl7ydp9wOCWQ imiTM6ed/oTZc18xWJUWQdaAR0yG6T6VYa+hCKf/tCnKAkR7hzDF/yjrUTWVGB8cjQZHaH+B ivfmeec1voBoKtiXBY7VuxbWblmK1rdaI4aXtzWtwjAKFK3g1mH64DQpTB55R7lUnC7QdvHu 7TbTR3DdTO3iqHC7Pddl6dQ5hQ3LnJMsdMcT3In2exdqm6FVTYdDOEnL585JIlekXXy2LHGd Tj9VjYeJhunbwtUUyfXwYrFZRieNNwsK92iBz0O/mGoUQmUKr6EIoNc8nZH3y8rVBrlle2pE IRLsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53Dk1lmjX9W1yNX2k/Y6H4MOc0fFKz+D5N6fryLofYc8WJbkIA 3TqW2+K5GPQ0XsW0Ufsk8x8mrd6UJpnAeDjRJIPhyVL901z1ojjF8kInmwGR4c/+2az1nvDw yK07SFW6FutcShsNX7/9enN05h7UTQFBHfUj2YTYNMAfQMRl7DkRvRh8O43xVwcZUQuU4W0j Qr+tHqsnmA= IronPort-HdrOrdr: A9a23:V9fYX64So59w5+1mBgPXwTKBI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc6Ax/ZJhSo6HkBEDmewKlyXcV2/hpAV7GZmXbUQSTXeJfBOfZslnd8k7Fh5NgPM VbE5SWYeeYZTYasS+T2njDLz9K+qjhzEnHv5a5854gd3AJV0k2hD0JcTpzX3cGMTVuNN4cLt 6x98BHrz2vdTA+adm6PGAMW6zmq8fQnJzrTBYaD1p/gTP++g+A2frfKVy1zx0eWzRAzfML9n XEqRXw4uGGv+ugwhHR+mfP59B9mcfnyPFEGMuQ4/JlXgnEu0KNXsBMSreCtDc6rKWG70srqs DFp1MaM8F6+xrqDxGIiCqo/zOl/Ccl6nfkx1Pdq2Dku9bFSDUzDNcErZ5FczPCgnBQ9+1U4e Zu5Sa0ppBXBRTPkGDW/N7TTSxnkUKyvD4LjfMTtXpCSoETAYUh5bD3xHklXavoIRiKpLzOSI JVfY7hDbdtABqnhknizyNSKIfGZAV8Iv+EKnJyy/B9nQIm3UyR9HFouvD3rk1wiK7VdKM0mN gsEp4Y542mHfVmH56VQt1xN/eKNg== X-Talos-CUID: =?us-ascii?q?9a23=3ASGsLJGmPexh1owHhInkp7TL4vPXXOX6NzkftAn6?= =?us-ascii?q?JM2xOReXEUg+x1781nNU7zg=3D=3D?= X-Talos-MUID: 9a23:bA0mdgnlmKN4nUo7jIhKdnpFDplTzPSJCnoDrrNaoYqDbQNyADCC2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,161,1787004000"; d="scan'208";a="300558003" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHBNxzlfZlw2N/1iU0OnohJUgA5KZcjPD6QQw?= =?us-ascii?q?jY/YevA4cs6Jm/UA1kX9lOuz5QP0QvJ8RO010h1QaR4ON27qAOvy0PoB?= =?us-ascii?q?CfYzm6ByfWhyJmOFy5F62A32uk6QjTC4V9gvuD7MA06C8y9cW/gFz/wf?= =?us-ascii?q?2vkc/P5a73ZBxu8eMXhSj8rA=3D=3D?= Received: from mail-northeuropeazon11020087.outbound.protection.outlook.com (HELO DB3PR0202CU003.outbound.protection.outlook.com) ([52.101.84.87]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Oct 2026 13:59:03 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=RDOMY/q5MXpN1rdlUB/U30+N+7SWgJ2jiNnCtKDb69e4+nCH86Uvt8uC8hBNZ1lEPgoIA1pp0UZrLq95KqzGnVYTBxpklXyiI5ZxA4hvIfyw2f7fmHKC9hAy6dCpJgPkuP2AzL+iKttQsZKFQv/xjsSy4+ulJguKQoRtgYzoP79QAuyKFV+Jv3SzLGo9z2kVSv+uexaBgta/v/+kbTYgJyXiSAN/ftb61GH0o7yuCkKk7G0OweImRXDwAu8L1sCr6zvHyioMtk7JOhySSzX3F3QAPtvnAL+JIFuJrfAXHj6PPsIjYt6yrezJrg3Sd1tqq2ptdYSc38x/lJTkqjsQ1Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=h7SA+kzaIn20PXGuN0Db59yLT+yBr/zXRotCk5NCL0A=; b=ptyzASuNk9g9OSds123qoBBW//KATefWiPNFkDN+TVi2WDH8BlL4rxViIhLQi6CubIRL3hfKyUNTkIHWFwkv7ViStLMrj/BOtEpHKtnw8/6ZpAkHUYxPAB2VCs8GxvWAnw1JA0fxqrNdmgdpMlwteB1CPnWezHDIh94bG8qLc2CF+2hxT+MS+ir+ikLWsusqV+ZmU6u6dkLpAloPVD0Ch1M+nabl4dXrnsCDo2r1GecIrBeABcDYsyPfNbOquxBCAmI/X7qA8QoVUAQ3+nMsl3YXHds7G6ufyv9ubCiUg/VjjD1FmJ5d99D7KxZ0nrq2+anboUrpY0GTZspEadg/ZQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; arc=none Received: from PA6PR02MB10592.eurprd02.prod.outlook.com (2603:10a6:102:3d6::17) by DB9PR02MB8910.eurprd02.prod.outlook.com (2603:10a6:10:3da::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.522.13; Fri, 16 Oct 2026 11:59:01 +0000 Received: from PA6PR02MB10592.eurprd02.prod.outlook.com ([fe80::9802:8409:a66b:9227]) by PA6PR02MB10592.eurprd02.prod.outlook.com ([fe80::9802:8409:a66b:9227%6]) with mapi id 15.21.0522.013; Fri, 16 Oct 2026 11:59:00 +0000 Message-ID: <33b8a40d-76f5-42be-a987-71643beac455@bbk.ac.uk> Date: Fri, 16 Oct 2026 12:58:59 +0100 User-Agent: Mozilla Thunderbird Content-Language: en-GB From: Carsten Fuhs To: types-announce@lists.seas.upenn.edu, rewriting@inria.fr, cl-isabelle-users@lists.cam.ac.uk, ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr, caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-ClientProxiedBy: LO4P265CA0168.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:312::11) To PA6PR02MB10592.eurprd02.prod.outlook.com (2603:10a6:102:3d6::17) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: PA6PR02MB10592:EE_|DB9PR02MB8910:EE_ X-MS-Office365-Filtering-Correlation-Id: 8e55f814-da7c-4662-a62d-08df2b7cddcd X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|23010399003|786006|1800799024|376014|366016|18002099003|6133799003|3023799007|10067099003|11063799006|5023799004|261009223027099003|56012099006; X-Microsoft-Antispam-Message-Info: FR8KGXlBnzSNQGyxsPmnF30smhG7COFyx553hei19kVoLu/XTOB1sByq1d2LWJNC6L5w++OO66JswWmrKhaTV7y+DNqzS2r5km6A0DbnpubN+YueH7xmgnY9mZD7hGenbH7BUkxOojqmlX7hZgbWDUa0bBxEHS8B2c3G6oUsasehzRWeHN3jzDNblr6IeqWQgHNa7R3uE6wWPxNYLs3wBjqtLqSFaMwnlCiOm2nWAZ3/1oS0Lq+mIW8B4hGbhA6/6/lzFOCytFTVUgRCg8cD8+RtIEfL/Dh2CIK7GMsB5mfTdZgZ937vZ7qNxJYRBkG9EBkRHie5eAAbj1gB5pNI3PWXjoh360Kj9Xz2BrKKy8NxQdC23y1yh0b7b+Cs44cQ6yO8Pi2+lqXP+Ldwgh1IrLdgT8QyAClCSKVF9Nu0cpeT/r80Qlk8Qa8YBYDHtZmvgiZvJw/HEx15b5CRSyoq9k2J29SW98f9ewvzvIOm+z5dEVEfksVDk4w3HB0TEqtM5p7mlliaGSIMKXseTU/cz2jmon2VeoP9YBzN2gvUvkaaDDUFJfIA7lRHzBEI4ISB/IKQasVOlp0amNkRGk7dxcaaHV+UfjsGPRgxcnRUu9E= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PA6PR02MB10592.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(23010399003)(786006)(1800799024)(376014)(366016)(18002099003)(6133799003)(3023799007)(10067099003)(11063799006)(5023799004)(261009223027099003)(56012099006);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SVhZejVpK3RuM0U1SkJoMm5oaXVhUCtRelA1UDJJVjBUQmt1UWJKaDRGb1BB?= =?utf-8?B?emxkRktJNWhUbVI2enlyVWYxbUk2a3BGVGRzM1M4QmJ4RWVxQ3JMdFhERkxI?= =?utf-8?B?TWZCWTVtSWZ3bjN0R2ZsVS9JcVMzdWtvVEdYMmRTTnBkMnprc1pOSnVLd1Uy?= =?utf-8?B?OWpzTzUvUE45emtiK1VXWmZUKzJHMS96aGRNNHA3elN5SUtKbHhPS0llcXJl?= =?utf-8?B?cGNWc3EyWE9OUFFocEVuWmg4QVVMejA2bkFzVUN1akFVOXJ2WVpLYUNGaGVR?= =?utf-8?B?ZWQvM3FQMVdJNmE1b3lQRUxTaU9GbmhPVmhHaURLeGlyNndHRE52REVSK2Z2?= =?utf-8?B?SXg0UlNXZnplRjVzbUJXN0dLVjR1OXZiazNHTTJYVXdDYktycEFZTEZBcUp4?= =?utf-8?B?K0FyMWV3SE5HTTdCR0I4dUQvVDZZQXVIanhyM0Y2UzBiY2JiQ2ZLY0pYTkNO?= =?utf-8?B?bDRQeVFWSmVCVXp6NmhWQTBkdy8rVnRnWnVFRTBXU2QvOG9taTNud0Nud1M4?= =?utf-8?B?cmg0NC8rS0wwUWo4YVczQ0ppOWd4VjB5QWlNVmt0cElZWHRKaWY1ZXZYZTIv?= =?utf-8?B?cTJ3dkptb2hKMHJydHhCcFc0OUEyamNmcDRiZHFyV3FKK3RQdTZRbHV0Qkpk?= =?utf-8?B?NElOL0MxY0M0dVBMalFUZWZVOHY4bVdNcXFFSFYxZml4dllHVzVpTllQVVJ5?= =?utf-8?B?R0VpdW5qM09ka1RycEJOUytsOGRxMzQ2UjJoNndoRGdOZURGbjljUFhHeCsr?= =?utf-8?B?aDk0NEh6NU5JOGdXQTQ5MjlDUTB5Y1Y1WFE5OXpnRlpBalpPYnpaU3FYUzUy?= =?utf-8?B?Uzh2UHVtOG0zTkVIYW9iNlphWHBGTXJGTW11bTFUMkF2Nm9LU1lkei9XWUtU?= =?utf-8?B?R1NLR2JsN0x0TktlMzBjRlhlL0xNYVA4NkhCSUMrUjA3UHUxNHJEZkVWUTdk?= =?utf-8?B?VTJyTE96NmQyQjVZL0h0ajMzM3lXZ1ErUVZ4RWNjSW90Y1Q3YkRSa3FGTWNC?= =?utf-8?B?N2hXVGkvd1M0cU54UkpYWUc2N3lLSW90RHB0TWpRcm81dlpGNXlrUU5CTUVH?= =?utf-8?B?RTJtaWljeEpSOXVRMVUyTy8wNTdlcjlOVERYYUtTUWdFT2UrZHdBYUtJaDJp?= =?utf-8?B?V3g1ME9kSDJFTWZJV2JIenNhWXZGY1VOREJ6T2x2Mmg1ZGxQZDdUVUtyUGo4?= =?utf-8?B?VjdpVmExcDBTa0NmeGdVSWdoam5uY0dnOW5pTnlRRTNQY1Qrb2tldmVGdWNN?= =?utf-8?B?dkpJc2R1SmxGRmhwYk1KaHk4OU9HKzI2amZnYmQzY3pRV3dSdFBkeGZieHF1?= =?utf-8?B?dEJtYm1BbjVEOGc0dDFaeDUrZk9PUTBIZDZVZXJEb3ZzaE9NRDltZDB4Z29V?= =?utf-8?B?alZmTTlKVGVVOEl1UkhaNDVJWlZ0VHlyc1AxUEUzd1dFbVBVVTVwVVFBeWRT?= =?utf-8?B?dlpMN0ZHbE9Dc1RjWkthZ2dHSjFhQWJ6RnF4d3UvemxLdjJOL1pRVjZyOENv?= =?utf-8?B?S1ZDTVhLcGVMZHNZOTl4S2tjT2tvaWlucHVKWVM0TjZvaURpakcyaGlpOEds?= =?utf-8?B?QTZlVU5ZRk5LR1dsQkVJcXZVcGZBcytUekxDU1RtYU4vTWdqcU41dHI2QlU4?= =?utf-8?B?Rys3VmJPenpzMnZCaytjM3B3ZnVPTVBrZDY0T3FrdUV2ZE0yV01nVWZ5bzJM?= =?utf-8?B?eGtZdWZ3VUVOK3hoQ3pvRU5Tc0VNSWNSZlV5bDNWVlc3ZFpBaWRvZnFheEJa?= =?utf-8?B?SzVpalp3TCtPUTdMNTlsemZYa1Z5Ymg3cFAyL1N3ZUxPSEhxbWNSb2pVSGE3?= =?utf-8?B?RmUreHpkVzBscUsvMDdTV1FOQU1XMHJtbTl5V3lCZDdkYk9IZmdRUXlIQjNW?= =?utf-8?B?cHdmcnE0REczQnRTYko5dnZFZTJzWnRDT1QyYUJIZ016YUs2ZUluWmRoSnhv?= =?utf-8?B?OU1Eam16UWpkSm0xZ1JrdnArL0tUdWxUMCtyL0FlVG4xN2w4NkpBakRKVXA5?= =?utf-8?B?TFV1YncxdVJJMnFZRnFQcmtCL1E3T2VqZ0pmUUNoNlpaVDZKa0VZVGdzaUNw?= =?utf-8?B?eE4vY2txWm9wUG03bHZlQVdHR1NsVXBWdHkrcmlqSk1ldkQ0WlY4bXppZGhR?= =?utf-8?B?bHVTaEZmQW9DWFpGeWFJS0pwUjI1UDczTEFNVFd0Mll3ZzE3dXdlQllMU1E3?= =?utf-8?B?ZVRHVUkzNmRmaTFxam5KT2NVbE1ReU1ZdVlVamZ1UGlqUzg3c1VBM1MxVUpH?= =?utf-8?B?ZGQ0cUszYXErWE1VUUVVeVJmWllkTG1Vd0UxSmM3VEpGYnBuV1J4Q04xRjBx?= =?utf-8?Q?yp+KyyPqQj2CTWEFKz?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 8e55f814-da7c-4662-a62d-08df2b7cddcd X-MS-Exchange-CrossTenant-AuthSource: PA6PR02MB10592.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Oct 2026 11:59:00.8828 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 89d07f47-d258-463c-8700-635ffaeca38e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: KSGtoARAto046ry2gnB5QK0Wg/ufgSI8ydP2Yz+CJaF0N2aS1uCL9vx0Csxy6TW+BJxBLXPpnndFHq3fPGzv5g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB8910 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] FSCD 2027: First Call for Papers Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19595 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: ======================================================================== CALL FOR PAPERS FSCD 2027 International Conference on Formal Structures for Computation and Deduction Radboud University Nijmegen, The Netherlands 23-26 August 2027 https://fscd-conference.org/2027 ======================================================================== FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. ------------------------------------------------------------------------ IMPORTANT DATES ------------------------------------------------------------------------ All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. • Abstract: 19 April 2027 • Submission: 26 April 2027 • Author Response: 8-12 June 2027 • Notification: 28 June 2027 • Final Version: 10 July 2027 ------------------------------------------------------------------------ LIST OF TOPICS ------------------------------------------------------------------------ The suggested, but not exclusive, list of topics for submission is: 1. Calculi - Rewriting systems (string, term, higher-order, nominal, graph, conditional, modulo, infinitary, etc.) - Lambda calculus - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.) - Proof theory (natural deduction, sequent calculus, proof nets, etc.) - Type theory and logical frameworks - Homotopy type theory - Process algebras (synchronous, asynchronous, static and dynamic semantics with and without time, etc.) - Quantum calculi 2. Methods in Computation and Deduction - Type systems (polymorphism, dependent, recursive, intersection, session, etc.) - Induction, coinduction - Matching, unification, completion, orderings - Strategies (normalisation, completeness, etc.) - Tree automata - Model building and model checking - Proof search and theorem proving - Constraint solving and decision procedures 3. Semantics - Operational semantics and abstract machines - Game semantics and applications - Domain theory and categorical models - Quantitative models (timing, probabilities, etc.) - Quantum computation and emerging models of computation 4. Algorithmic Analysis and Transformations of Formal Systems - Type inference and type checking - Abstract interpretation - Complexity analysis and implicit computational complexity - Checking termination, confluence, derivational complexity and related properties - Symbolic computation 5. Formal Systems for Modelling and Verification - Machine learning algorithms - Neuro-symbolic systems - Certification - Security - Blockchain - Databases - Planning 6. Tools and Applications - Programming and proof environments - Verification tools - Proof assistants and interactive theorem provers - Applications in industry - Applications of formal systems in other sciences - Applications of formal systems in education ------------------------------------------------------------------------ PUBLICATION ------------------------------------------------------------------------ The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. ------------------------------------------------------------------------ SPECIAL ISSUE ------------------------------------------------------------------------ There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. ------------------------------------------------------------------------ SUBMISSION GUIDELINES ------------------------------------------------------------------------ The submission site is: https://easychair.org/conferences/?conf=fscd2027 Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Submissions can be made in two categories: * Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. * System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, significance, originality, correctness, and readability. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. One author of each accepted paper is expected to register and present the work in person at the conference. In case this is not possible, online presentation will be arranged, but in-person registration will still be required. ------------------------------------------------------------------------ BEST PAPER AWARD BY JUNIOR RESEARCHERS ------------------------------------------------------------------------ The programme committee will select a paper in which at least one author is a junior researcher, i.e. either a student or someone whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of the contribution is made by the junior researcher(s). ------------------------------------------------------------------------ COMMITTEES ------------------------------------------------------------------------ Program Committee Chairs - Mariangiola Dezani-Ciancaglini (University of Torino, Italy) - Daniele Nantes-Sobrinho (University of Brasilia, Brazil) Program Committee - Sandra Alves (UPorto) - Takahito Aoto (Niigata University) - Mauricio Ayala-Rincon (Universidade de Brasilia) - Franz Baader (TU Dresden) - Luis Caires (Universidade NOVA de Lisboa) - Malgorzata Biernacka (University of Wroclaw) - Alejandro Diaz-Caro (Inria / LORIA & UNQ) - Andrej Dudenhefner (Dortmund University) - Santiago Escobar (Universitat Politecnica de Valencia) - Claudia Faggian (CNRS - Paris 7) - Maribel Fernandez (King's College London) - Yannick Forster (INRIA) - Simon Gay (University of Glasgow) - Samir Genaim (Universidad Complutense de Madrid) - Silvia Ghilezan (Novi Sad University) - Ekaterina Komendantskaya (Heriot-Watt University) - Dexter Kozen (Cornell University) - Temur Kutsia (RISC, Johannes Kepler University Linz) - Marina Lenisa (University of Udine) - Giulio Manzonetto (IRIF, Paris Cite University) - Sonia Marin (University of Birmingham) - Catherine Meadows (Naval Research Laboratory) - Jose Meseguer (University of Illinois Urbana-Champaign) - Aart Middeldorp (University of Innsbruck) - Samuel Mimram (Ecole Polytechnique) - Paliath Narendran (University at Albany--SUNY) - Naoki Nishida (Nagoya University) - Valeria de Paiva (Topos Institute, California) - Jorge Perez (University of Groningen) - Frank Pfenning (Carnegie Mellon University) - Christophe Ringeissen (INRIA) - Alwen Tiu (The Australian National University) - Stephanie Weirich (University of Pennsylvania) Conference Chair - Herman Geuvers (Radboud University Nijmegen, The Netherlands) Workshop Chair - Cynthia Kop (Radboud University Nijmegen, The Netherlands) ------------------------------------------------------------------------ INVITED SPEAKERS ------------------------------------------------------------------------ TBD ------------------------------------------------------------------------ VENUE AND DATES ------------------------------------------------------------------------ Radboud University Nijmegen, The Netherlands 23-26 August 2027 ------------------------------------------------------------------------ SPONSORS ------------------------------------------------------------------------ TBD ------------------------------------------------------------------------ CONTACT ------------------------------------------------------------------------ All questions about submissions should be emailed to: Daniele Nantes-Sobrinho (dnantes 'at' unb.br) Mariangiola Dezani-Ciancaglini (dezani 'at' di.unito.it) ========================================================================