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=SoejzlH6; 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 2A52A40087 for ; Fri, 11 Sep 2026 07:57:23 +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=E65to6eL9sesmy5RGfVAjbSkFhn97F16oPl/9QKebbE=; b=SoejzlH6WLBPRQpEq1tbz9zeFKaSdRcVgKJsSKGJKfbO3mP3cMySYYC2 3IpjVhwQRpvWQj3/UN8DRGzVxd+SvVNaGhrXVCBy2Q1453OVtBrGPrq9i mkqMuDb+fX0EVA6yuaGkVxDx/djYeQZsB5CTPK/ST71waM88sI18Vh057 0=; X-CSE-ConnectionGUID: +KjeNEnTQFq6+hsg+HuYgw== X-CSE-MsgGUID: CjkQ/n6ZQnK9veZvfO52Zg== 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,96,1787004000"; d="scan'208,217";a="294281155" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Sep 2026 09:57:20 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 88BF182658; Fri, 11 Sep 2026 09:57:19 +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 8A58781DA4; Fri, 11 Sep 2026 09:43:28 +0200 (CEST) X-CSE-ConnectionGUID: C5TgrvIwT26GAmE3tjhblw== X-CSE-MsgGUID: KYBf67Q+Qn+HdPJzyTZEbg== IronPort-SDR: 6aa3b11f_+Cl0YAUDZm/0SQurH/qvgpmXkVyyh+DeGBn2AJFspAw39Z5 x8F770N2DFVeTyJ5P6TBIc6trFy/hJXs2j9IG4Q== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FqAwB3sKNqgXxUZTRaDoQIMVNCAUUCYi8DBwhJiCQDh?= =?us-ascii?q?SuIeYEWgROcCYFZCwYPAQMBCwIuAQgaBAEBAQIBA4ILgnMCjgcgBgEENBMBA?= =?us-ascii?q?gQDAgMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE7Bw47hh8wD?= =?us-ascii?q?YwTO3GBJQEBAQEBAQEBAQEBAQEdAhRXASEFHCMBASQCEhEBBjoBPicEARIIg?= =?us-ascii?q?nuCHQcEC0EEAg6nHZEFAgKKGniBNIEBggwBAQYEBIEB2yuBagMGgU2BFoF7h?= =?us-ascii?q?U0BKoE1AYQXAYR8ggtEgRVCgXk4doEFTYI8AQsEAwEjK4NogjCCERV6EhuCL?= =?us-ascii?q?RkBh2SJQoFEIgMmMywBVRMXCwcFgTMzAyAKLy0CFB0SDwQWMh1wDCcSLBcvW?= =?us-ascii?q?BsGBYEdfCuCYiMZNnqBCQpUgSspYRIXgQlOAQMCgTQCBoJOggECAUlDDgdFU?= =?us-ascii?q?wknRAcSTCkiCAULbT03Bg8ZAwSBNQWOGAdaH4FqH00dNgsyDQMdBBM8ASsRD?= =?us-ascii?q?AUwBBMEIQoNDAYFQJJLj3ijdzKDdowikjCDQBeEBI0UmE2BCIgEkQQjjWeVZ?= =?us-ascii?q?BOFFwIEAgQFAhABAQaBfyNscDMag1pQAxkPWAGNUwIWg2CCS4JIihsGCQG8W?= =?us-ascii?q?0U0PgEHAgcPAoFzkAACJgcFgUwBAQ?= IronPort-PHdr: A9a23:Z/TjfRU+ycFIZNPRVUQ1Bva8L1HV8KzQWDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtuds6gP0baG4ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvQu8UMnYduNKk9xgXGr3ZLf+ld2H9lK0+Ukxvg6ci8+4Ju/T5NsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQSXH0ZnRZRHQXL4wz0Uo/+vSXmuOV93jKaPdDtQrAvRTui9 aZrRwT2hyoBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcNUHTmRDQ8lRTTRMDIOiY YUSE+oPM+VWoJXyqFYVtxSyGRWgCfnzxjNUhnL727Ax3eQ7EQHB2QwtB84DsHDKo9XuL6cSU Oe1x7TIwzrddfNWwy3y6JLJchs8pvyBQbJ+f8XNx0czCw7LklaepJf5PzyJy+sBqWmb4PR5W O+plmUopB1/rCK1yccwlonGmJgVylbc+Ct2z4s7K8G1Rk57bNOnEJVduTyWOYVrTs8/X2xkp Sk3x6AItJC1YCQHypQpyR7DZ/GDfIWE/hDuWfqeLzp5hn9ofq+0iRi18Uil0OL8V8+03U5Er ipCiNnMs2oC1xjS6sicVPRx5ECh2SyA1wzL6uFEJlw0mrbBK5452LI/ip0TsUHFEyTrm0v2l Lebe0U69uSy9ujrfqjqqoWfOoJ7kA3yL7oil8OnDegmMwUCQ2aW9OGh2LH/50L0QbBHguMqn qbCtZ3XKsAWq6u8DgJb3Isu7Qu0AS2839QCh3YHKUpIeBKZgIjtPFHDOP72AOqxjlq2jDln2 +7KMqH/DpjTIHfPjKvtcLhn505b1Qoz0ctQ55VJCrEHPf3/QFfxtMbfDh8lLQO73/rnCNR61 oMYQ26PBbKZML/WsV+P4eIvIPOAa5MSuDb4M/Ql5vjugmElmVIFfaSlw4EbZG2kEvh7OUmUY nXhjs0cHWsUsQcyVOnqh0eDUT5XaXayRaU85jQjBY+6DYnNSZyjjqCd0SmnHZNbfXxGBUyRH nvydoWLRe8AaDiOLc95jjwESb+hRpc92h60sQ/6z6NrLu7V+i0DqZLuz8N15u3WlREq7zN4F cWd02eXT2F1hGwEXTE23LpnrUxn1liDybR4g+BfFdFL+/xJVR46OYfAwOx+FtD9QRnMfsyJS VajWtWpGys9TtM3w98UYkZyAc+ujh7Z3yayBb8ajKSEBIYo/aLEw3jxO8F9xm7Y2KU5gFkpX MxPO268iKNn9AbdCJbFk1+HmKa0dqoSxjbA9GKZwmqPuEFUSQhwUaLfXXADZkvZs8n55lnFT 7+2F7soKApAycmEKqdXd9HlkUtKSOv+NNjAbG+9gWCwBQuUxryXa4rqZmMd0zjHBEgciQAT+ mqGOhYiCSe9omLeCzpuGUjoY0Px7el+rHS7Tkg3zw2Qc0Jh0L+19gYIivyfSvMT26oJtj8up Tp6Alizw87bBdyYqwV8eaVTe8k970tf2GzBrgJzJpOuI7h5hl4GfQR6p1ng2glqBItdicQqt 2sqzARqJqKYzlxBczSY0IjqNLDLN2f84UPnV6mDkFrX1dLT/qYU9Nw5rU/itUenDABqp35u1 t0Q13qH+r3LChATWNT/SBBzv1Jxrq3XbS4n5o7P/XhwOO+/u3WKj9kgGOYqzQyhcsx3Nb+NU gT7RYlSTcOpIeglllKzZzoKJulX/ao1JN+rbL2BwqHhdLJrmzuigmlN+olV3FiF8iN4S/XU0 o1DxOuXiE/PHTz7iVLkrsD6nppVTTAfE2f5zjLrTsYFbap3eMMXCWqpOdyfx9hzitjqQXEOs BbpDFQA09KzYxeUZE3V2QxLyV8au2Kqg22k0jEylTVj5v6U2yrF3v74eRwMK0ZPRXJ+llr2P 4WuycwHUQ6ua15t3FGu4l+/zKxGrox+KXPSSAFGZWK+e2plS+67sqeIS89J8pIh9ytNBqD0K 1yQVbnnpxcy2DilAGpFz3Y2eyzg8sH1lQN9kmaRBH1o6mXYYso2yBvCspiUD/JQxjMcWCh9h D/LAXCwPp+0+9SMltHCrqr2A26gTpRJbSjuwIWcswO35Ct3BxynnrayhoujWUI21jPn0MNjU ynJ6hr9J4PsyqKxPPlPekhzGFD198dlE5A4j40xnJBW2GRQzsGZ+mYbln36N9lan67/KXAKW DgAzsX95An+xEJqMn+WzpO/S3Oc2sonZsXsMU0M3SdoxsRHE7yV6/RqkDFvq0C55Vb4T9VHp B4n6NMy43Jcguxf61ll9TmUHr1HRRoQBifrjRndt7hWzY1SbWerK/2r0VZm2MqmB/eEqx1dX 3DwftEjGzVx54NxKgGEy2X9v6fjftSYdtcPrluMiR6VpsZ4EqgYrNsimSFrf2Pw7jU+0+But RV1xtmhuZSfbWBk/aa3GBldYxTbSvkp0wvMpbpVkoCX0tPnBY1vTw0CR4CgVve0CHQSuPDgY h6JCyE5o2yHFKD3MSXE0H0+9SqVOK3zbyrRI2QFx9J/QhXbPFZYnA0fQDQ9mNg+Cxyuw8viN kx+41j9/3berR1BgqJtPhj7CCLEoRuwLy0zQ96ZJQZX6QdL4wHUN9af56R9BXMQ+JrptwGLJ mGBAmYARWgURkyJAUziNbiy9JHB9eafHO+3M/rJZ/2Ht+VfU/6CwZ/n3JFh+n6AMcCGP38qC PNeuAILdF5UIf7woRQnVycb0SPALoaaqBq65ixrv5Wn6v24EAnr5IaJF/5TKYAyoVbv2f7FZ 7LW3XwlelM6ntsWyHTFyaYSxgsXgiBqLXy2FKgY8DTKR+TWk7NWCBgSb2VyMtFJ5uQyxFooW 4aTh9Xr27p/lvNwBU1CUAmrs++EX/YjGUCVKFjLQkeGfufONXjQzsf7bLnpA5R+od9unieRk SqQHwniM37Q8luhHwDqOuZKgiaBORVYs4zoaRdhB1/oS9f+YwG6Ott65dEv6YU9nWiCdWsVM DwmNlhIsqXV9yRTxPN2B21G6HNha+iCgSeQqefCeN4atv5iAyI8kOw/gjxy4pV41httft1dh CDe6N9j612rieiAzDN7XQEG92wN3drS+xU+f/yDqtFJQj7c8QgI7HmMBhhCvNZjBtD1+sUyg pDOmK/1NDZe4ofR9MoYCdLTLZHPO34gPBz1XT/MWVZfC2fzbCeP2woEyq3Bkx/d5oI3oZXth pcUH7pSVVhvU+gfFlwgBtsJZpF+QjIjl7efys8O/3u36hfLF6A49tjKUOyfBfL3JXOXl75BM lEh757CF60pF6Xn0EAka1Qwz8zaXlHdW9xAuHgrRyEZmn9kyllWUmY/nUPoIFDIgjdbBbu/m Rg4jRF7aOIm+WL34ls5EVHNoTM5jEg7ndi2ySDUajP6K728GJ1HEyeh/VZkKYv1GkwmCG/61 VwhLjrPQKhdyqdtZXw+whGJooNBQLZdVfEWPEdWlKvRP7Nwlg0B4iS/mR0bva2cUcQkzE1yN sfyyhAIkwN7MIxof+qJfPIPlh4IwfvT9i6wirJsmklHfxxLqCXKP3dW8E0Qaut7fWzxprcqs Ura3GIcHQpEH/sy/qAzrh97Z7vGl2S4lOccYkGpab7FJvvA6TGZzJyGHgtohBFPyxkgn/A+0 N99IRCdDxl9leLIRRpVbZGQe0YJPoJT7CaBJy/W6LeUmMsnMdnlTbK4FbfW5vRT3xvBfk5hH pxSvJ4IRsD+iRiBf8m7dOVXwk11vFa5YwjcRPVRJkDRmW9e8Zjmlc15gdEGdD9FWT0vY2Lqv P6SrwsuypJvRf8Oa2wBFssBP3MyAoihnjJB+m5HB3+x2/4Yzw6L63n9oD7RBX/ydYgraPCRb BJqQNa4nFd3u7CxkkLS+47CKnvSGf45guWXs7tAjKvfU6gSSqRhuUDBnYUeX2atT2PEDd+yI d73dpUoatv3TH29Vzndw3o5QtzwM9CkMqWTyVyyA98M6c/LgHZ6b5P1HypWAxpqouAf+K9wL RYOZZY2e1+gtggzMbC+PBbN0tiqRDXIS3MeRP1ewOOmIr1Pmnd2KLbikT1wEtdjlbXklCxFD IsHhRzf2/u5MoxXUCypX2dYZx2Kvy0y0W5oKuc1xO47hhLOq1gVdT6RJ4kLICRJuc8xAVSKL DB4EG09EhW1o6f52CeW/pgO9Ccbntsegogn+DDu+4TSZj6hQvnhsZLOry8pdsQruYVdG9fbG JPc7Mn1o2SHF9/XrxGPVzO8G7xCgN9MLSlEQf5O32Y4JcgBvokH4k00HJRbRfQHGOwnobakb iBhBCgZwHoCVo+O6zcFh/+1x7rQkhrDOIRnKhEPt49Ox8cMSyMjKD1Lv7etDs+F8g3MAnhOO goY6h5AoR4NhpMlNP6w+5LGFddN02IE/6oyA3GNTt8wsAKmAmCO3QqkELP4y7PvhUQKi6uyt 7tTEB9nVRoAnaAPzhNucPcvbPBN9o/S7m3VLwWj5DirkK3+YwAPgczMKw+lVsyc7TG6CmtEv iRLIO0HgHDHScZLy1Y/NPlt/BMUZ9n5MkfmuW5+ztwwTeDhDJKlmw59/yRBG3fPcZIJCvk44 gjeAGQ3Osny+pu5Y84AECgMqdWcswkLykw1anzgkMMOJZ0VuWxcBGAX82fa4YLXKoUL2NcoX cUFeo4t4i6kSq0YYMPDqCVu4u69jSKAszEk7gXgzW3qSfbhFrBXozVFSAtxfzzM+A5yVaNp+ 2PWuDglXXho9OsdB7Xd1C2ZQR5RNMt2PG4TjSqOEgwrFz9BrvlQL7nTf4pEWf4uaBSzOhs4U /k7w0iO+kIylnD8MXUaXu5y5yvRGQg5B3F9vw== IronPort-Data: A9a23:EIM3U6PWOUHxULLvrR3TnMFynXyQoLVcMsEvi/4bfWQNrUoh0mMPz GRNCG7UPPeLNjCjKIojYN609BsO78eDzNRjHgZtpSBmQlt09fbIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVqicfHw3HVY6IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kkw1BjOkGlA5AJmNKkT5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk b2hhrTpIesdBZAgrcxBO/VuO3EnbPceoNcrFlDk2SCb5xWun3IBWJyCBmluVWET0r8f7W2ja ZX0gd3CB/yOr7ve/V61dgVjru9+EMbxIqIAhis+4hjcIK06Q5DJR7qfsLe03B9o7ixPNdr0P PIjMWA3Nj/9O0UUfFAKFJg5geGkwGHldCFVo06Uoqxx5HXPyAt20/7mN9+9lt6iGJ8Txx7B4 DKauT2jXnn2N/THodaB2luCq9X1tBnacJ4ZGPu5+5aGhXXJlzBJV0JGCQDTTf+RqX+UVYwAE g8t/GkOoZAQ5l2XfPT3UEjtyJKDlkVHAYYPewEg0ymGw6/QpgKYHXQsVS9EcNVgtcksRDVs2 EXht9juHHlktKCfYWmM86+d6zK0Iykca2EYDRLoViMA6tjn5Yc0lA7PQ8t5F7a4h8/yH2ipm 2rS9XJiwbIOkcQMyqO3u0jdhC6hrYTISQhz4RjLWmWi7UVyY4vNi5GUBUbzxqt8I5yHb0a95 iYrss2zt/wMDZuJi3nYKAkSJ41F8cppJxX9rDZS83QJ8j2s/zuleppM4DxjPkBxP88WfjmwO ReJ4VoLuNlUIWegarJxb8SpEcM2wKP8FNPjEPfJct5JZZs3fwiClM2PWaJy9z+9+KTPufhiU Xt+TSpKJStGYUiA5GftL9rxKZdxmkgDKZr7HPgXNShLLoZylFbOEu1ZbzNin8g87aiepx7S/ coXPMyQ031ibQEKWQGOqdR7BQlScxATXMmqw+QJLLLrClQ9QgkJVaSOqY7NjqQ/zsy5YM+Tp inlAie1CTPX2RX6FOl9Qio6MO6wB80j/CxT0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65acsE 6dXSNbKGflVVDXM9hIUaJS3/sQodw2miUjKd2CpaSQ2NcwoDQHY2M7WTi22/gk3Dw2zqZQfp Z+k3VjlWpYtfVlpI/vXT/ON9GmPm0Yhtth8ZXaVHekLSn7QqNBrDwfTks4IJ9o9LESf5zmCi CeTLxQqhcjMhI4X2uPKu5u5rKmSKNZURnsAJnTS0ou3EQL4/WOT55BKf8jVXDLaVULyoL6DY 8cMxd7CEfQ3pnR4mKsiLKRKl4cQv8DOoZ1exSRaRET7VUyhUO5cEyPXzPtxub1o7Z4HnwmPA 2ak2MRQYJeNM+PbSG8hHhIvNLm/5KtFiwvpzKoHJWvh73VK55uBa0JZOieMhAF7LLdYNIAEw /8riPUJ6j6Q2wYbDdKbsh96r2i8DGQMc6EChKEoBIXGjgkKyFYbRbf+DiTwwo+EavQSE00MD wKXupH/hOVn9hKfS0YwKHnD5voCpJIsvBsR8kQOCW7UkfX4h9g2/iZrzxIJcipvwC5q7cdPK 0lwFkgsJayx7zZi38dCeGa3GjB+Ph6S+22v6lgzv0iAZXKNek3SCW4bB8Oh1VI99jMFchd54 r2nlWXBVxz7dprL2hppY1Zv8aD+R4dPrgftyd6uDpmHFcNiYB7OoKynVUwXoTTJXOIzg0zmo 7Fx3eBSMKfUCw8Zk5cZOaK7i4sCbQ+iH3NTZ81u54ULFjzsQy6z0j2wNEyBQMNBCPjU+0ueC cY1BMZwezmh9SSJvBYJLLUtJuJqofsX+9YyQLPnCmoYub+5rDAykpbx9DD7tVA7UedVjscxB YPARQ2sSlXKqyNvpFbMi81YNk6TQ9oOPlT81d/o1tQ5LcsIteU0fHwi1rexgW6uDzJm2BCpp yLGWb7dyr1z6IZrnra0KJ55OSePFYrRWtiLoSeJiPYfSfPUMMzLiREZlUm/ASRSIokqeopWk ZajjYfJ+X3r7ZcMfULXoZ2jL5VyxN6TWbNXO/3nLXMBkiqlXtTt0iQ5+Gu5CMJok/1y3PeFf DKGSumJVeQXafwA3E9uSjN/FiwFAP/ddZbQpiKartamADcjwwedKM2G2E3tZmd5diQNOJzwM RD1sPCQ/eJlrJxAKRsHJvN+Cbp6EUDTYrQnfNjPqjWoNGmkrVecsL/ElxB7yzX0JlSbMcT9u 7TpewPfcUmshaT2091piYx+kRkJBnJbg+NrXEY8+cZzug+qHlw9MuURHpUXOK56yhWo+snDW wjMS28+BQHWfzdOK0z86eu+eDavPLUFP9OhKwE5+0+RVTyNO7qBJ7lc7QZl3WZ9f2ry7eOgK OxGwEbKADqK/shLS9oQt9uBusU29sOCkzhMsQr4ntfpChkTPaQS2TYzVEBRXCjACIfWmF+NO WExQnteTVqmTVLqV/xtYGNRBApTqQaHI+/EtstT6I23V0SnIOx8JDnXF8uo6odbNpxQD4NWH SixQHaR6WeL3HBVobEup98ina5zD7SMA9S+K6jgAwYVmslcL0w5atgak3NnoN4KoWZi/5H1z 1FAIETSwGyZI0wX2bD+JcAh5cdqSnxVZ93WpFeXmNIF+CDVC/DFcBTszQ+TxVQcbUT8lx0wf Qr+p3p9b7FbWPUIaNW+WjkmSoS7PPws IronPort-HdrOrdr: A9a23:IElZn6zRRXpcEumHE2NGKrPwP71zdoMgy1knxilNoH1uA66lfq WV98jzuiWE7Ar5NEtApTniAtjifZqjz+8R3WB5B97LNmTbUQ2TTL2KhrGM/9SPIUHDH5Zmu5 tdTw== X-Talos-CUID: =?us-ascii?q?9a23=3A0+gHKWiTKCuFzQMTfRdK04ZEVjJuWSDhw23OAlC?= =?us-ascii?q?EUzhGYbi4EkOS+KlgjJ87?= X-Talos-MUID: 9a23:Ea7kqQmDzI7HQ+1YunO6dnpBBe1mvfuXS3kL0rUKg+uWJBBCFj2S2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,96,1787004000"; d="scan'208,217";a="294277843" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFcs4HNiQUpRDpzvoq/sA4VJAp05iT2l9wQj1?= =?us-ascii?q?l+gNSiOV+K5wL76S2VB9rL4NUv8Od3xms/PxRKGhD/fDSgmWacMeDNkm?= =?us-ascii?q?K0+uqf61ZXG77/4k+zbn+oQ/kOvKfH1sZWgCPVQKX4GwAw1w5MHK/tEY?= =?us-ascii?q?jpOuZVOo8qQf1EcdjUdbdGMQ=3D=3D?= Received: from mail-northeuropeazon11020124.outbound.protection.outlook.com (HELO DB3PR0202CU003.outbound.protection.outlook.com) ([52.101.84.124]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Sep 2026 09:43:27 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=iu0/+CjoPMoKwfetN7j715CpJBzOXBDW+ehn5SLqR4udz69fkF5OyCpvacTC8qSnnXPwsJ3m9YxodNy0NPtW4e6fU4MUW2bLz2EstjwXsksUG3MF8cOzY20GdHHlgb2aBJ/Fi/QwMZEPDwVm+NF+QGdTz2RGXHaylq6hVIcVay3Nt2g8N5uJCnOtdVhFgm0Dlbrh7VUSb0DVuzFk4wn/6LlQsB6Lbb9587HSz95CH1qQNSx3trFlbLC5EKi4zD5P8dIAmEnbkzk6xqm/ak6Qlm43BiYYQZKF+wvHsT9gkAp9UFJ9OBU+0daBQ2LQXS9Obb2uqBVWxpQkVIEVT4LISQ== 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=E65to6eL9sesmy5RGfVAjbSkFhn97F16oPl/9QKebbE=; b=xsK1EQY9044E5lSwSfNZcp/7pXnSiMZjSUNgDPFEPuNM/BWYb43MT566onwLxeShDpVV+nnXRQUmYCfMi+dkWcT1iTC5rhSGgq7sqffzF5Vvjxg6mJ91ryisWFPAk2DnSZyOvK7W863SJlH6852lS6e30HihzYDIgvfysBYAW86+Kmt5KScjc1OiKalov6Iufx2YfofgNtcEzzRqr/NQs0Unw2uDUSw/hsoQbmKmRJwDdkDnTwVg1hM8xaY5o6BfdsNm058KGP2yqFHxtI3eRbeb8ZKbKt8XmfT6IayQC3TShNzlfO8UQipKhDF9RV2QEpn0OOdjTjC3GAprE4kBcw== 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 AS1PR02MB8207.eurprd02.prod.outlook.com (2603:10a6:20b:482::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.406.9; Fri, 11 Sep 2026 07:43:24 +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; Fri, 11 Sep 2026 07:43:24 +0000 From: Alessio Ferrari To: "caml-list@inria.fr" , "categories@mta.ca" , "coalgebra@framalistes.org" , "comm-theory@ieee.org" , "concurrency@listserver.tue.nl" , "coq-club@inria.fr" , "dbworld@cs.wisc.edu" , "dipartimento@di.unipi.it" , "dottorandi.di-bounces@listgateway.unipi.it" Thread-Topic: CfP: FormaliSE 2027 - Deadline 6 November 2026 Thread-Index: AQHdQcEDsH0CcLT6WUGhtugZ+iBDlA== Date: Fri, 11 Sep 2026 07:43:24 +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_|AS1PR02MB8207:EE_ x-ms-office365-filtering-correlation-id: 18b42947-68bb-4e37-5ff9-08df0fd85c0f 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|366016|786006|10070799003|1800799024|23010399003|376014|13003099007|38070700021|6133799003|10067099003|3023799007|56012099006|11063799006|5023799004|18002099003|8096899003; x-microsoft-antispam-message-info: 2ELSVWyE97qZLwaHeEj6QCbst19BzvCVU9c1rECGgfnZddK6N+IfZ14huLe+IPMUW6BB0P6P311SqFuMp/UANvLFpOF3j1FCnbZAEyBwIc3rhZL+1xyHS+pDH21DGMBCxYKvhFQhUnhcwvqWy5uouZQRoh+QWI9saR1T7mCqWVTXK4RVZGmQsEIqW77JXoWzwGs9JJbKAyDjC4tvm7x7bBJaH0uWulE6W3rMBZ0dbP727mCcZJ9VOXZGa+G5Wc5gAMOrBrKc1xqPBrd56OOslDcUbdSqYZkpFYX/ocaxBBywtEfi/zr78I3wgm3CJYiFFSLCx5HPYb0+EABCWVQO4r+1fN8DcKlARqRoGOLd/rJl57dk68lGlxgZeQ/diXT0iGFD4sscf8ULvBwyKFAdVKj9xPXyJDDG8p3nlwpa7zNFibgIITqYRvXjfvZ4mKr0TU3yJa4cXFw1cznRz5Ra934dTLmJWrHyvUqfy0xgZBgVxymVZt/wYhAsgt6uWhmQNRNiAR5dgXL4KAigAsU2yYFebmCRjit9Y8im8kWNxEQKiIPx860hRQJRcn1NRndgoZjvO/8FRAIxmDhGzXul34hu4ZYehA7lPTBLy2xhdoDI90tM1hQCZWfm36LXx5p79noXadn8IrKEFLq/4RkNfK+1t6dd9OgtuoHDY1vUVp0= 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)(366016)(786006)(10070799003)(1800799024)(23010399003)(376014)(13003099007)(38070700021)(6133799003)(10067099003)(3023799007)(56012099006)(11063799006)(5023799004)(18002099003)(8096899003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?s6wbdQTBPsBNUDHj03H0tC2OAXJmU+vHDMc4G7nRxMYgLGzQ53Gp77B4?= =?Windows-1252?Q?WZBeGoM3QqVTqG3ZkyQQA2HqVq0+sE78q+Y67FaMpWK0tcZJeeg9L9pZ?= =?Windows-1252?Q?3/r+QSbj5AMRSDanY5yzI2oj48GQw1jUbjy43H+I/w+jnbqETIcrQ75+?= =?Windows-1252?Q?3Cut6lESzEC6/0Fr4HaJt+6wDIr4nwuiAidbw81f4aoGQuEWQhYdB6/g?= =?Windows-1252?Q?9TqJru8kOrFENnPmhq5Zn6FLFVSdq5IHaRQNU1IKAyaBEh+79OwjL1cu?= =?Windows-1252?Q?bZzQGHPJRrU3kzHj4dVYaJhZ7wqc8Ce/C9T6L2TRF+HeQFiCqfaDAf99?= =?Windows-1252?Q?xV8u/MQ8Xz+5ppzRCuIFZLrUr7BBiI6wIO2vkPPutUpX7jMGCxh07cDr?= =?Windows-1252?Q?0+F8M5KrUzAa5JkAPpTxBhwfHOt/N8l6vcmpyr/OedNqy1yq4vzolWcA?= =?Windows-1252?Q?5Cd9GEo/XhyI9viSEGcToVXTMz4CTzG71Gwbqp5jDwI9XVUAVFs9D3Zf?= =?Windows-1252?Q?oD59Ht/wPUDwPA9QLZsNF2uuKtgf80BFk3g8E+mGcn6vAAOWBUjuDu3x?= =?Windows-1252?Q?SM48Rs5WPE0/hHoTfV0iOLozClIuniBxnS1TjNHi26ns17wNXaiY6Sny?= =?Windows-1252?Q?OowncQ2Op74NRyNXOR8PU7YGoovEDduXj51eccHyFfuqaXJzx+szeZ3r?= =?Windows-1252?Q?u9Y2lUmhB1wb+GwdCqygk3TCcJqsqv1iRfvdmms34sFYbLjzCyQ7QCvk?= =?Windows-1252?Q?I4IgT4hKkdcFo489Bq5qnugXTrrUTiyl8PXmC1L3UfiCXm8e+hwwXIF4?= =?Windows-1252?Q?q9qEhPkH/Wk1fx201GW2Uv4meL6RacaCfZCiiO3CiygOR249bR+EmQez?= =?Windows-1252?Q?ercUhN1xLvggOlwpS1XW4B12slz+3JuMGhVMQGKfXHOPttwWHDyk8tNg?= =?Windows-1252?Q?j6eRVTh+SQGUHBTHqWAbbE4DCbF+Vbcd5PhvT5PlM1GamFt60BpoAkH9?= =?Windows-1252?Q?+lltAeznXK9r6cW3mf8PuvuIEHSu6DdmyZu9gBGMoou0qVMK8EtGZnfm?= =?Windows-1252?Q?O64PhmSo4fxpu1xNQusWIrumYAQkAIk9BGSjcvQgUFRJ1g8w1rFbf2B/?= =?Windows-1252?Q?DKyN+6P6UT18X0SKUtxJaBgxRP0/jgVwY0bRRiOG3nY/Ns/dwnb+S8sQ?= =?Windows-1252?Q?4NskxMTNplFVElPK5CVJeoYhg9sF0muSNtDK45dUynkdychyP1ZauK6k?= =?Windows-1252?Q?Ijm+4eurrxTVfgajHTyiZQXO6TVNOmx5PGCQc+NnLUhQP0kaROEtTaqo?= =?Windows-1252?Q?GjA6Rq0eTGSwFfqu2YrpszX1+4liaBMK9+rCpN4A/d3JLV2aXI6aisBl?= =?Windows-1252?Q?q4TH3ObUp2OWr8QqlJxEDC3qC/jLH9chVbX9P337dmCzJ+C3v6w2bIZ/?= =?Windows-1252?Q?/MkfqOMa9GfML453M+8aHruwDzH3gmraN1BHO2FxbrWd8D8K3UsTu/Lj?= =?Windows-1252?Q?3NwHppSEE9osNMbQ757WL/iIZU05SuX+J8vKhpc9BmzpPCya0cgfRmOw?= =?Windows-1252?Q?7nVd3Of9+UBfLJFCxMUia7NpuD7709FSlH5RuoTupjoQm6OI0VJh/Rlu?= =?Windows-1252?Q?U3hLbYOijxEr1o7G2tAcPzfoa2sdn/H6IyKoT7EcGmC3Pn7YYjg9oMwj?= =?Windows-1252?Q?3D8+SWMbG17R8Or5dgFKnRQpIYVHUpE1KZmzx5nleUakhEpfw9/pChi0?= =?Windows-1252?Q?aHlXSawz09Hhwiz+CGCkM/93UHs633JrJFYHu91QkSsjIXa2mZffgmfF?= =?Windows-1252?Q?WDqd7TSSS1yrAf8LVXtP3zC8H126+d/Fe4JkYdVVh6y4hSwiD0Gbw3qJ?= =?Windows-1252?Q?JLEEW4qfNl31teKC1gh2ojasRq+xYchMjjyyqTFpXDj1w9aXMvDT9yFA?= Content-Type: multipart/alternative; boundary="_000_AM6PR02MB3975947A47B41955C12FC9D9B3BE2AM6PR02MB3975eurp_" 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: 18b42947-68bb-4e37-5ff9-08df0fd85c0f X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Sep 2026 07:43:24.1369 (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: 7mfIrqNH5k5XV7bxvL4iWTIuzNtki+MNRYvBPjYa2QNhQE/mZ1rMjWNOBXk2vvPd X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS1PR02MB8207 X-Validation-by: aferrari@tcd.ie Subject: [Caml-list] CfP: FormaliSE 2027 - Deadline 6 November 2026 Reply-To: Alessio Ferrari X-Loop: caml-list@inria.fr X-Sequence: 19576 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_AM6PR02MB3975947A47B41955C12FC9D9B3BE2AM6PR02MB3975eurp_ 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_AM6PR02MB3975947A47B41955C12FC9D9B3BE2AM6PR02MB3975eurp_ 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_AM6PR02MB3975947A47B41955C12FC9D9B3BE2AM6PR02MB3975eurp_--