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=BBvnboaC; 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 35CE84009A for ; Mon, 14 Sep 2026 09:42:33 +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=mjfoGrQn3igSO2njiJUa+3v70DTbH2nzuOdys8cEJuE=; b=BBvnboaCbN43GETAJ/83j74pBpRehVQhx8IvQcUIvbQdDyDv0wz6f8ou hwM3/vl77MGskx/AHNM7p8CXfSwK7sxYXO0FbSegf3AtOjtliMgEkLjZ4 X1T/hE/L3Jvzu5zehdAsylFvVZskmGoBXjhrRD7+L9atknAZCd1m+1LfW I=; X-CSE-ConnectionGUID: +fFQA35tQUKJYqt6Csq1/w== X-CSE-MsgGUID: BNJ6zho/Q6q4jH/6hBjgXg== 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,102,1787004000"; d="scan'208,217";a="294786101" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Sep 2026 11:42:32 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7E21481A66; Mon, 14 Sep 2026 11:42:32 +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 CA58D81A3A for ; Mon, 14 Sep 2026 11:42:22 +0200 (CEST) X-CSE-ConnectionGUID: kHzwS4F1QmmYZ2Ll5LkwaQ== X-CSE-MsgGUID: 4ylz9XsXRiSgeh3buja14A== IronPort-SDR: 6aa7c17e_WbuPd6pGxVs5d5Xohl5ywR2VwKlurGF08YQX5vtWCt6qTAM I+AtvfMBuCYCxCa/U9zwK97Y32DUZG3HsA3F2bA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FeAwBVwKdqd48QroNQCoQWgQSBC2EzBAtJhFiBGIdii?= =?us-ascii?q?HmeMoErFicCDwEDAQsBAUQNBAEBAQIEgguCc44JHwcBBDQTAQIEAwIDAQEBA?= =?us-ascii?q?QEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAFDSYZPDYt9gUJjCDsBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBEwIIBQdXQwYdAQEmEhM0CwMHAnkOgm2CIgdLA?= =?us-ascii?q?xHEOYEygQGCDAEBBtw0gWsDBoFNiF4BKoE1AQKEFQGEAnqCC0SBFTWCQwKBd?= =?us-ascii?q?IFFFwICGH8RCQRDJYMcgmqCJnoSGw6BSYFBJIE3hTiJSyyBGCIDJjMsAQ9GE?= =?us-ascii?q?xcLBwWBZgOBBjI8Mh2BIz4XL1gbBgWBHYEngmIjGTZ6gQlegSspYRIXgQmCC?= =?us-ascii?q?AKCVIIBAgFJQw4HLBlTCSdLEkwpIggSBgsHZj03FRkGAYE1jiphH4FqbBcXA?= =?us-ascii?q?xMqUxM8SQUXGQQXKwEBARY8D40QhhWTO59aB4QhjCKONIcOLheEBI0Uh32Qc?= =?us-ascii?q?WeZCI4KlWICE4UXAgoHGIF/I4FcMxovgytQAxkPWI1hJ4NEgmSCCyTHCEI1P?= =?us-ascii?q?QEBBwIHAQwBAwuBaJAAAiYHBWthAQE?= IronPort-PHdr: A9a23:ojfAsx28xAtbN7q5smDOlA0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeBo603xwSTDNSTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezYL5+N gm6oRveusQYn4dvLqI8wQbVr3VVfOhb2WxnKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuxfbQgSD/2URXGoLnBZQDAfL8B/1XpHqsivnreV9wzWVPdf3Tb8vRzuv6 bpgRQLyhycGMz4593zXitB1galGrh+tuwBzzojJa46SKfR+Y7jdfcsESmVdQsZfWStBAoamY IsOCeoKIOJUoob5qlcLqxa1GAuiC/71yjJQiXD406003fo8Hw/F0w0vA8kDv27IoNX3LqoeT fy5wavOwD7eb/1WwzD96I3Qfx47v/6MQax/cdDMwkQzCwzFjkmQppLjPziI0ekDqXKX4vZ8W uKvl24otQdxryOzycc3kIXJnJ8VxkrC9SV92Ys4I8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xlv Do3x7wCtJO0YCUHx4oqyh/DZ/GFbYSG7BztWeefLzl4inxoZLKyihS8/EWjyuPxWMa63lhOo yRFndfBqnQA2hrO4caJTft9+12u2TeJ1w3L5eFEIFw0larGK5E62LIwl50TvVzdESDsg0X3j LOZdkU+9eip8eTreLLmpoWTN4NskQH+Kr4ums25AeQ3LAcORXKX9vi71L3m+0DyXbZEjuUun 6XEvp3WON4XqrO7DgJayIov9heyAy273NkXk3QLNE9JdRyag4TzJl3DIv/1Ae27jli2lDpmy fbLNaD7DJrXNHjMirLhcK5960FCzAozyshS54lRCrEdOPL/R1X9tMLdDhMjKAy73+fnB8t71 owCR22DGLWZML7IvV+O4uIjO+iMZIkLtzbhM/Up+vDjgWIjlVMAf6Sk0oEbZG25E/h8PkmUb nThjs8EEWgQvwo+SOLqiEeFUT5Wf3u8Rbgw6y0nB4KmEYfMWIatjaed0yegBJFWfH1GBkqKE Xfsb4mEQesDaDqOIs99lTwJTaSuRJUk1RGqrQP6z7tnLvHI+iADrpLi1N115/XJmh0o9Dx0C d6d02CXQG1ukGMIXSc63KZkrkNl0FeMzbB4g+BEFdxU//5FTx82NZHCwOx9CN78QBrMcM+PR lq+WNWpHy8xQNErzdIWeEZ9Hsmijgje0yawGL8ai72LC4Iy8q3AwXf9Pdx9y2vc2Kkni1kqW tZANW6nhq567wXdH4HHnEuHmai2aakS2jbB+3qGzWWUpkFXTBZ9X73cU34HaUXatc/55lvMT 7K2E7oqLhZPx9OaJqtRct3pg01JRPf9N9TaZGK8g3++Cw+QyL2DP8LWfDAW1SDZTUwFiBw7/ HCcNAF4CD3yjXjZCWlWGE7ieQvF+ulipXXzGndy5gqKc0Bn/7GuvAQIw/qYHaBAlokYsTss/ m0nVG222MjbXobRz+IAVKBVYNdnpUxCyXqcrQt2eJqpM6FlgFcaNQVxpULnkRttWc1bicZ/i nQswUJpLL6Alktbfmagm7n7OqHaLEH551a1dujQ3gKWy86Yr58G8+9wsFD/pEesH0sm/W9g1 oxtlVKX5onHCiIZStTrTwAx80syvKnUNw864Y6cznhwKe+0vzvFjsouH/cgww28cs13K6aYD Fa0DchcHMOvJeohlh6zc1QCOIi+7YYSOMWrP7uD0a+vZqN7mS6+yH5A68Z7216N8Cx1TqjJ2 YwEyreWxFnPUTC0l1qnvs3t/OIMLTgPAmqyzzTlD49Nd+Vze4gME2KnP8ywwJ13mZfsX3dS8 FPrCUkB3Yelfh+bblq12gM1twxfmTqOkiukwjpcmCpvtLfZ2iiPi+XueRwbO3JaEXF4hASkK oy1gtYGGUmwOlFyzV38uhq8nvYd/fgkfAyxCQ9SciP7Ln9vSP61v7uGOYtU7Y8w9D9QW6K6a EybTbj0p10b1TniFi1Q3mNeFXnit5Pnkhh9kG/YImx0qS+TQYdZzhfD6dr0TuUXxCdAQi0y2 ly1ThCsesKk+9mZjcKJiqaXXGK9W5t7ejKt157Gsi/xtiV6RBa4mf60gNjuFwM3hDT629ddX iLNtB/gY4Pv2sxWKMpfd1JzTB/54st+QMRll5cowYsX0j4cj4mU+nwOlSHyN89a0OTwdihFS TkOyt/TqA/rvS8rZkrP7on5Snib6sB6IcOnJGUSki4w9MFFDq6I4acMxHAs5APn8USIP74kw mxVwOBm8HMAhuAVpAchq0fVSqsfG0VVJ22klhiF6cy/sLQCYW+udbaq008t1dulDbyEvkRdQ COgIc5kRHAsqJwhdguQiy6WiMmsYtTbYNMNuwfBlh7Bi7IQM5ctjr8QgiEhP2vhvHojwup9j Bp03Jj8spLUTgcltK+/HBNcMSX4Is0J/TS4x54Yt82Ww42pNp56XC8WGp3sB6HNcnpapbH8O gCCHSdp4E/dMLHfAQKZwEx96WjSVZavfSLfNDwSytNsQwOYLUpUjVUPXTk0qZU+Exij2M3rd Eoqg1JZrk69sBZHzfhkcgXuSmqK7hn9cS86EdLMZAoT9AxJ4F3ZdNCT/v4mVT8N5YWv9WnvY iSaf1gaVDpQHBXbWxa4Zv/yuJHB67TKX7HnaaKRPfPV8aoBDr+J3c79i9A/uW/TaoPUZj87X qZeuAILXGglSZ2CwnNWFHBRzHqLNZbL7Bakpn8u9Zn5qau3Hluxo9LTUPNTKYk9okvvx/7ca 6jJ2mAgdWo9tNtExGeUmuFEhRhL1H0oLmfrSOhd/S/VEPCJwfYRVkFHLXotcpIVv+o9xlUfY JWCzIqqivgj1rhvUw8gNxSpm9n1N5VReifkaw+BVQDab/yHPWGZmpquJ/rjFfsJ0qMN60L4r z+fFwWL0i2rsT7vWljvNOhNiHveJxlCoMSndR0rD2H/TdXgYxn9MdltjDRwz6dmznXNfXURN zRxaSYv5vWZ8D9Yj/NjGmdA8mstLO+KnDyc5vXZLZBeuOViAyB9neZXqHogzL4d4CZBTf1z0 Czcy7wm60mhifWKwyF7XQBmsTNXnNvNo0AkIq7Y+59LVDDe4VQL6STYChgHocdkFsy6u61Uz Yuq9uq7IzND/tTIuMoEUpGPcYTebyZnaESvQWKPX25nBXaxOGrShlJQiqSX/3yR9N0hr4T03 YAJQfldXUA0EfUTDgJkGsYDKdF5RGBB8/bTgcgW6H65tBSUSt9du8WNbrS7CvXzJTCxhqICf QZOx7eyfuFxfsXrnldvbFV3htGAA03LQdVEuTFsdCcvpVlVqT5gSyso0EPobAigpmUOU/iw1 E1T6EM2caEm8zHi5E0yL1zBqX4rkUU/rt7ihCiYbD/7KKrYtWR+ADGyrVV3NJepG26djCWpm FB8bXHaQvRKhLptc2tmzhXB/51LS6Y0pUJsawRW3+zRYfF6iDxh IronPort-Data: A9a23:fKi9UKkS60c0qncisMn2XcDo5gyjIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIWXm+FPKzeZWake4xyb4S+8EMCup+EmoAyTQFlpXhjFy4T+ZvOCP2ncnv9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlH1rACTaoT5gGGxiBJVMt3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFIA/qG5bkR+ANPMjcKKZZ6GXwdxH1Q5l06iiHd6GD yYYQSFqcAyZJQNKfEwcCZ84l+runGS5dTkwRFC9/PFupTGMkEoojv60bIG9lt+iHa25mm6g4 EvN/3j0BDkRL5qF1HyD9hpAg8eVzH+kCN9CROLQGvhC3EyX1D0jEy0sVGC0rPnigFO8UosDA hlBksYphfJrrhTxErERRSaQq3eBulsYWsFMO/Yr7RmEjKvS+QeQQGYeJgOtc/Q9sdMuHHox3 V6EmdjkQyZy9ruRIZ6AyluKhTCSKzcucUFbXCoBfDlfx92+hIIshyuaG76PD5WJYsvJ9SbY5 RTikcTTr64WkdZSkb6w/F3BiD/qvIWPSApdCuTrsoCNs1IRiG2NPtLABb3nARFodtvxc7V5l CJY8/VyFchXZX13qMByfAn9NOvwva7fbFUwcHZ1FpUr8Cmhs2OlfJ5d+ip/OEpoLo4CeD3sb UDev2ts2XOnB1PzNfUfXm5EI517pUQWPY20DqiMBjePC7AtHDK6ENZGPBLJjzyywRZ9ysnS+ /6zKK6RMJrTMow/pBLeegvX+eRDKvkWnDuKHcLI3F683KCAZXWYb74APRHcJqo69a6I6kGdu dpWK8LAmV0VXfzccxvn19cZDWkLCnwnWrHwichcLdCYLiRcRWoONv72wJEaQbJDoZh7rOnz0 0uGahdq82an3XzjAieWW09nc4LqDMper2pkHCkCPmSI+nkEYKSWyKQxdZIXR70t98Zhxu8pX vU+JtiKKdVUazH94z9GR4LMnI9jUxWJvDC+BS6uYRIVTsRgHz72pt7qRRTu/y8wFRiKtdMyj rmj9wHDS78BdhtSN9nXY/eR0F+Bh3gRt+ZsVU/uINMIWkHT3KV1Ci721NkbHtotLEjd+z6ky AqmOxcUiu3TqYsT8tOSp6SlrZ+sItRuDHhhAGjXwranBxb0plP579d7b9+JWjTBWEff2qaoP 7xVxs6hFsw3pg9Bto4kHot7ya472cDUmIZb6QZZB1TOUUWgD+JxA3uB3PQXjJZ3+J1ihVKUV H6Mq/5gApfYHOP+EVUUGhgpUfTb69EQhQvpzKoUJGfU2XZJ2YSpAGtuOyuCsih/FIdOEZgEx L4hsfEG6gbkhRsNNM2Hvx9u9G+NDyIhV4w6j648B4PEtBcS5XdQRZr+UwvzvYquaspNAGYuM DS7lKrPvJUC50vgIl4YN2nB4vpZvrsK4Ct19V4lI0+YvNjvitsc/gxjwR5uQit7lhx4gv9OY E51PEhLFICy1jZPhvkbeVuzGgtEVSarymaox3QnzGTmHlSVDErTJ2gAOMGIzkAT00RYWhN5p Li46mLUYQzGTfHL/BkZeBBa8qT4bNlL6Af9ttitHJ2FE7kEcDPVuPKSSlRSmST3I/EapRPhn vZrztZSeKegFC83oo8HMae4+4kUaii5ID1lfak80oIPRXrRaROj6wiockqRQP5AF9bO0E2/C vFtGP5xagSD5H6OgAw2Va8oCJ1orcEt/+sHK+/KJ3ZZkr6xrQhJkZP39wrsjl8RXPBVzJw3E d7DRmiGFmaVo39wnU2UiMwZIUu5ftg2Swnu18+l8OgyNswiscM9VWoQw7eLr3GuHw8/xC2tv STHfL3z49F57IZdgLvXDaRIAjurJePJVOin9B65t/JMZ4jtNfjimhw0qF69GShrJpoUBspKk IqSvO7N3E/quKg8V0bbkcKjE4hL/cCDY/pFAPnoLXV1nTqwZ+G02kEto1uHEJ1ulM9RwuKFR AHiMcu5SoMzaudnnXZQb3BTLgYZB6HJdZzfnCKarcmXKx0jwAfCfcKG93joUDlhTRU2GabCU y36h/X/wepjjtV8NEdRTbUuSZp1O0TqVqYaZsX8/2vQRHWhhlSZ/KDuj1w84DXMEWOJC9v+/ YmDfBXlaRCuo+vd+bm1aWCpUsE/Vx6RQNXcf37xP/ZtjiyiVSgYKKIGOpQLDJpZ1Dbvkpf8D N0IgK3OFg2lNQmosz2liDggYutbLucVfM3kYDotl69RQznjH5uOWdON6Q85i0qbuVLfICWPI spY4GC2OBzZLlSFgwoMzqTTvNqLDc82Cp7FFY4RXiAy79sj7W026UFc IronPort-HdrOrdr: A9a23:EdsQe68nK2X3jTyEYbluk+DeI+orL9Y04lQ7vn2ZKCY6TiX8ra qTdZsgpHzJYVoqN03I5+rhBEDwexLhHPdOiOF7UNuftWLdyQ+Vxe9ZnOnf6gylMQXY06pm7I 9FN41TN/HUZGIK6voSmDPIduod/A== X-Talos-CUID: 9a23:WYos/WyWIOXnpl5H3B8FBgUXOtI6SSHzlU7VJn6KU0JtFZmWVlaprfY= X-Talos-MUID: 9a23:XDrnywsyqiofGa4JU82n2CBmJpZY+JSUCXsCnJVdsdSGPHUsEmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,102,1787004000"; d="scan'208,217";a="294785887" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHWQ5A0nsTpbcOEzifva8Rz5dc4uViAyZT8sY?= =?us-ascii?q?/cTZrmb6M6EBCbpecgP9IUFnq1lhLQXVpjMBUQAbl0b4sXvuJ1rKu066?= =?us-ascii?q?QSYRtaj0/YmSs8qvF89Th+lsEWwxBAAmWN/DDKJk+ScWlWn7Z/iMIXuW?= =?us-ascii?q?VnKutP5KXc91NmYBVLD0OWLw=3D=3D?= Received: from smtp1.science.ru.nl (HELO smtp1.vm.science.ru.nl) ([131.174.16.143]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Sep 2026 11:42:21 +0200 ARC-Seal: i=1; a=rsa-sha256; d=science.ru.nl; s=cncz-dkim-0001; cv=none; t=1789378941; b=0JRQBd5RQxPSG9RT7yhF27ZCoLbUhqGINY6ZfItSEAWm6rWZJYX2/vm+btRbKU0/6sOqrY hKmmLrBWEuUyKFPjgQl0OaV4OuxIT50kQeABUCiIGa+J6UJwgskFPuwRc5qbRzKKN8v0Dt AyiAv/nVfxRgVzV4z/LPt0UxQBRUn5o/p1emFDddPta50KUta9a1fgTa8B/yjn5KTEhy8d 0n5eHq9LqT6yx8TKkYwc3UPRivzpXMfXblBsRJYynrrhKXAZOlPJ5Lni7iuq5xWiC/BdP4 HaDWKsNfGDtKz82bpw0i5N/YNmNWF45kv0SbevqX/7ySDaAQdNMvCpuCCyHkcw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=science.ru.nl; s=cncz-dkim-0001; t=1789378941; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=mjfoGrQn3igSO2njiJUa+3v70DTbH2nzuOdys8cEJuE=; b=DLS2gRzYflJIJBszbwqwnMa/D1xLARa+R/rAnhDiKKyxg0O1Azoc95yn/t7GnEpg9Hkasl LUaiNEJSyTaow9v7XmHhpNs1bDZk1hGfmj/4y9zf9/TodDLTqVUkHIngiCW1DkdSwNBtev mShZt9Btgvpc235aA66/v1rS00VCGkbpKtprFOjulgA4F8cVGZ0zKMzaqkOwhYi9LP0l5r 6l34kUjOkxTDJ5QlUx/TCMrzcauD+uqWs6alNFvKGT/yIaOQ3IL7dFxozZGm4vQ2X/Pllz dQcT4BkNjthYuIeC+zMUMvJJcBrBsX3/aEWrhJowhGX6VzHgCRpiOOq+bg9/3w== ARC-Authentication-Results: i=1; MSA; auth=pass smtp.auth=peter88 smtp.mailfrom=P.Achten@cs.ru.nl Received: from roundcube.science.ru.nl (havik.science.ru.nl [131.174.9.93]) (authenticated bits=0) by smtp1.vm.science.ru.nl (8.18.1/8.18.1/Debian-2) with ESMTPSA id 68E9gKNB3217157 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO) for ; Mon, 14 Sep 2026 09:42:21 GMT MIME-Version: 1.0 Date: Mon, 14 Sep 2026 11:42:20 +0200 From: Peter Achten To: caml-list@inria.fr Message-ID: <4936a03f57b727a1f214ee91b139d3da@cs.ru.nl> X-Sender: P.Achten@cs.ru.nl Content-Type: multipart/alternative; boundary="=_ee7a104e6776dc8bf4c87f75988cc3f0" Subject: [Caml-list] [TFP 2027] Call for Papers for the 28th International Symposium on Trends in Functional Programming, Kyoto, Japan, March 2027 Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 19577 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: --=_ee7a104e6776dc8bf4c87f75988cc3f0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8; format=flowed # TFP 2027 - Call for Papers (https://trendsfp.github.io/2027/) ## Important Dates Submission deadline (pre-symposium, full papers): Thu 3rd Dec 2026 (AOE) Notification (pre-symposium, full papers): Thu 14th Jan 2027 Submission deadline (pre-symposium, draft papers): Thu 28th Jan 2027 (AOE) Notification (pre-symposium, draft papers): Thu 4th Feb 2027 Submission deadline (post-symposium review): Thu 29th Apr 2027 (AOE)* Notification (post-symposium submissions): Thu 10th Jun 2027* TFPiE Workshop: Mon 12th Mar 2027 TFP Symposium: Sat 13th to Mon 15th Mar 2027 (* tentative) The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. This year, TFP will take place in-person in Kyoto, Japan, held by the Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST). It is co-located with the Trends in Functional Programming in Education (TFPIE) workshop, which will take on the day before the main symposium. Please be aware that TFP has several submission deadlines. The first, 3rd of December, is for authors who wish to have their full paper reviewed prior to the symposium. Papers that are accepted in this way must also be presented at the symposium. The second, 28th January, is for authors who wish to present their work or work-in-progress at the symposium first without submitting to the full review process for publication. These authors can then take into account feedback received at the symposium and submit a full paper for review by the third deadline, Thu 29th Apr 2027 (AOE) (tentative). ## Scope The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five paper categories. High-quality submissions are solicited in any of these categories: * Research Papers: Leading-edge, previously unpublished research work * Position Papers: On what new trends should or should not be * Project Papers: Descriptions of recently started new projects * Evaluation Papers: What lessons can be drawn from a finished project * Overview Papers: Summarizing work with respect to a trendy subject Papers must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: * Functional programming and multicore/manycore computing * Functional programming in the cloud * High performance functional computing * Extra-functional (behavioural) properties of functional programs * Dependently typed functional programming * Validation and verification of functional programs * Debugging and profiling for functional languages * Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. * Interoperability with imperative programming languages * Novel memory management techniques * Program analysis and transformation techniques * Empirical performance studies * Abstract/virtual machines and compilers for functional languages * (Embedded) domain specific languages * New implementation strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your paper is within the scope of TFP, please contact the programme chairs, Alex Gerdes and Kazutaka Matsuda. ## Best Paper Awards TFP awards two prizes for the best papers each year. First, to reward excellent contributions, TFP awards a prize for the best overall paper accepted for the post-conference formal proceedings. Second, each year TFP also awards a prize for the best student paper. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are the paper's first authors, and a student would present the paper. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, then that paper will receive both prizes. ## Instructions to Authors Submission is via EasyChair: . Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. Further, pre-symposium submissions may either be full (earlier deadline) or draft papers (later deadline). ## Pre-symposium formal review Papers to be formally reviewed before the symposium should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-symposium formal review. ## Post-symposium formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these papers for formal publication. ## Paper categories Draft papers and papers submitted for formal review are submitted as extended abstracts (4 to 10 pages in length) or full papers (up to 20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which all authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS Guidelines web site (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). ## Organizing Committee Alex Gerdes University of Gothenburg and Chalmers, SE Program Co-Chair Kazutaka Matsuda Tohoku University, JP Program Co-Chair SIG-PPL Coordination Atsushi Igarashi Kyoto University, JP Local Arrangements Chair Kota Mizushima nextbeat Co., Ltd Sponsorship Chair Casper Bach University of South Denmark, DK General Chair Peter Achten Radboud University Nijmegen, NL Publicity Chair Marco T. Morazán Seton Hall University, US Steering Committee Chair ## Programme Committee --=_ee7a104e6776dc8bf4c87f75988cc3f0 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

