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=BmZ7dxwG; 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 19B9040022 for ; Wed, 9 Sep 2026 16:46:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=TeiZCe7JGQkdYPxoKNNjdeZV9ZvN7OZBdiO6I89vdXg=; b=BmZ7dxwGaNE+n1632rwIWoipwvVoKcq4rUJgvqmwmXgRPJO/zGqt58in 9Yr9ePjDsx5liQRe4ssFmEtRYfcTQTA6C6NzIFtp7VswlCcdoM7itHiRI NjxdwAj4pX/PL3DyOV/7obSd05F1UHHVoZbiWNm2COq3FUvSN8uP5nFEI E=; X-CSE-ConnectionGUID: 2bIf6os8TL+HdXePLGqn+g== X-CSE-MsgGUID: OQVDGNtERgy7ynWkeWsyRQ== 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.25,270,1779141600"; d="scan'208,217";a="294011272" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Sep 2026 18:45:59 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id D565381904; Wed, 9 Sep 2026 18:45:58 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 4A44981760 for ; Wed, 9 Sep 2026 18:40:26 +0200 (CEST) X-CSE-ConnectionGUID: 1llL6cW1R0W5g67zFr83jA== X-CSE-MsgGUID: U4UVilixQQOTFBYjxaB8rw== IronPort-SDR: 6aa18bf9_y65OVG/w1stWpS2bwkulxPv3NdUW7lGEOOggh5uCgsqNkyk 5mJHLkYAXIRt9+uCRonKrThd0WGhDp7Mbfv/WeQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FeDQACi6FqfIdIZTRaDg8BATwBBQUBAgEJAYFngTsxU?= =?us-ascii?q?0IBRQJiLwMHCEmIJAOFK4h5gRadHIFZCwYPAQMBCwIUAgECDgcBCBoEAQEBA?= =?us-ascii?q?gEDgguCcwKOBiAGAQQ0EwECBAMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECB?= =?us-ascii?q?AMBAQEBAhABASIZBw4SKYZPDYwTO3GBJQEBAQEBAQEBAQEBAQEdAhRXASEFH?= =?us-ascii?q?CMBASQCEhEBBjoBPicEARIIgnuCHQcEC0EEAg6mWZEFAgKKGniBNIEBggwBA?= =?us-ascii?q?QYEBIEA2yuBagMGgU0BgxCFTQEqgTUBhBiEfIILRIEVQoF5OAdvgQVNgjwBC?= =?us-ascii?q?wQDASMrg2iCMIIRFXoSG4ItGQGIFokygUQiAyYzLAFVExcLBwWBMzMDIAovL?= =?us-ascii?q?QIUHAESDwQWMh1wDCcSLBcvWBsGBYEdfCuDPyMZNnqBCQpUgSspYRIXgQdOA?= =?us-ascii?q?QMCgTQCBoJOggECAUlDDgdFUwknRAcSUyYLbT03Bg8ZAwSBNQWONQdaH4FlH?= =?us-ascii?q?00dNgsyDQMdBBM8ASsRDAUwBBMEIQoNDAYFQJJLj3ijdzKDdowikjCDQBeEB?= =?us-ascii?q?I0UmE2BCJkII41nlWQThRcCBAIEBQIQAQEGgX8jbHAzGoNaUAMZD1gBjVMCF?= =?us-ascii?q?hyDRIJLgkiKGwYJAbxbRTQ9AQEHAgcOAwuBaJAAAiYHBYFMAQE?= IronPort-PHdr: A9a23:OfyqMh2NSDMNrGdrsmDOmQkyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeBo603xwWRBt6TwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezYL5+N gm6oRveusUInYdvJKg8wQbVr3VVfOhb2WxnKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuxfbQgSD/2URXGoLnBZQDAfL8B/1XpHqsivnreV9wzWVPdf3Tb8vRzuv6 bpgRQLyhycGMz4593zXitB1galGrh+tuwBzzojJa4yTKfFwfL7SfckCSGRBQMhfSjBBDI2/Y YQTAOUMJvxXo5Xhq1YUsReyGQmhCeXywTFInH/22qg63vw9HAHCwgMgBMkOsHXTrN7oNKkdT /q1zLPSwjXZbvNdxDDw5ZTIfB4uvf+CQa59f9bSx0Q0CwPKkkifpZbkPzyLz+kAtXWQ4OV8W +y1kWEntx1xrSa1xscqkoTHiY0YxF7Y+Ct5wIs4Jt22RUBmbdCqDZdcqj2XO5Z5T84/TWxmt jo2x78Gt5C7YCQHzJsqywLdZvGbfIaF4xDuWeCMKjl2g3Jlfaiwhxe08UW4xO38UdO00FNQo SpBk9nMrW4C2wbU6sidRftx5keh2TGT1w/P8OFEOVo4mrbcK54kxLM7i5kdsVzbEyL2hkn6l rKaelk59uSy6enrfK/qqoKSOoJ0kg3yLKUjltCxDOk9LwQCQ3KU9OW52bH94UH2W7BHg/Iyn 6TctZ3XK8oWq6ikCAFPyIkj8QywDzK+3dQYg3YHKFVFdQqbgobuJ13AOuz2Aeuhj1mynjhn2 +zKM777DpXKM3jDjKzufbFg605a1QU/18hf54hTCrEdPv38RlPxtN3fDh8/KQC0xPvnCMl51 oMZXmKPAbWVP7/VsV+N/u4vIu+Ma5EJuDvlK/Up+eTigWIllVMAZ6Wk34UbZGqlEvloI0iVe X/sjc0AEWcOsAo+VuvqiFiaXDNPZ3i8UL4y6C0nBYy6DonOXZytj6Cc0yuhH51ZeHhKCkqQH nfwa4WER/AMZTqOLcB7lzwEUaGtS4sg1RG1qA/30KFnL+rR+i0Ar53vztl15+vJlREz7zN4F cqd03uVQ2FyhWwHXyU207xnoUxh1leD1rB1j+FAGdxc+fxJVQQ0O4TEwuJiDd7+QhjBccmXS FilWNurGTQxQcgww98Kekp8Fcutjgvf3yW0Hr8VjbuLBIQq/a3G3nnxIMB9x2vb2KU9kVUrT NZDOGOmi6Jl8AjTGpLJnF6el6a3c6QTwTTB9H+ZzWqJoEFXThJ/UbnEXXAYYEvat9P55l7eT 7+qDrQnNQhBxdSeJatNb93llUhJRPTiONTbe2+/g2i+ChiWyL2QcIfkfX0R0zjYCEceiQAc4 W6LOxAnCCm5rGzSFCduFUrhY0706+dztG61QFIswwGRd01h2aK6+h4LivyYTPMexqgKtTs8p TtpTx6B2IecAtGE/SJ8YKFdes8mpkpb2HLQrEpwMoHqZ/RrjVpEWxlru0L1yw4xF5lNgcEx6 n4m0Vw2YeiR315Hayiw1ou2J7jdIS//8A3lI/rf1VzYzM2+8bxJ9fEyoBPusBz/UgJo+npr2 vFR0mCA/dPBDAMWVJ/rSQAs+lIy87jVbiAV44LPyWYqOqm9tjrPwclvH+Zzjl7qdtNbGL6cD wT7F8BfH9KpKuEhhx6kc1hMaOlW8IYpJ9itfv+LnbaxO+Rtly7ggHkRpMg320SK8Dd6QePg3 pALxOud1xeGXCy5gUq7tdj634deantaSmO5zy/5AoVcTqx0c4ERDG6yIsasg9hjnZn1Vjhf7 lH1QxtM0cmvfhyZYkfV2ABe0l8GpXuikG221XY8xzgvqK2Z1yHV6+Hveh0cK2pMQWAkg026Z cD+htYcW1WuZAUsmR25/m7+xrNHv+J2NXXSWlsNci38Im1uX6f2saCNKYYb4ZUutjhRW+m5b FaGUZb5ogAGyGXqBXdf3yx+ejSgt5n1khA8j3iSejI75nPCcsx23j/a7d3YQf9KwnwHSig+j TzKQFSxdZH99M6fmpHYmuW3VmalV4ZPNyjlzMWEsTb96WA8RVX1luuvstb8VxYnlyn/nZE+X D7UhB3nJJf2kaK+Z6YvNEJhCFLU6tZnXI192MNkj5gc1FAbmojT8XlR1S+5Otxe3ef6bWERb T8N2d/cpgb/kgU3JXuMw8f9V26B6spnfdizJG0MjHET9cdPXY6Q4adfnCw9jFeitwvLYLApt xkw88EH0l8yn+oF/gsgmHbOSosOFFVVaHS/3y+D6Mqz+f0/jAeHdLGx0BE7htW9FPSZpRkaX n/le5AkFCs278NlMVuK3megopr8doz2atQe/gaRjw+Gl/Jcfbsfu8AwrBBGEX72sTskxr1zl gRgiKmzp5PPMGBx5OS8Cx9cOCfyYpY61BzXt49kv+6K1IzpH5gyUi4TUs7QROmzWCkXqeyhN wuKF2gkrWyHHLPEAQKFwG5D90r1S8qACinPdD8e0MloQwSbKApHmgcIUT4mn5k/UAe32Mjmd 0Q/7TcUjrLhgj1LzO8gdxz2U2OE4Rytdi9xU5+Hahxf8gBF4U7Rd82Y9ON6WS9CrNWnq0SWJ 2qXah4tbylBU1GYB13lIril5MXRu+meCO2kKvLSYLKI4eVAXvaMzJir38No5TGJfsmIO3BjC bU81C8hFThQNenjoRw1agQLnC6LbsPa7Baw9ytrr9yupezxUVGn7o+OBr1OdNR3rk3sx/7bb qjP3mAgcmsLs/FEjWXFw7UewlMI3iRndj32VK8FqTaIV6XI3KleEx8cbSp3cspO9aM1mAdXa qu5wpv40KB1ivktBhJLT1vkz4uAS+EwGUiHFXvbD0rNNbnMdnXbhtr6Z6+xU+gapct5jSeZg xezD0TveDWO3WqMNVjnIaRHiyeVOwZbsYe2f0N2CGTte9nhbwWyLN59iTBeLaQcvnrRLiZcN DF9dxgItbiM9WZDhe05HWVd731jJO3CmiCD7uCeJIxE+fdsBy11kapd7hFYg/N8wgx+ftVPu QPOpdIoolzunuSUyzVhWQZDsX4W3sTS5RwkZv+fr8IdEX/ftAoA92CRFwgHq5N+B9vjtroRr 7qH3KP/JTFe8s7FqM4VBszaMsWCYzIqNRvkHiKRDRNQEGTtbDmGwRMH1qjJqy7wzNBysJXnl ZsQR6UOUVU0EqhfEUF5BJkZJ48xWDo4kLmdhcpO5HykrRCXSt8J2/KPHv+UH/jrLy6UyLdeY B5di5rWAL4pH7fa81BpZh97kc6ZU1qVRt1LriB7O0Udjmh3ylFEb0Uv0E6jaw7nsxpxXbak2 xUxjAV5e+Ek8jzhtkw2KlT9ryw1iEAtmN/hjGPZYHvrIay3R40TFzvsuh17LMbgWwgsJ17X/ wQsJHLeSrlWlbclaW17lFqWp85UAfAFBaxcPE1MnbfGPbNwlwwb83jvxFcbt7edT8I6y01yN 8br9iwluUorbcZpd/GKYvMRlh4IwPrJ53Lg1/htklJEYR9VqiXKPnZP4RJAN6F6dXfyuLU0s kra3WMEITdpNbJio+o2pBplZ6LckGS4leYEcx/5NvTBffmQ4zGSzJfREF1sjhtaxQ4Zrd0Um Y8iaxTGDUl3lenITk1bO5aaclMHKJYDvHnLI3TUuL2Uk8ssZtezSrizH7/W7P5G0AX5RWNLV 8wN9ppTRJD0iROBdJ61IuJdkkcmvFyzdgfCUa0BeQrVwm0O+5jtlcYuj4cBfmpPDz0laXflo euN7kojhP7JNDsvSk8TRZBMdnc/Wcnh3jVco2wFFz6vlOQQ1AmF6Tb44CXWFjj1KdR5Nr+YY hZlCdf+/jtakeD+kVnM7pDXPH33L/xLn4f307tAjKvfU6MSSqRhuUDBnYUeX2atT2PEDd+yI d73dpUoatv3TH29Vzndw3o5QtzwM9CkMqWTyVyyA98M6c/EhnZ6bpL1HypWAxpqouAf+K9wL RYOZZY2e1+gtggzMbC+PBbN0tiqRDXIS3MeRP1ewOOmIr1Pmnd2KLbikT1/FNdjlLTklCxFD IsHhRzf2/u5MoxXUCyoX2dYZx2Kvi0h0W5oKuc1xO47hhLOq1gVdT6RJ4kLICRJuc8xAVSKL DB4EG09EhW1o6f52CeW/pgO9Ccbntsegogn+DDu+4TSZj6hQvnhsZLOry8pdsQruYVYFNTbG JPcn66GxmyZS4TMuAqYViL8D+BdhtVbPCNfRr9PhH0hPssF/4FG7ABiM6V2b6wKA64qqLewb DNiBiNH1i4VWbSL2zkai/u90b/XxV+ANY4vOxsevNBek8MQBmRoNzgGqvbpBOC03yeUD3IGK wAJ4UFQ6RIcw8VuK/v97tOATYcQmWIO5aMuFHONTt4xqhP6Uj3E3QC+Ea3+1bTvhUULkpeOm pEaQEItVBIbnr4O0BNucPYuduERptKY72XOLBug+jqrkKz/ehFQ0ZGGKge+VdKe8zK6CmpFp hh2DcdO0C2NTMxO1VYmLv5t/BIVf8inYhisvTV8ntYwRuDqW5zznwR36ipWIkXiW9tZVbM8u QqOCmQ8OsKl9M2+accVHj4Y+YXD+Q1QyBw/anfgm5QAc5ofsmZUBGod5mjE2bn6AMxbh50sB sdVcI4m4iXzRPsfapPJ+yVk6PuykzfY425u6l7inWfqQvbqQb4BpD8QQl1xdTbZ9xNnSuIo9 i26Gr/lrlt4ueZWVOHnZaRZiRMlJqoWXB10jSj1aVNuUHNBruNWbrzPdNBRSOUzYhnpPAEiE fkh3AqC+kQmxB8RhgRuvQcc+i2PB2EJ IronPort-Data: A9a23:plKWAaDBNpcQ3xVW/2Pow5YqxClBgxIJ4kV8jS/XYbTApDp01z0Hy jceC2uFPq3bZjChfNwka9yxoEoCu8CHn9NrTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYpHFEMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8k4HUMja4mtC4ARvPaET5zcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZE38AnCJfgA9ol4k49wm+GH9g8EcvBavCfjTNY9G9YasFmNNOGX /BBMxFSNEyQJRpSJl0QFZQy2v+ygWXyeCFZr1TTorcr52/Uz0p6172F3Nj9J4bMHJ0M2BnC4 DudogwVATlCXDCb4ROr30iWr9XutT/wVMQTGdVU89Yz3QPIljJCV0d+uV2TnKWEtE+6WsJmE mso1AAfr7g73hyxUYyoN/G/iCXf5EJDMzZKKMUx4QSJj67V+BqxHXkBVjcHado8tcZwSyZC6 7OSt9bgBDgqr7COVX+A7LCMoDqgPi5MdDdYPnZfEE0C/sXpp5w1glTXVNF/HaWpj9rzXzbt3 zSNqyt4jLIW5SIW60ml1QnDhxbyraeQdFYKuwqJAXCL9FMiZqfwMuRE9mPnAeB8wJGxaH3pg ZTps82X7eRLEpyWiCGQWuIVEbi74PDcaWWG2gc0Qt8m6iin/GOlccZI+jZiKUx1M8ECPzj0f EvUvgAX75hWVJdLUUOVS93uYyjJ5fG6fTgAahwyRocSCnSWXFLdlByCnWbKgwjQfLEEyMnTw 6t3jvpA/V5BUv47k1Jats8Y0LQxwTs5y3+bTpfh13ya7FZqX1bMEe1tGALWMIgRtfrYyC2Lq Yo3H5XRkH13DrauChQ7BKZJcTjm21BhWMiu86S6t4erfmJbJY3WI6CPneJ4I9Q5xMy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHBM4j9yAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrLDP92Vm/X1aRIBxLNp+AQCJwSJSX5xzHB6 RukKkoHruyc+70K1oHAuvGZi4L4SudRDlRQRXLG3OznKQjb4WuR7otSW8mYfT3mdT3V+YfzQ c533v3DIPk8s1ISiLVFEpFv1rAby+b0gr1nkiBILS7sUQywK7VCJnKm45F+hpdVzOUEhTrsC 1O9xNZKHJ6oZub3G0E1Dyg4ZL2h0fo0pGHj3c4tKh+n2B4trau1amQMDRyikycHEaBUNrkiy uIfuMI7zQyzpx4pE9SehBBv6GW+AS0cYpojq60lLtfnuigzxnFGRK7sOCv8zZWMStdLa20BA DufgojcjLV9mGvGVVcOFkb24OkMvqRW5Sh2z2IDKW+ZxfvDpPs8hyNK/RoNEw968xRg0sBIA FZNCXFbH6u10g1TtJBxZFz0QwBlLz+Fy3P10GoMxTH4TVH3d2njL18dGOeq/WIzyWFiRQVY0 oqj9Uy9YGzTYcjO4yoWcmxmoszFUtZe2FDjmsemJvuVG5JhRyLvk4WBV1oquirXI9sQghXch O9IpexfV4zyBRQykYYaVbaI9O41ZkifBWpgRfpBwvs4LVvEcmvv5QnUelGDRMxdAtfrr2m6M pVKDeBSXU2c0C2ukGgqNZQUKeUpoM9ztcswQZK1F2soqLDFkyFItqjX/S3AhGMGZdVivMI+C 4HJfQK5DW2iqipIqlDJsfV7FDK0UfscaC34+dKFwuEDOpYAkeNrKGUZ8L+/uVeLOwpGoTOQm i7+ZJHt8u8z8rQ0wrPQEZhCCT6kdvL1duCDqz6ov/p0MNjgDMbptiEukGfBATh4B7UrZolIp ey/i+KvhELhl5QqYl/dgKiERvVo593tfe95MfDXDXh9nAmoYszS2CYA1VuDFLYRoYlk+8CYe gqcQ+mzfO4zRN1y6iB0aS9fMhBFEIXxTP7qih2cpsS2KCo28FL4PvL90FGxdkBdVCsDG6OmO z/Oo/z0u+xp9tVdNiELF9RNIsFeIma6fYAEateolz2TLlfws2O4orG4yCYRs2DaOEKlTvT/z 4nOHCXlVRKIv6rN8tFVnqpysjATD1d/meMARV0cyfEnlwGFCHM6EspFPaUkEp10lgnA5KP8b hzJb0ogDnzZdhZAehPe/t/if1m+AsojB9THHQEqrnikM3qOOIC9AbVfr3Yqpz88fzb41+ioJ O0P4nC6bFD73phtQv1V/fChx/tuwvTB3H8T5EThiIrIDg0DBakRnmlUdOaXufcrz+mW/KkKG YQ0eYyAaGieEXbLSZxLRiYNSFceoS/lyCguYWGX2tHDto6HzepGjvriJ+X01b5FZ8MPTFLLb W2iXHODugh6xVRK0ZbFefpw6UO3NR5PNtSxIOniSGX+Womuv38/MZpqcTUnFakfFc02L78Zv iWn7z4/CSxp7ayXNKK+kW00xn66bp7A4/wlQuIySf8qXCHVF+TkRiU= IronPort-HdrOrdr: A9a23:MxrTjqFAYk1OYF9spLqE5ceALOsnbusQ8zAXPhZKOHlom62j5q KTdZEgvnXJYVkqNU3I5urwXJVoLUmxyXcX2/hzAV7BZmjbUQKTRelfBO3ZrAEIcBefygcy78 ldmqFFebrNMWQ= X-Talos-CUID: 9a23:5nYdsG7F3qIgGV1y1dssrUoQPp4uTSTnlEiNLBHnG0hzGOaXYArF X-Talos-MUID: =?us-ascii?q?9a23=3A3IFXpQ0wdsFHiVXUz45wFWR2jzUj3viTNkEJkIU?= =?us-ascii?q?/gu64GwZBOSeUpmStXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,270,1779141600"; d="scan'208,217";a="156386972" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGmjMa0e8fg9FszrR+MuhV+e5xeXXMrarxsxy?= =?us-ascii?q?vftgcPlsHfnbqr/g7NQ1Nzp9QdKyeNPFBXzTTs92FR5aXKak3JHIP0O0?= =?us-ascii?q?PNj8Qv81Y33qM6zd6YAxW4Ze6tCRBaEOMnGU2nFZmVWrkWalbQEuGkdO?= =?us-ascii?q?GHiOZzvNV2EMPQ0gso0BSqwg=3D=3D?= Received: from mail-westeuropeazon11023135.outbound.protection.outlook.com (HELO AM0PR02CU008.outbound.protection.outlook.com) ([52.101.72.135]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Sep 2026 18:40:25 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=rvUQoSob7B3kItMKGtn/tCbsDU/DS6kN4g3KwJUNZMrqSfAvAv7PAq3bB8UMgaj+0DSvmD/R2KYBI0xuiqj0jwdZgOjRwPtiZY1r9HCkfntdurq186NIq4QXevN+v1TdOB9OH+MU3XiraFrQb44Ks9pXBq3ng8i0b4clT9rUi2kSX9DVHxUoIlhEnEqWouObYwt2pGr/WNv1QF0tC+SkJSX51jOpNlmF6+TSLVe/j7PuebS2FrYYa8TRfI6RlqB+tL+CbxBzJBbUxLUEwQbx1SvJxIkDLTQRhZWToCY36ms5B2k/2ehzypIZV3vIbEKeKbhpEEhkKB0966bYsqIspA== 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=TeiZCe7JGQkdYPxoKNNjdeZV9ZvN7OZBdiO6I89vdXg=; b=Vzi+uEU5xBiBF517Ti+HcpiEfRMBbPWukE43jhWJEf03sqlzBX5wQhmI7L17Xyk22i9a1BP+TNhmw2dmcdluZvu6ilhrhq2kB/7ra7J6xKCj7x4+XApsguYDDX7AVdYho9gbnD3gWC7gf9B71TgKO8hMulThCVxPCBh/DNFfevMWyl2tJvlMiFyyNUAhYxMvO8WeIB0ZxhbtiaoJEuI2qap2oUcnwA8j34r/sSuLf8Xtob7q5eAhfRlZKVz8h5yrODW3lhB5z3wtApXsb4TUvSquwnEYBvBziX227AF92WBC7LTxHQSa3ZEOejaLxpPqaqs4HxNnHgcg/q1Gp+kpWQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=tcd.ie; dmarc=pass action=none header.from=tcd.ie; dkim=pass header.d=tcd.ie; arc=none Received: from AM6PR02MB3975.eurprd02.prod.outlook.com (2603:10a6:20b:49::33) by AM9PR02MB7156.eurprd02.prod.outlook.com (2603:10a6:20b:26c::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.406.8; Wed, 9 Sep 2026 16:40:22 +0000 Received: from AM6PR02MB3975.eurprd02.prod.outlook.com ([fe80::2b79:d673:c0bc:4fb4]) by AM6PR02MB3975.eurprd02.prod.outlook.com ([fe80::2b79:d673:c0bc:4fb4%4]) with mapi id 15.21.0382.014; Wed, 9 Sep 2026 16:40:21 +0000 From: Alessio Ferrari To: "acl2@utlists.utexas.edu" , "agents@cs.umbc.edu" , "agda@lists.chalmers.se" , "all@upscale-project.eu" , "announce@informatics-europe.org" , "annonces@mefosyloma.fr" , "announcements@lists.artist-embedded.org" , "ascens@maillist.ifi.lmu.de" , "ast@cs.vu.nl" , "cade@itu.dk" , "caml-list@inria.fr" Thread-Topic: CfP: 15th International Conference on Formal Methods in Software Engineering (FormaliSE 2027) Thread-Index: AQHdQHnBGfXbuak0YkeTw3feRLYeqg== Date: Wed, 9 Sep 2026 16:40:21 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: AM6PR02MB3975:EE_|AM9PR02MB7156:EE_ x-ms-office365-filtering-correlation-id: 5dbc14fa-272e-4603-916c-08df0e910a6e x-tcd-routed-via-eop: Routed via EOP x-tcd-routed: Passed-Transport-Routing-Rules x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|23010399003|376014|7416014|10070799003|1800799024|786006|366016|5023799004|11063799006|56012099006|3023799007|10067099003|8096899003|13003099007|921020|6133799003|18002099003|38070700021; x-microsoft-antispam-message-info: NmD8Lh9a3zlndGb914Ar7uxIpNkgpMHPv+Dt9wwA/L9M1F8bc+m07xSilKPy+5hX3jeVuxBEEIwIzjRulXOQHJ3HJn85XvU+tPOtI3jHxpcDhaZ8Go2MbR0nTXsmzT1leAFLQdYM85EZeKi5ZfUM89+g/WXANfwTdD84pOFAe/qpT4PShbaMi/gDgJAzDsJfykeBAt+iB+g9USLZslollQZhWeC+v3uXE+6LvCTVTl9iPp9fdb4KYezlr8SYLWcZumQ1jBhVk9JmNmOaHmve34bSK/HKXg8y9Fn4R7/gHIWpOz/ChsGB7PqXxaUFe2uUZ1tXlxW0bLADn+5KQxNuwMSRyTrCtw2hiqGTOkAcxSRvJePLpyf2v9hhl26L8UrbGCcM2Yuyy5VS9ny0iejC5DOudcGJaUycIClSlbFzFmFWdisL8ZfwcjiJyjCxlkyLvKpMLhE7EXNNJM+9z18orGw4K9vbILDm5xyg6mo5JuU9209neNx/fMDxF1oKdhqYw7i+G4kB3qKdPXL1+0WXuzm4OaRyIlnyK1gRd9anBSEYqPJo/PPpKvXNhWN+AeE2WCMZ5By7XV/I49haP4hfDVGE4HU9VsjQdBzoqk7pU0lVnADiC/66W0CvbsC8ZSJ/Wi2dlHcCQD6beQCt+GpXvnimk3pxjZO9z47wyx7N7ALJVhYvcGXi0hR8M1QZTlrX x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR02MB3975.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(23010399003)(376014)(7416014)(10070799003)(1800799024)(786006)(366016)(5023799004)(11063799006)(56012099006)(3023799007)(10067099003)(8096899003)(13003099007)(921020)(6133799003)(18002099003)(38070700021);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?cROB8J2C6LRvKlFsjSEI20ed1b7qA2+m2hcHxpY0o6o3toKZoiHBmFuT?= =?Windows-1252?Q?678i2Iyl6PeR5+v3aynh8areUlxfGoiiUTeagNt82yD+1pstysNUV2bM?= =?Windows-1252?Q?QC3ABewjwlZPSyS0UAIbqXc+ipUaX9a9Mgm9Vgrlwv7ZQlHSnts58dko?= =?Windows-1252?Q?du3knF8VSw1vouJSfPUZE3kZbm5X8pRgU/N11VupZcdhBiHCnmb/Cukp?= =?Windows-1252?Q?8Cc/s4ZaMmtUSTDbEbEG8QAZ/fsGoWl+WlchNkx8XVtc6wGoCDNhbEKn?= =?Windows-1252?Q?FWID9pWFz9rhqthK2jmNjM+Wl/Y3cQK8PSyR4a4qBouWJ/pUWTVpSstl?= =?Windows-1252?Q?TNzZyhx8LFR/DQo5oLqJb7HKOHsxCVXOiMuxwvMU4b4J3xqmGbKFt1M8?= =?Windows-1252?Q?iocVlaitpDCnPv9VJUVzo/xeS7BqMKRxskoXestxlIk5QEXcIrAE7ovu?= =?Windows-1252?Q?udV8pS4vC+gDcUWJ1NVetqZb8sBRtokFouorNawH7Dsm4yT7/mtQ+HH/?= =?Windows-1252?Q?6syQx5ffB5BaozScBuHiIUYQ4tXgKczeQizFaww4voTuDE52laY9wr4s?= =?Windows-1252?Q?zMU9vDCj8TQIovST5fHAIH6BLIeMlwhIZS0d+riCNkhzvbn1mX7cmj7p?= =?Windows-1252?Q?JfEer3XN1G1wQ1dvDjkts+HrdigvilSt+chv0gyA7gmaqpHwjpnz/bI2?= =?Windows-1252?Q?vbemv4dT74UfFFFWrQz2SP0/tRUTw1DaKhxbv7OVcxl4/A/xE+1xqVXq?= =?Windows-1252?Q?X++3bBFyhjxryhqY9I/IiC/1ZTPMybCD695+M31MRsCa5UNhHQ8P54As?= =?Windows-1252?Q?FvMEri3mbeoP+ZAI1N9HUcV/NBwO/h2qi6zwb3xFtm18gGlOxuJiz4IJ?= =?Windows-1252?Q?+cZHg+zYAOcgsS8x5wzD2VmaF8vWdxhh8zMyfv3DXHFqCNuIYDAsD7et?= =?Windows-1252?Q?THHIQr0lS1mtM9XVpUGdNIKD6LcEBd4Gl+1Kmtzu14QrVMZ+WlVmslhj?= =?Windows-1252?Q?bci/o0n8eSQrncS68hTw/e/2sxwEJo4AsW/W+tgB/ZTvqA1A3PSaAChv?= =?Windows-1252?Q?qKfe1Enlr9zbUHlA/lsAJl+C69DvQSKO8F3My+tU8pl7fSdVlkpcHf8g?= =?Windows-1252?Q?YQ/TYWQsru+84KLGsS+x8Kne+Zk8ZLS3Is7XvzCkmWQ5WZaVEG0JnOhc?= =?Windows-1252?Q?9s0GguT6ozMIs5eK1oN7schoB8TELGYPIQll4RtLfrnKonNTI3fNHnAR?= =?Windows-1252?Q?Ht0fylEl9kXokqHV8kO9lTQGd3PcqGBw2FVJ++qO3JLWJ4OMCWGs9oD4?= =?Windows-1252?Q?2iwgoEocYQV8lycRl+6YDyl8G9lCvkoQUB9AbXb3Jz04lSrgccuZUdTX?= =?Windows-1252?Q?xBPDWxsFL82uy8kU87vv73pbfw9jey5jLs/HWjULNDYXimY1CEfop2Tn?= =?Windows-1252?Q?V7Y6ktcIo+ht/SdomGNPUXxeve6XL3lPb9v9mpHbO9zY6LsQKCV+wMDt?= =?Windows-1252?Q?Q0ModuFVm1/VMt620iQdYlQGMfucybKgX/vFA2Yq9pmraPztCPHRGh3P?= =?Windows-1252?Q?jALcdaH8gY1Flqa9DX2V6pfsGLo98K1FEULHt53g4GcurbysMvoczlXW?= =?Windows-1252?Q?6OR1VLV596fPtmnypj1DLNc4Ox9pT8PCmvj99dIckMQ71G+fef7Q02L8?= =?Windows-1252?Q?1YT09/bHizxRFV1nXD6AodJci8Zikb2MaMlIz2f7aNzq1TpGu1+cYZ9w?= =?Windows-1252?Q?2AYiy+UtTN4AIwPg+CTRexbS/sNOBAIF63Zy/7JbLre4ecwCUYm62ANg?= =?Windows-1252?Q?lbK/HcoVh1h2rSEbEtW6IMOJ8uuUN64oPTMYxH3AGLzm4gKIMgrVesHW?= =?Windows-1252?Q?I9Fqct3anXDgENh7G6n+xodF3pFUDS3KcTje2cWYZOVBhWO8yIP5T4mt?= Content-Type: multipart/alternative; boundary="_000_AM6PR02MB3975CED544E7147D497BD50BB3B02AM6PR02MB3975eurp_" MIME-Version: 1.0 X-OriginatorOrg: tcd.ie X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: AM6PR02MB3975.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 5dbc14fa-272e-4603-916c-08df0e910a6e X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Sep 2026 16:40:21.7946 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: d595be8d-b306-45f4-8064-9e5b82fbe52b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: MbMYtjT6xtAYFSN7R6ABthsND7NvXuU5RbTDmTdwYXhLJ58DpkBcra4jOWDEZktB X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM9PR02MB7156 X-Validation-by: aferrari@tcd.ie Subject: [Caml-list] CfP: 15th International Conference on Formal Methods in Software Engineering (FormaliSE 2027) Reply-To: Alessio Ferrari X-Loop: caml-list@inria.fr X-Sequence: 19575 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: --_000_AM6PR02MB3975CED544E7147D497BD50BB3B02AM6PR02MB3975eurp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable [Apologies if you receive multiple copies] **CALL FOR PAPERS** 15th International Conference on Formal Methods in Software Engineering (Fo= rmaliSE 2027) https://2027.formalise.org/ 26=9627 April 2027 Dublin, Ireland *Co-located with ICSE 2027* SUBMISSION LINK: https://formalise27.hotcrp.com/u/0/ FormaliSE brings together the formal methods and software engineering commu= nities to exchange ideas, experiences, techniques, and results, with the go= al of fostering the development and application of formal methods that are = both practically useful and capable of supporting high-quality software eng= ineering. **Topics of interest:** We welcome contributions on all aspects of formal methods and software engi= neering, including, but not limited to: - requirements formalization and formal specification; - verification and validation approaches, methods, and tools; - integration of formal methods into the software development lifecycle; - model-based engineering; - formal methods for AI-based systems (FM4AI) and AI applied to formal met= hods (AI4FM); - synergies between LLMs/Agentic AI and formal methods; - correctness-by-construction approaches; - formal methods for safety, security, certification, and non-functional p= roperties; - scalability and practical application of formal methods; - case studies, experience reports, guidelines, and usability of formal me= thods. **Submission categories:** FormaliSE 2027 welcomes the following categories of contributions: - *Full Research Papers* (10 pages + 2 pages of references): describing or= iginal research work and results. - *Experience Report Papers* (10 pages + 2 pages of references): discussin= g a significant application that suggests general lessons learned and motiv= ates further research, or empirically validates theoretical results - *Research Ideas Papers* (4 pages + 1 page of references): describing new= ideas in preliminary form with an early evaluation and including a plan fo= r future studies - *Vision Papers* (5 pages + 1 page of references): outlining mid- and lon= g-term visions or roadmaps on a (potentially controversial) topic relevant = to the conference. - *Tool Demo Papers* (4 pages including references): describing novel tool= s, outlining usage scenarios, including main screenshots, and a link to the= tool or a video demo. - *Posters* (2 pages including references): describing work in progress. Submissions must follow the IEEE conference proceedings format. All papers submitted to the FormaliSE 2027 conference must be written in En= glish, double-blind, must be unpublished original work, and must not be und= er review or submitted elsewhere at the time of submission. The official publication date is the date the proceedings are made availabl= e in the ACM or IEEE Digital Libraries. This date may be up to two weeks pr= ior to the first day of ICSE 2027. The official publication date affects th= e deadline for any patent filings related to published work. Purchases of additional pages in the proceedings is not allowed. **Artifact Evaluation:** FormaliSE 2027 continues its Artifact Evaluation (AE) process to promote re= producibility, transparency, and reuse of research results. Authors are enc= ouraged to submit supporting artifacts such as software, datasets, models, = proofs, or other materials that substantiate the claims made in their paper= s. Artifact submission is optional, but strongly encouraged whenever applicabl= e. Artifacts will be evaluated separately with respect to their consistency= , completeness, documentation, and ease of use. Successfully evaluated arti= facts will be awarded the EAPLS Artifact Badges that apply (among =93Functi= onal=94, =93Reusable=94, and =93Available=94) **Important Dates (AoE):** - 30 October 2026 =96 Abstract submission - 6 November 2026 =96 Paper submission - 10 November 2026 =96 Artifact submission - 11 January 2027 =96 Paper notification - 15 January 2027 =96 Artifact notification - 29 January 2027 =96 Camera-ready submission **Program Committee Chairs** Alessio Ferrari, Trinity College Dublin, Ireland and CNR, Italy Alexandra Mendes, Faculty of Engineering, University of Porto, Portugal **General Chairs** Stefania Gnesi, Consiglio Nazionale delle Ricerche (CNR), Italy Nico Plat, The Netherlands **Program Committee** Alessandro Cimatti, Fondazione Bruno Kessler, Italy Allison Sullivan, The University of Texas at Arlington, USA Anastasia Mavridou, KBR Inc. / NASA Ames Research Center, USA Arnd Hartmanns, University of Twente, Netherlands Camilo Rocha, Pontificia Universidad Javeriana, Colombia Carla Ferreira, NOVA University Lisbon, Portugal Carlo A. Furia, USI Universit=E0 della Svizzera italiana, Switzerland Carlos Gustavo Lopez Pombo, Consejo Nacional de Investigaciones Cient=EDfic= as y T=E9cnicas, Argentina Claudio Menghi, University of Bergamo, Italy & McMaster University, Canada Cristina Seceleanu, M=E4lardalen University, Sweden Dominique M=E9ry, Universit=E9 de Lorraine and LORIA, France Emily First, Rutgers University, New Brunswick, USA Ernst Moritz, University of Twente, Netherlands Federico Mora, University of Waterloo, Canada Graeme Smith, The University of Queensland, Australia Gustavo Betarte, Universidad de la Rep=FAblica, Uruguay Gwen Sala=FCn, University Grenoble Alpes, LIG, Inria, France HeikeWehrheim, Carl von Ossietzky Universit=E4t Oldenburg, Germany Hern=E1n Melgratti, Universidad de Buenos Aires, Argentina Hugo A. L=F3pez, Technical University of Denmark, Denmark Kenneth Johnson, Auckland University of Technology, New Zealand Kyungmin Bae, Pohang University of Science and Technology (POSTECH), South = Korea Laura Semini, Dipartimento di Informatica, Universit=E0 di Pisa, Italy Logan Murphy, University of Toronto, Canada Luigia Petre, =C5bo Akademi University, Finland Lu=EDs Soares Barbosa, Universidade do Minho and INESC TEC, Portugal Marie-Christine Jakobs, LMU Munich, Germany Marjan Sirjani, M=E4lardalen University, Sweden Marsha Chechik, University of Toronto, Canada Matteo Rossi, Politecnico di Milano, Italy Maurice H. ter Beek, CNR-ISTI, Pisa, Italy Michael Whalen, Amazon Web Services, Inc. and the University of Minnesota, = USA Mohammad Reza Mousavi,King's College London, UK Nancy Day, University of Waterloo, Canada Nianyu Li, ZGC Lab, China Oana Andrei, University of Glasgow, UK Quentin Nivon, Independent Researcher Rosemary Monahan, Maynooth University, Ireland Shahar Maoz, Tel Aviv University, Israel Silvia Bonfanti, University of Bergamo, Italy Silvia Lizeth Tapia Tarifa, University of Oslo, Norway Sim=E3o Melo de Sousa, Universidade do Algarve, NOVA-LINCS, Portugal Simon Bliudze, Centre Inria de l'Universit=E9 de Lille, France Simon Foster, University of York, UK Stefan Zetzsche, Amazon Web Services, UK Taylor Johnson, Vanderbilt University, USA Timothy Bourke, Inria/ENS, France Tiziana Margaria,University of Limerick, Ireland ToshiakiAoki, JAIST, Japan Wolfgang Ahrendt, Chalmers University of Technology, Sweden Yasmeen Rafiq, University of Manchester, UK Zhenya Zhang, Kyushu University, Japan =97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97 For the complete Call for Papers, submission instructions, review criteria,= and policies, please visit https://2027.formalise.org/ Alessio Ferrari, PhD Assistant Professor Trinity College Dublin (TCD) School of Computer Science and Statistics (SCSS) email: aferrari@tcd.ie Associate Editor of ACM TOSEM and Springer Requirements Engineering Journal * Sometimes I send emails outside of core working hours. Please do not feel= obliged to respond until regular working hours. --_000_AM6PR02MB3975CED544E7147D497BD50BB3B02AM6PR02MB3975eurp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
[Apologies if you receive multiple copies]

