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=BcHnOqup; dkim=fail reason="signature verification failed" (2048-bit key; secure) header.d=vu.nl header.i=@vu.nl header.a=rsa-sha256 header.s=smf header.b=EIb3rYF1; 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 48F004AA4B for ; Wed, 18 Dec 2024 22:52:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=Zdmz+EjlyDl+/Sr++eXvN//m/SUAQPgtfe3WL+I5buI=; b=BcHnOqupbLCLgxvbYLLcRmFtLrPQ6t8gwxfKLtGkc/Uy3TGm5kiHOBLA FBZlUQJcmJpIMpTijnLi3jKDyJybtae8PvfuHiqVch+55tYn1K/+b5CJd B7MDR2HRzio1QZBGrLHXtsVCuQMtlpgRuxXIbEqXoM4EOVfwjlCUW9KNI k=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@vu.nl X-IronPort-AV: E=Sophos;i="6.12,245,1728943200"; d="scan'208";a="199930764" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Dec 2024 23:52:19 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1683AE0D3B; Wed, 18 Dec 2024 23:52:19 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6A427E0077 for ; Wed, 18 Dec 2024 23:52:16 +0100 (CET) IronPort-SDR: 6763521f_qwJsU4QR4melFpBdYGJELkJG50Dv4UpNV/I8wIQi9xV/asc SROoyryrnadWB4xJYoPAayeEv1BQK/Sh3TPD26A== X-IPAS-Result: =?us-ascii?q?A0GOAwCLUWNnji4NqcNagQmEF30GVzAHUB2EOYNPjh+EP?= =?us-ascii?q?ptbDwEDAQwBOQkCBAEBAwEDggyNYwIfBgEENBMBAgQBAQEBAwIDAQEBAQEBE?= =?us-ascii?q?AEBBQEBAQIBAQIEBgECEAEBAQEBATkFSYV7DYJbO3GBJQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEdAhQpLgFCBg8BBQgBASYFDTQCJgJeFQEBEIJtAYJkAwQNsiqBMoEBggwBA?= =?us-ascii?q?QaBCD4FgR3ZN4FkAwYJAYEQLohOAYFsg3+FHoFkRIEVJwuBSoJxgxUBA4QAg?= =?us-ascii?q?mmCJxeEdoFqhEWCf1SBWXmBIIJwgQ+EC4oOCYFEHANZMgFVExcLBwWBcwOBF?= =?us-ascii?q?YNgRj2CSmlJNwINAjaCInyCTYElBAWDaoRhYS8DAwMDgzuGGoIXghaBKh1AA?= =?us-ascii?q?gELbT03CQsbnXFHgnVsBk1NIRMNLwFBBwUwBEIBCx4rD5JUGgqzFQeEHYwYl?= =?us-ascii?q?TMGQoQEhxGFdIZOknqIApB5gleLK5UmLoUqAgQCBAUCF4F+I4FcTS8jgwgSP?= =?us-ascii?q?QMXAg+BG40dAohRJLlrdzwCBwEKAQEDCYVpiVABJwwuAYEcAQE?= IronPort-PHdr: A9a23:PuVtixC34/I1kdnzTWc0UyQUrEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua40yg6YFt2Bo7Ic0qyK6PimATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvMusUMhYZvLqk9xgfXrnBVf+ha2X5kKUickhvy+su85oJv/zhVt/k868NOTKL2crg3Q rBfEDkoKWc56tH1uxLeVwWP/HwcUmsXkhpMHQfI6QzxU4nyvCXnqOdzwTGWMsLqQ786XzSi9 LprRwTziCgbLT458XrYhdJ2galGvR+uvR1/w4rTYIGIKPpze77WcN0GSWZdWMtaSipMCZ6+Y YQSFeoMJeVWoYfyqFQArRWwGBeiC//gxD9JnXL2wa433v49HQ3awgAtHdQDu2nUotXvM6cSV Pi4wq3PzTrddfNW1ir25ofOch88u/GMQLZwcc7QyUk0CgjIiVeQpZb7MDOTy+sNqXWb7+5kV eKukG4qsB9xoiW1yscqjonEn4QYwU3L+itl2og6P8G4SFJlbt6+FptdryCXOo93T84gTWxlt yk3x6ACtJC1cyYHypsqyRDCZvGac4aE/x3tWPqSLDpli39pZLyyihas/UW+y+DxV9S43lhMo yFYnNfMsXUN2AbS6siBUvZ95Fmu2S2R2A/J8OFLPUA0lbDBJ54m2L4wmZweulnAEC/ugEj6k aube0U+9uS16unqZq/qqoKSOoNuhQzzM7wiltGxDOgkKAQDUWqW9f6i2LDj80D1WrRHg/srm aTHtJDaON8bprKnDA9Pz4gj6he+ACm+3dgEm3QMMUhLdwidj4fzPlHDOPD4Aum7g1SriDprw O3GPqHuD5jMN3TDjLbhfbJn505H1Qoz195f55dOBbEAJPLzVE7xtNjEDhAnKQy42eDnCNFl2 oMfX2KAHLOZPbvPvVKM5u8jOfSAaY4RtTrnNvQo6eTigHA4lFMFeKmmx5oXaHS2HvR8JEWZZ GLhgtUbHWgUuAoxUfbqiECGUT5XZnayRLkx5i8mCI68C4fDQpihgLqa0yijBJ1ZenhGCkyQE Xfvb4iIRu8AaDiOLc95jjwESb+hRpc92h60sQ/6z6NrLu7V+i0DqZLuz8N15u3WlREq7zN4F cWd02eXT2F1hGwEXTE23Los6XB6nwOI2K18xvhZDsB75vVTUw58O4SKnMJgDNWneAXMZNjBZ VCqWMiiBTAqBoYzhdIIb1xgH9GjlTjdwmysB+lGxPSwGJUo//eEjDDKLMFnxiOevEFAp1wvQ 88UcHajmrY67A/LQYjAj0Seka+uM6Uaxi/EsmmZniKVpE8Ndgl2XO3eWGwHIFPMpIH7oE7EQ 6WzDbAmKSNf1IiELvgCccXn2G1PX+yrI9HCeyS0kma0CwyPw+aOKofsd38A2CHcE2AajkYV+ SXOLhAwUx+ouHmWFzlyDRTvbkfrpPF5s2++R1QowhuiaFB9i+Tw5h8Rw+eBUf0W17MAtiYlt zhuWlC5tz7PI/yHoQcpPKBVYNdmpUxCyXqcrAtleJqpM6FlgFcaNQVxpULnkRttWM1GloAxo XUmwRAXS+rQ2U5ddz6ewZH7O6HGYmj08he1bqfK21bYmN+I86YL4f48ph3tpgasXkYl9nxm1 ZFS3R7+rt3ISgcUXYjsVkI27DBkuvfcZmh15o/Z02FtLbjhqiXLiJoiAOoozArlfs8KafLZU lasQotDXI7ydr9P+RDhdB8PMeFM+bRhOsqnc6DDw6u3JKN7myrgi21b4Yd720bK9ixmS+eO0 YxWppPQlgaBSTr4i0+s987tnoURLzNUE2yz0zXgAI9KTrNvO4APQzTLQYX/1pBlipjhVmQNv lzlClUKwtKtfRuJR0LgmwtUnxdfsTmsni22yCZxmjcio/+E3SDA9O/lcQIOJm9BQGQKYU7EG YGvlJhaWUGpa1Nsjx65/QPhwLAdoq1jLm7VSEMOfi7sLmgkXLHi/raFZsdO7tsvv0A1GKy+J 12cRqTgpx8byAv9Ai1YwHg3eiqrtZPwgxFhwDvMcTAq8iufIJo2mUmX7ceUXfNL2zsaWCR07 FufTkOxOdWk55TclpvOtPy/S3P0U5RSdSfxyobT/CC/5GBsHVi+h6Xqy4ChSFZrl3agkYU0B kCq5F7mb4Lm1rq3K7did0hsXxrn7tZiX5p5is02jY0R3n4TgtOU+2AGmCH9K4Y+u+q2YXwTS DoM29OQ7hLi3RgpLDSEwY7jS3GZw9BJecT8ZGdciUdfp4haTbyZ6rBJh34/oBy1qw7LfPx5n yw11+Zo7npQ0KkZ/QEqyCuaGLUbG0JVaDftmxq/5Ne7tKxLZWyrfOvVtgI2jZW7AbqFuA0ZR Gfhd8JoA3pr9ssmegGEwDjp54rjYtWVcd8DqkjejULbl+YMTfB53vsS2Xg+ZT+75Tt8jbZ81 0Am3Inm7tHWdiM0ovP/W0UebnqvO4sS4m2/1PcE2JbJmdn3QNM4RG1MBsSNL7rgESpO5622b UDeT3tl8indQOqGVUee8Bk09SqXSsL1binFfSlJn4w9H0vEdRYN0F9GBW1kzMdpT2XIjITga BkrvGhJvwym80Mek7I4ZUCgCTWN41n0IjYsFsrFdEIPvF8bvxWMYZzMs74rTXMfoMHEzkTFK 3TFNV4QVThbBBXcVQmxYuGn74uStLbETq+3K/+ECVmXgdRXTOzAhZem0489ui2JKt3KJX56S fsyxktEW3l9XcXfgTQGDSINxWrBaMuSpRH0/SMSzIj36PPwRAfm/peCEZNVLMkzpVWqgKPFL POKiiNwKDJW15cQyGWOzrxX0FMJii5ofiWgCtFi/WaUHf+Ww/EGSUdALX8tfMJTp7oxxAxMJ dLWhpvu27h0g+R0Q1ZJWFr9m924MMwHJ2buUTGPTE2PNbmAOXjK25SuMP76EOMByrwP8UHu6 lP5Wwf5Mz+OlifkTUWqOOBI12SAOQBG/Zq6alBrAHTiS9Tvblu6NsV2hHs42+5R5DuCOGgCP Dx7a04IoKeX6HYSgLNyHWBb835hLPKshTvf6e2SefN0+bN7Rz95ke5X+iFw07xO8CRNX+B4g gPVs8Iy/RS6k+3J0Sd9Xh9HqzJFhYaXsF8kP6GTpfwiET7UuRkK62uXEREDodBoX8but65nw d/KjKvvKT1G/oGc7Y4GCsPTMs7CLGs5PE+jBmvPFAVcB23OVymXlwlHnfqV7HHQspUqts2mh s8VUrECHF0tSqFDVhkjRJpbZs8wBG9skKbH3pdZuDzn8kiXHZ4c5tedCpfwSb3uMGrL1OgeI UtXh+qgc8JKaNW8gRMqIlhiwNaTShCWDY8L+3U/KFZk+SAvuDB/VjNhgRq9M1HzuSdBTK7kz Edp0VknML5/pGi+ug9pdAOa/U5S2AEwgYu322jJKWyvdf/iBNEGWXOr7Bpjdc2nCwdtM1/ox RQ9ZmmdH+AI3+syKDwz2l2b58cqe7YUTLUaMkVInajFOaxwgw0O9n2uzx0VorWZQd5rkA9gG XZJh2xdnQRnPoZdzU34I7dVkgYVmqOK+DS1zO40yQ4aKUcJ7G6IPigM6hVg3lYOOTfu+Og+s GS/ IronPort-Data: A9a23:4dGPAa1rmLUzqhfsN/bD5T11kn2cJEfYwER7XKvMYLTBsI5bp2RWn zccDWiBPqmKZWCjLdF1PYy/9UwE78XRy4Q1SVRv3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8gVaYDkpOs/jf8Uk27Kyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1L+59s1C1FvB4wn2sZ1LEMfy /USNC9YO3hvh8ruqF66Yu5xmph9adXqOMUEp2tuyDjYCfgnRYzOWePM4be03h9p150IRKiPI ZNCL2YxBPjDS0Un1lM/CtQzmuuym337ciZwtk/To65fD237lVQtjum8aoOPEjCMbZRWhFidg XrFw1TgJDAUK8LC0Rmq6Vv504cjmgugBN1NSeDhnhJwu3WYz2kXTRkXTkeTuui8kkf4WtRFK kVS9DBGkEQp3Eu2UoWjGgG5pDifowQSXtNRF+M77B2A0OzS5251G1ToUBZoevgI78gmHAYr6 X+pnf7LVAJmuqGKHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3Vpk6UJjqEOPLr5uAZCQ3NL ya2QD8WoZF7sCLm/6Km4QyZxi6tot7SUxQ74wzWWmyk6h90fsijY+RECGQ3D94ecu51rXHY4 hDofvRyCshVUvlhcwTRGI0w8EmBvartDdEmvXZhHoM66xOm8GO5cIZb7VlWfRgybptdJGa2O xeK4mu9AaO/2lP0N8ebhKrvVawXIVTISIi6PhwpRoMWPcQhLVHflM2QTRHBhD62ySDAbp3Ty b/ALZnzUCtDYUiW5CGrXelV2/k1gEgDKZD7G/jGI+Cc+ePGPha9EO5dWHPXN7BRxP3e/G39r Y0FX+PUkEo3bQELSnWNmaYJM0swJGQ2bbiv7ZQ/mhirflA+QDlJ5j646e9JRrGJaIwMzr+Yo CvtCh4GoLc97FWeQTi3hrlYQOuHdf5CQbgTZETA5H75hiRxUpXl96oFaZo8cJ8u8eEpn7Y+T OAId4/ESr5DQyjOsWZVJ5Tsjp1QRDLyjyK3Pg2hfGceebxkTFf34dPKRFbk2xQPKSuVjvEAh YOc+DnVe6deeDQ6Pv3qMKqu63iToUkinPlDWhqUA9tLJ2Tp3otYCw3wqf4Vec03dAjJ7RqB9 gOsGRxDj/L8k4w019johK6/sIaiFdVlLHdaB2X26bWXNzHQzlG8wIRFbvmETQrdWEzw5q+mQ +dflNP4D9Eqg3dItNBaP4tw7Kdj+ebqmaBW/j5kEFrPcV6vLLFqeVuC/MtXs5xy1q1rghS3V m2P6+tlF+2wYu29K2EoJS0hcuin/tMXkGOL7f0KfWPL1BUu97+DCUhvLx2AjRJGF4RMMaQn/ PwAvfAH4AnumzsoNde71hpvzVquFUBZcasbtcA9OrTJ2y4L0VBJZKLOBhDmuK+vb8p+CWh0A zu2qpebuZFi6BvjSUcjLVnMwutXuroWsj9o0lIpBgqEi/jFtNANzTxT9jU9FToN6Dl2z+5cP nNPMWssLqC84wZXgNNxWmS3Fy5/FTmcp1fQykQIpkLdXUKHRmzAF0xjGOevrWQy0XNQQShfx 56ckF3aaDfNeNrg+BcyVWpOie3RffYo+iLswMmYTtm4Rb8kaj/bs4qSTGsvqSq/J/guhUfC9 NJYzMwpZYLVbScv8rAGUa+E3rEtSTeBFmxIYddl2IgrRWj8WjWD6QKiGnCLWPFmBqL1qBejK slUOMhweQy013+OohAlFKc8GeJIs8Bz1uUSWIHABDAgiKSenApLoZiL1ynZhU0XeftMv/s5C Lvsc2OlLjTNq1pSw3TAvetVCFqeONMkXjDx7Mqx0ecOFq8Ajt1STFEP4uO0kkiRYSRa/EOyn QLcZqXp4fRo5qZykqDNTKhSJQWGBunideaP8Qy1jslEaMzOFezstAoljEbtECoLHLkWWvVxz a+stvyu1mz7nb8GaULrsLjfKPAR/uS0fu5cEvyvHUlghSHYBfPduUoSyV63OblisY175PD+Y yCadcHpV9oee+kF9U1vcyIETiosUfXmXJzB+xG4ge+HUCUG8Ar9K9iiy3/lQEdbegIMOLz8E gXEgOmv1P8JsLVzAAI4ON8+D69aOFPDXY4UR+/1vxScDUiqhQqmkZnmnhwC9zrKKyelFODX3 JH7fSX9JS+C4Pzw8NJksoJM50xdSD43hOQrZUsS9uJnkz3wXiZMMe0ZNo5AEZ1O1DD70Jbjf jzWcW8+EmPHUC9ZdQnnqsHWNutF6jfi5v+iTtDow6+VV8tyLISdHOc/szth5zFtZyHtyeimL d8f/mH9JF63xvmFgM4Ns+ejj74PKuzynxo1FYLVyqQewCryxZ0UyTpnGGKhkATZRtrVmhyjy XcdHAh5rYLSdaI1Odh9PXhRcP3cUPUD0B1wBRqyLB3jV0l3AQGOJDAT+w0+71HbUPk3GQ== IronPort-HdrOrdr: A9a23:LUUUdazp2XhDfrmSVvikKrPwAr1zdoMgy1knxilNoG9uA6ulfq eV7Y0mPH7P+VAssRQb8uxoV5PgfZqxz+8W3WBzB9eftWvd1ldARbsKheaPrAEIcxeOjtK1vp 0QFpSWZueAaWSSwfyKgzVRRL0bsaO62ZHtpO/ayXAobSwCUctdBlBCe32mLnE= X-Talos-CUID: 9a23:WZEuz2yT6UGyE2VBOr9/BgU9COQLKXrNlU3RHG+YC0tLGYOcQ0OPrfY= X-Talos-MUID: 9a23:+HjWzwliIHmEOG1PKK9VdnozN9125oO2C3w9iLMntdaaaDRTFCy02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,245,1728943200"; d="scan'208";a="104699212" X-MGA-submission: =?us-ascii?q?MDEbb/7gTaarUzJ1RMQ/oqKDik4ifLAFEsf7R9?= =?us-ascii?q?3p/TO831qaky/ppy8GJ7kA4iRMAFH+K6c4bqnQw54bfLPVOikEI0gsLt?= =?us-ascii?q?XZwqHLV13q983d2BKGH/s1dRvhq2ztW31jsU7HLMPOeCdULox/rJ5An9?= =?us-ascii?q?4x7ACRr4HMEhG4NxZaNhYxUA=3D=3D?= Received: from out46-til.surfmailfilter.nl ([195.169.13.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Dec 2024 23:52:15 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vu.nl; s=smf; h=content-transfer-encoding:content-type:to:subject:from:mime-version:date: message-id:from; bh=Zdmz+EjlyDl+/Sr++eXvN//m/SUAQPgtfe3WL+I5buI=; b=EIb3rYF1V/Z6jJCgo7IdBDAIpFphWQ5Y0/CrgbadG/2tiSCDFkEqHYav7bsGrGdNokfwt1WK+LAfw EjnWcF+ZgjCbzYmmhcomCS7IU1NEBKwqF+cZGsHGpZP+l70xV0FT1xD/1JVj1Njj+Tes0gF1B/ZThN 3ao408S+WKgmtKX2x6O/s6ihfBNQaoWPOqi3yCLfgqcCjZrBcYO7x6alpk8xJYbP35kDV7CVyd1Wt6 mb4wUO+L4Y5oU3qoH7N5ZkkZaizrQq9VozHpg3/XkOfhci8wqv//WF1KtoEZrs8zzYSOm9C637G/XM 8M/aLdx/1+FTasPe0Sg2JnJhyqVHnoQ== X-Halon-ID: b8da9bdf-bd92-11ef-9882-005056a44114 Received: from mailin.vu.nl (mailin.vu.nl [130.37.164.82]) by filter2-til.surfmailfilter.nl (Halon) with ESMTPS id b8da9bdf-bd92-11ef-9882-005056a44114; Wed, 18 Dec 2024 23:52:13 +0100 (CET) Received: from pexch005a.vu.local (130.37.237.82) by mailin.vu.nl (130.37.164.82) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.39; Wed, 18 Dec 2024 23:51:31 +0100 Received: from [192.168.2.195] (130.37.253.6) by PEXCH005a.vu.local (130.37.237.82) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.39; Wed, 18 Dec 2024 23:51:31 +0100 Message-ID: <4834bfdb-5752-4c98-8f44-571846951344@vu.nl> Date: Wed, 18 Dec 2024 23:51:30 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Joerg Endrullis To: Content-Language: en-US Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit X-Originating-IP: [130.37.253.6] X-ClientProxiedBy: pexch005a.vu.local (130.37.237.82) To PEXCH005a.vu.local (130.37.237.82) Subject: [Caml-list] ICGT 2025 - Call for Papers Reply-To: Joerg Endrullis X-Loop: caml-list@inria.fr X-Sequence: 19236 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: ====================================================== ICGT 2025 International Conference on Graph Transformations 2025 https://conf.researchr.org/home/icgt-2025 ------------------------------------------------------ Research Papers Abstracts: 28 Jan 2025 (AoE) Research Papers Submission: 4 Feb 2025 (AoE) Journal-First Submission: 22 Apr 2025 (AoE) Conference: within 10-13 Jun 2025 ====================================================== The 18th International Conference on Graph Transformation (ICGT 2025) will be held in Koblenz, Germany, as part of STAF 2025 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EASST, EATCS, and IFIP WG 1.3. Aims and Scope ============== The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights. ICGT aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. Research Papers =============== In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2025 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one. Topics ------ Topics of interest include, but are not limited to the following subjects: * General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems) * Analysis and verification of graph transformation systems * Graph-based machine learning, including graph neural networks and models of rule inference * Graph theoretical properties of graph languages * Automata on graphs and parsing of graph languages * Logical aspects of graph transformation * Computational models based on graphs * Structuring and modularisation of graph transformation * Hierarchical graphs and decomposition of graphs * Parallel, concurrent, and distributed graph transformation * Term graph and string diagram rewriting * Petri nets and other models of concurrency * Business process models and notations * Bigraphs and bigraphical reactive systems * Graph databases and graph queries * Model-driven development and model transformation * Model checking, program analysis and verification, simulation and animation * Syntax, semantics and implementation of programming languages, including domain-specific and visual languages * Graph transformation languages and tool support * Efficient algorithms (e.g. pattern matching, graph traversal, network analysis) * Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation) * Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual) * Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering) Submission Types ---------------- Authors are invited to submit research papers in three possible categories. We are currently in discussion whether to go Open Access for ICGT 2025. We will update and detail the calls as soon as possible. Please take a look at the ICGT web site. (1) Regular research papers, including papers describing applications and case studies. Papers will be evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers (but not publication) may be included in a clearly marked appendix. (While the exact layout is dependent on the final publication venue, the content limit will correspond to the usual 16 pages in the LNCS style, excluding references and appendices) (2) Tool presentation papers, which demonstrate the main features and functionality of graph-based tools. A tool presentation may have an appendix with a detailed demo description which will be reviewed but not included in the proceedings. (While the exact layout is dependent on the final publication venue, the content limit will correspond to 8 pages in the LNCS style, excluding references and appendices, for the main part and the equivalent of 4 pages in the LNCS style for the demo description) (3) Blue Skies, reporting on new research directions or ideas which are not yet sufficiently developed to fit in other categories. (While the exact layout is dependent on the final publication venue, the content limit will correspond to the usual 8 pages in the LNCS style, excluding references and appendices) Special Issue -------------- Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review (details TBA). Journal-First Track =================== We invite authors of previously published papers in all areas of graph transformation to submit a journal-first contribution. Authors of accepted journal-first papers will be invited to present their work at ICGT 2025, enriching the programme, and providing an additional pathway to engage with the community. Contributions in this category must have been published in high-quality journals, other high-quality conferences, and quality book chapters not earlier than 2021. Criteria -------- * The original contribution must have been peer-reviewed and published in a quality journal, quality conference (other than ICGT), or as a book chapter in 2021 or later. * It must be within the scope of ICGT (authors should briefly justify this in their submission). * The paper should not be an extended journal version of a paper previously published at ICGT. * Authors should indicate whether the paper has previously been presented in equivalent Journal-First tracks of other conferences. As contributions in this track will have already been peer-reviewed, they will not be reviewed again for technical content. Rather, the presentation proposals will be evaluated against the criteria above. In the case where we have more submissions than available presentation slots at ICGT 2025, we will prioritise presentation proposals that: (1) will allow more authors to attend the conference, e.g., those with presenters who are not represented in the research papers track; and (2) will best complement the conference’s technical programme. Format ------ Authors should submit a presentation proposal consisting of the paper’s title, the paper's authors, the abstract, a link to the original publication, who will be presenting the paper, and a brief justification of its relevance to the ICGT community. The presentation proposal should be prepared using Springer's LNCS format with a maximum of 2 pages. The presentation proposals will not be included in ICGT's proceedings. Program Committee ================= Joerg Endrullis, Vrije Universitet Amsterdam, Co-Chair Matthias Tichy, Ulm University, Co-Chair Nicolas Behr, CNRS, Université Paris Cité Andrea Corradini, University of Pisa Fabio Gadducci, University of Pisa Raffaela Groner, Chalmers | University of Gothenburg Reiko Heckel, University of Leicester Jens Kosiol, Philipps-Universität Marburg Jean Krivine, CNRS Harald König, FHDW Hannover Leen Lambers, BTU Cottbus-Senftenberg Detlef Plump, University of York Arend Rensik, University of Twente Andy Schürr, TU Darmstadt Daniel Strüber, Chalmers | University of Gothenburg Jens Weber, University of Victoria Steffen Zschaller, King's College London