# TFP 20= 27 – Call for Papers
(https://trendsfp.github.io/2027/)

## Impor= tant Dates

Submissi= on deadline (pre-symposium,  full papers): Thu 3rd Dec 2026 (AOE)
Not= ification        (pre-symposium,  full papers): Th= u 14th Jan 2027
Submission deadline (pre-symposium, draft papers): Thu 28t= h Jan 2027 (AOE)
Notification        (pre-symposium, d= raft papers): Thu 4th Feb 2027
Submission deadline (post-symposium review)= :       Thu 29th Apr 2027 (AOE)*
Notification    =    (post-symposium submissions):  Thu 10th Jun 2027*=
TFPiE= Workshop:                   &= nbsp;                Mon 12th Mar 2= 027
TFP Symposium:                =                     Sat = 13th to Mon 15th Mar 2027

(* tenta= tive)

The Symp= osium on Trends in Functional Programming (TFP) is an international 
= forum for researchers with interests in all aspects of functional programmi= ng, 
taking a broad view of current and future trends in the area. It= aspires to be 
a lively environment for presenting the latest resear= ch results, and other 
contributions.

This yea= r, TFP will take place in-person in Kyoto, Japan, held by the Special =
Society for Software Science and Technology (JSSST). It is co-locate= d with 
the Trends in Functional Programming in Education (TFPIE) wor= kshop, which will 
take on the day before the main symposium.<= /p>

Please b= e aware that TFP has several submission deadlines. The first, 3rd of <= /span>
December, is for authors who wish to have their full paper reviewed prior = to 
the symposium. Papers that are accepted in this way must also be = presented at 
the symposium. The second, 28th January, is for authors= who wish to present 
their work or work-in-progress at the symposium= first without submitting to 
the full review process for publication= =2E These authors can then take into 
account feedback received at th= e symposium and submit a full paper for review 
by the third deadline= , Thu 29th Apr 2027 (AOE) (tentative).

## Scope=

The symp= osium recognizes that new trends may arise through various routes. As =
paper categories. High-quality submissions are solicit= ed in any of these 
categories:

*  = Research Papers: Leading-edge, previously unpublished research work=
* &nb= sp; Position Papers: On what new trends should or should not be
*   P= roject Papers: Descriptions of recently started new projects
*   Eval= uation Papers: What lessons can be drawn from a finished project
*   = Overview Papers: Summarizing work with respect to a trendy subject

Papers m= ust be original and not simultaneously submitted for publication to any&nbs= p;
other forum. They may consider any aspect of functional programming: th= eoretical, 
implementation-oriented, or experience-oriented. Applicat= ions of functional 
programming techniques to other languages are als= o within the scope of the 
symposium.

Topics s= uitable for the symposium include, but are not limited to:

*  = Functional programming and multicore/manycore computing
*   Function= al programming in the cloud
*   High performance functional computing=
*   Validation an= d verification of functional programs
*   Debugging and profiling for= functional languages
*   Functional programming in different applica= tion areas: 
    security, mobility, telecommunications app= lications, embedded systems, 
    global computing, grids, = etc.
*   Interoperability with imperative programming languages
* &n= bsp; Novel memory management techniques
*   Program analysis and tran= sformation techniques
*   Empirical performance studies
<= span style=3D"font-family: 'courier new', courier, monospace;">*   Abs= tract/virtual machines and compilers for functional languages
<= span style=3D"font-family: 'courier new', courier, monospace;">*   (Em= bedded) domain specific languages
*   New implementation strategies
= *   Any new emerging trend in the functional programming area

If you a= re in doubt on whether your paper is within the scope of TFP, please <= /span>
contact the programme chairs, Alex Gerdes and Kazutaka Matsuda.

## Best = Paper Awards

TFP awar= ds two prizes for the best papers each year.

First, t= o reward excellent contributions, TFP awards a prize for the best overall&n= bsp;
paper accepted for the post-conference formal proceedings.

Second, = each year TFP also awards a prize for the best student paper. TFP 
tr= aditionally pays special attention to research students, acknowledging that=  
students are almost by definition part of new subject trends. A stu= dent paper is 
one for which the authors state that the paper is main= ly the work of students, 
the students are the paper’s first au= thors, and a student would present the paper.

In both = cases, it is the PC of TFP that awards the prize. In case the best paper&nb= sp;
happens to be a student paper, then that paper will receive both prize= s.

## Instr= uctions to Authors

Submissi= on is via EasyChair: <https://easychair.org/conferences/?conf=3Dtfp2027&= gt;.

Authors = of papers have the choice of having their contributions formally reviewed&n= bsp;
either before or after the Symposium. Further, pre-symposium submissi= ons may either 
be full (earlier deadline) or draft papers (later dea= dline).

## Pre-s= ymposium formal review

Papers t= o be formally reviewed before the symposium should be submitted before the&= nbsp;
early deadline and will receive their reviews and notification of ac= ceptance for 
both presentation and publication before the symposium.= A paper that has been 
rejected for publication but accepted for pre= sentation may be revised and resubmitted 
for the post-symposium form= al review.

## Post-= symposium formal review

Draft pa= pers will receive minimal reviews and notification of acceptance for <= /span>
presentation at the symposium. Authors of draft papers will be invited to = submit 
revised papers based on the feedback received at the symposiu= m. A post-symposium 
refereeing process will then select a subset of = these papers for formal publication.

## Paper= categories

Draft pa= pers and papers submitted for formal review are submitted as extended =
must clearly indicate which category it belongs to: resea= rch, position, project, 
evaluation, or overview paper. It should als= o indicate which authors are research 
students, and whether the main= author(s) are students. A draft paper for which all 
authors are stu= dents will receive additional feedback by one of the PC members 
shor= tly after the symposium has taken place.

## Forma= t

Papers m= ust be written in English, and written using the LNCS style. For more =
(https://www.springer.com/gp/computer-science/lncs/conference-pro= ceedings-guidelines).

## Organ= izing Committee

Alex Ger= des           University of Gothenburg and Chalmer= s, SE    Program Co-Chair
Kazutaka Matsuda      T= ohoku University, JP                = ;        Program Co-Chair
        =                      = ;                     &nb= sp;                SIG-PPL Coordina= tion
Atsushi Igarashi      Kyoto University, JP   &nbs= p;                     Lo= cal Arrangements Chair
Casper Bach    =       University of South Denmark, DK       =        General Chair
Peter Achten      =    Radboud University Nijmegen, NL         &= nbsp;    Publicity Chair
Marco T. Morazán     &= nbsp;Seton Hall University, US             &n= bsp;      Steering Committee Chair

## Progr= amme Committee
<TBA>

--=_ee7a104e6776dc8bf4c87f75988cc3f0--