**CALL  FOR  PAPERS**

15th International Conference on Formal Methods in Software Engineering (Fo= rmaliSE 2027)
https://2027.formalise.org/

26=9627 April 2027
Dublin, Ireland

*Co-located with ICSE 2027*

SUBMISSION LINK: https://formalise27.hotcrp.com/u/0/

FormaliSE brings together the formal methods and software engineering commu= nities to exchange ideas, experiences, techniques, and results, with the go= al of fostering the development and application of formal methods that are = both practically useful and capable of supporting high-quality software engineering.


**Topics of interest:**
We welcome contributions on all aspects of formal methods and software engi= neering, including, but not limited to:
 - requirements formalization and formal specification;
 - verification and validation approaches, methods, and tools;
 - integration of formal methods into the software development lifecyc= le;
 - model-based engineering;
 - formal methods for AI-based systems (FM4AI) and AI applied to forma= l methods (AI4FM);
 - synergies between LLMs/Agentic AI and formal methods;
 - correctness-by-construction approaches;
 - formal methods for safety, security, certification, and non-functio= nal properties;
 - scalability and practical application of formal methods;
 - case studies, experience reports, guidelines, and usability of form= al methods.


**Submission categories:**
FormaliSE 2027 welcomes the following categories of contributions:
 - *Full Research Papers* (10 pages + 2 pages of references): describi= ng original research work and results.
 - *Experience Report Papers* (10 pages + 2 pages of references): disc= ussing a significant application that suggests general lessons learned and = motivates further research, or empirically validates theoretical results
 - *Research Ideas Papers* (4 pages + 1 page of references): describin= g new ideas in preliminary form with an early evaluation and including a pl= an for future studies
 - *Vision Papers* (5 pages + 1 page of references): outlining mid- an= d long-term visions or roadmaps on a (potentially controversial) topic rele= vant to the conference.
 - *Tool Demo Papers* (4 pages including references): describing novel= tools, outlining usage scenarios, including main screenshots, and a link t= o the tool or a video demo.
 - *Posters* (2 pages including references): describing work in progre= ss. 


Submissions must follow the IEEE conference proceedings format.

All papers submitted to the FormaliSE 2027 conference must be written in En= glish, double-blind, must be unpublished original work, and must not be und= er review or submitted elsewhere at the time of submission.

The official publication date is the date the proceedings are made availabl= e in the ACM or IEEE Digital Libraries. This date may be up to two weeks pr= ior to the first day of ICSE 2027. The official publication date affects th= e deadline for any patent filings related to published work.

Purchases of additional pages in the proceedings is not allowed.

**Artifact Evaluation:**
FormaliSE 2027 continues its Artifact Evaluation (AE) process to promote re= producibility, transparency, and reuse of research results. Authors are enc= ouraged to submit supporting artifacts such as software, datasets, models, = proofs, or other materials that substantiate the claims made in their papers.

Artifact submission is optional, but strongly encouraged whenever applicabl= e. Artifacts will be evaluated separately with respect to their consistency= , completeness, documentation, and ease of use. Successfully evaluated arti= facts will be awarded the EAPLS Artifact Badges that apply (among =93Functional=94, =93Reusable=94, and = =93Available=94)

**Important Dates (AoE):**
 - 30 October 2026 =96 Abstract submission
 - 6 November 2026 =96 Paper submission
 - 10 November 2026 =96 Artifact submission
 - 11 January 2027 =96 Paper notification
 - 15 January 2027 =96 Artifact notification
 - 29 January 2027 =96 Camera-ready submission


**Program Committee Chairs**
Alessio Ferrari, Trinity College Dublin, Ireland and CNR, Italy
Alexandra Mendes, Faculty of Engineering, University of Porto, Portugal

**General Chairs**
Stefania Gnesi, Consiglio Nazionale delle Ricerche (CNR), Italy
Nico Plat, The Netherlands

**Program Committee**
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Allison Sullivan, The University of Texas at Arlington, USA
Anastasia Mavridou, KBR Inc. / NASA Ames Research Center, USA
Arnd Hartmanns, University of Twente, Netherlands
Camilo Rocha, Pontificia Universidad Javeriana, Colombia
Carla Ferreira, NOVA University Lisbon, Portugal
Carlo A. Furia, USI Universit=E0 della Svizzera italiana, Switzerland
Carlos Gustavo Lopez Pombo, Consejo Nacional de Investigaciones Cient=EDfic= as y T=E9cnicas, Argentina
Claudio Menghi, University of Bergamo, Italy & McMaster University, Can= ada
Cristina Seceleanu, M=E4lardalen University, Sweden
Dominique M=E9ry, Universit=E9 de Lorraine and LORIA, France
Emily First, Rutgers University, New Brunswick, USA
Ernst Moritz, University of Twente, Netherlands
Federico Mora, University of Waterloo, Canada
Graeme Smith, The University of Queensland, Australia
Gustavo Betarte, Universidad de la Rep=FAblica, Uruguay
Gwen Sala=FCn, University Grenoble Alpes, LIG, Inria, France
HeikeWehrheim, Carl von Ossietzky Universit=E4t Oldenburg, Germany
Hern=E1n Melgratti, Universidad de Buenos Aires, Argentina
Hugo A. L=F3pez, Technical University of Denmark, Denmark
Kenneth Johnson, Auckland University of Technology, New Zealand
Kyungmin Bae, Pohang University of Science and Technology (POSTECH), South = Korea
Laura Semini, Dipartimento di Informatica, Universit=E0 di Pisa, Italy
Logan Murphy, University of Toronto, Canada
Luigia Petre, =C5bo Akademi University, Finland
Lu=EDs Soares Barbosa, Universidade do Minho and INESC TEC, Portugal
Marie-Christine Jakobs, LMU Munich, Germany
Marjan Sirjani, M=E4lardalen University, Sweden
Marsha Chechik, University of Toronto, Canada
Matteo Rossi, Politecnico di Milano, Italy
Maurice H. ter Beek, CNR-ISTI, Pisa, Italy
Michael Whalen, Amazon Web Services, Inc. and the University of Minnesota, = USA
Mohammad Reza Mousavi,King's College London, UK
Nancy Day, University of Waterloo, Canada
Nianyu Li, ZGC Lab, China
Oana Andrei, University of Glasgow, UK
Quentin Nivon, Independent Researcher
Rosemary Monahan, Maynooth University, Ireland
Shahar Maoz, Tel Aviv University, Israel
Silvia Bonfanti, University of Bergamo, Italy
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
Sim=E3o Melo de Sousa, Universidade do Algarve, NOVA-LINCS, Portugal
Simon Bliudze, Centre Inria de l'Universit=E9 de Lille, France
Simon Foster, University of York, UK
Stefan Zetzsche, Amazon Web Services, UK
Taylor Johnson, Vanderbilt University, USA
Timothy Bourke, Inria/ENS, France
Tiziana Margaria,University of Limerick, Ireland
ToshiakiAoki, JAIST, Japan
Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Yasmeen Rafiq, University of Manchester, UK
Zhenya Zhang, Kyushu University, Japan


=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97=97
For the complete Call for Papers, submission instructions, review criteria,= and policies, please visit https://2027.formalise.org/

Alessio Ferrari, PhD
Assistant Professor
Trinity College Dublin (TCD)
School of Computer Science and Statistics (SCSS)
email: aferrari@tcd.ie

Associate Editor of ACM TOSEM and Springer Requirements Engineering Journal=

* Sometimes I send emails outside of core working hours. Please do not feel= obliged to respond until regular working hours.





--_000_AM6PR02MB3975CED544E7147D497BD50BB3B02AM6PR02MB3975eurp_--