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=ZjOIhi2M; 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 444DB400A3 for ; Wed, 25 Feb 2026 18:10:51 +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=kjvAHe1M3llad/ziQDqvw33w7X9ozff6XctqDCmg8xI=; b=ZjOIhi2MFiJajuuJLr63/L64hejBAl+3ReA5PnVf5jR7/+0jbWuZKyme RJeaKIJFxd74WvVkBLM4HAFv6oc15l+uCC1M1+b3bbH6NyM7w/dA315yK IHPTFwc0ctvfZj0G735psjuSmcVyfYQeGkMkLfzcV2iFwJOzUAcdTtFK+ g=; X-CSE-ConnectionGUID: 2OT2KbGaQwiHT1i2NL3s7g== X-CSE-MsgGUID: UFQxOOpeRsWoW+HXg2uq/w== 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 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@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.21,311,1763420400"; d="scan'208,217";a="265173508" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Feb 2026 19:10:50 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 04E3281EB8; Wed, 25 Feb 2026 19:10:50 +0100 (CET) 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 7BF6C81E93; Wed, 25 Feb 2026 19:04:27 +0100 (CET) X-CSE-ConnectionGUID: CfEQYN3+Tmqi83k2lOPTwA== X-CSE-MsgGUID: 3oJLX3MxT/2iUx0IM0zqdw== IronPort-SDR: 699f39aa_Sxdm1kAScgQL8sQD+fiWeyza6ni+PLQlGvf1Mz89PbNuKmp aASObjfxXIz5lYQ8PcaWB+yh1WRqfacmlov1bbA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GzAQA7OZ9pjgLBXShaDhABAQsSDECDDTEqKUEBQwJgL?= =?us-ascii?q?wMHCEmIJAOFLIh5kU2MZIEsFhgLBg8BAwELAi4BFQ0EAQEDBIIMgnQCjSEgB?= =?us-ascii?q?gEENBMBAgQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBAQEBA?= =?us-ascii?q?TkFSYZPDYJigSVeSAEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBARECCBciKgEgA?= =?us-ascii?q?QUBEAsjAQESFAUNEQE1CwECBAcxFBMDAQEJCQgMDoIUTAGCHQcEC0AEAg5Fm?= =?us-ascii?q?h4BgUACAolyN3iBNIEBggwBAQYEBN4JAwaBTYMQgXSDUAEqgTUBiQ6CT4EVQ?= =?us-ascii?q?oI3b4FSeBcEGH8IAggBCwcBIzQJg1aCL4ImehQdgVyKZQWGWIFEIgMmMywBV?= =?us-ascii?q?RMXCwcFgTMzAyAKLy0CFBwBEg8EFjIdcAwnEiwXM1gbBwWGQRsPiHSBDVmBH?= =?us-ascii?q?IIBAwttPTcGDhsDBIE1BY0xXD+BQhFaAgYVRhkcBQMhEw0vAQMvGxIFGQMBC?= =?us-ascii?q?SoPAQwRIBURklolH48jjl+VFwcDhByMHpVwF4QEjROZVJkGIo1nhSOQETATC?= =?us-ascii?q?ROEegIEAgQFAhABAQaBfyNscCsKQSmDCE8DGQ9XjUoZJYNCgX+CWYpcCQG2E?= =?us-ascii?q?EQ0PAIHCwEBAwmRagImBwWBSwEB?= IronPort-PHdr: A9a23:VoildRYLUB4aRER0+OXiAWL/LTGs94qcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wOPBd2Qsa4f1LWempujcFJDyK7JiGoFfp1IWk1NouQttCtkLei7TGbWF7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4ogjdrNUajZdtJqovxRbErHlFduZLzm50OFyfmArx6ci38JN/6Spbpugv99RHUaX0fqQ4S aJXATE7OG0r58PlqAfOQxKX6nUTSmsZnQNEDhbK4h/nRpv+vTf0ueR72CmBIM35Vqs0Vii47 6dqUxDnliEKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAc9waX25BVdtPWSJHDI23c o8DA/MOMOpdqYT2ulkAogakBQS0BO3h1CJGhmP406M5z+suHhrL0xY8E94SqnnYsMn5OacUX OuozKfI1zLDb/ZO1Dvz6YbIdQghofCKXb1qbcrRyUwgGxvYhVueqIzlITOU2f4QuGSf8+duS fyih3c5pQ9ypzSgwsIih5TViIkIyl/F9SF5z5goLtOlVkF7e8CkEJpMuC6ELIt5R9suSHxut ig81LAJv5C3dzUNxZs6xh7fdfyGfJKS7hLsU+aROTZ4hHR/d7Kjhxa/6k6gxffnVsauylpKo S1FksfVu30Lyhfc5dSJROFn8Ue9xTaAyRrT6udcLE46iKfWNp0szLA/mJQTr0nOHCH4lVjrg aKSa0kp/vSk5uTnb7jlqZGQKpJ5hw/gP6gwlMGzHOQ1PhUNUmaU9umx0qDo80P+QLVPlPI2k 6/ZvYjBJcQDvK65AglV0ok95BalFTupzNMYnXwfIFJCYBKIkY7pO0vQL/DmDPewnVqtnC1tx //YIr3sBIjGIHvbkLr5crtx91RQxQ49wNxF+p5ZDr8MLOjtVkPpqtDVDwM1PgKxzur6FNlyz YITVGePD6KcLq/fsEOE6+cqLuWRZYIYviv2JeI/6P70l3A5nEcQfam30psTb3C1BuloLlmdb HT2ntkNDWMHsxQwQ+D2lFGOTyRfZ3GvX6Ig/T47D5+mDYHeSYy3mLyBxiC7HoFIaW9aFlCME HDod4OeV/cLdSKSPsthkjsDVbiiUYMuyRautArix7pmKOrb5DEYuIrs2dRp/eHekR8/+SZpA 8mZ3WyBVX94knsNRzAs3aB/pUJ9yk2E0ah9m/FXCN1T5+1JUwggL5LcwOt6C8jzWgLHZNiJV FamT86gAT4rVdI+2cUCY0l6G9W8lhzDxTalA6cJl7yXA5w56r7T0GL0J8Z50nrG0Kghj0I6Q sZULm2nhqt/9xDJCILTkkWZkbyqdaUG0yLX+meD13KCvFtEXw5oTaXFQXcfa1PKotT+/0POV qOhCbA6MgRa0sOCMatLatjxjVpcXvvjOdLeY3iwm2iqHxqIyKmMYJLse2oGxCrdElQLkxgP/ XaaMggzHjmtr3rRDDNwElLhYFni/PFwp32mVkM01R+Fb1Ni2bSv4hMVgOaTS/IX3r4doychr Ch0HEq9393KFdWAoRZhfL9GbtM5/VdHznjWtg16PpymMqxum0ISfxlrs0/yyxl7FJ9Mkc83r HM21wVyLr+Y0FVceD+CxZDwILrXKnXs8x+zd67W21be0NCM9qcI9fQ4t1HjvAauFkoh6Xloz 95V036E6prXDwoSUJfxX14v+RZ1qb7UfDUz6p/S23F0LKa0tyXN28g1C+Y90hiuZs9RPqycG A/pC80aCdCjJvY2lla0cxwIJPtS9LY6P8y+d/uJxqqrPOF4kTy8kWlJ/Z1zgQqw8H82Q+rM9 50C2O3d3wDfCG+lylC7vYq/zYlAYRkZGXGjjCnvXNEJP+t1Z4ldTS/kKsmz7shmnJXkX3Md7 ESkBV4NxImkZFDaO1X52SVNzV8cqHiq3DOiyD55mC1vo7fJmGSEyuLkcwcBMWNjRW9sik3pK JS1hMtfUVWyaBAk0hy/6gyyk6FdoqNiKWLeaUZOcS/sKmh+U6Cr87efeclX5dUvqyoBFKz2a FacTaP7qBYf3iX/BENaxSsnbHejoIn4hAA/hWeXIXp/oXafftt/j1+L7draQuNX1TcDSS9kk hHTB0OgJJ+g58mVjIuGv+W0Wm6tW5EVdjPkm8fI/iKj/XZnBDWjlOv1m9vpFhI/2DP61J93U ySNqQvxZILr2qL8Pe8tNh1hHEfn5s9SBopl1Io2ipYK3HEGh5bT4HwG1GLuPNNQ2a/4KnYAE 3pDidfO6wXjw2VmJ3ONw4PiSjOczMonY9ynJG8bkGpp5ttBBaGPxLlNnC9xo0Gk6wPfYL55m ypbxfZ4rDZQivoCuSIx0STbHq0eEE1WIWrqk17Au9mlp6R/eHmuN6St2Ed6k8znCrXU5kkWU W39UokrBjR59INyPE+GmCn68YXMZtDLdtsJ8BCYjkGEx6JcM44ZneFMmzchP2a39Sks0PITh gcow4z8uozRby0n96uzDwReOyGwat0e/C32paRfhc2T1oGrWJxqXCgIFtO8RvuiHSgUuOiiO hiDFiEngnWaArHaFA6brk5t6W/MRdTjfXqeKHQxzMl/AhWebgQLiwkYUR07goN/GgP8gISre 0547WlNvgTxsAVN4uNzL1/iVGaaoBqlYDo/S96TIVAeugpL5kyMbZTE5/htHglZ5YXnsQqMb 2iGag5FBmJPVkHSQxipNbCq6N/M+vKwDe27N+bSbK/IrvZRHb/czpur341q9iykPcKKJmR+A ud93VBMCzQxUc/QnjFKTy0MiwrMadSarVGy4Gc/+su29fCuXAP0+aOODaFTOJNh4Ubyye2IP vKdiyFjKDtD/pYQzDnDwfJXiFUblyxhcCOsHK8osDLECqnZzOsfRRUQYidbMcJU7+Q9xRULJ NLfzMvpnPYshfU8D39AXEDh3MCyeYoXP2X7LE+RQA7BP7WeJTDRhsr5eYu9RLBdyf5ZvACqu CqKVUj5MX7LwzLoTxCiK6RHgjmzPRFTtcSmfx1wE2n/XZThcBLtdJc9hjk7yLtxgnLRKUYHO jlxdUhA6KeNqyVcyL0rEGhM53wgKeifhw6C5OjVLJ0b9+F2RCJwwaYSqn8+05Ne6yRcAvpog 23fosMouF7s2r2EziJPWx1LsnBNmZnNsEl/f77WoN0IE33B9wkl5n7WChIGptJjA5vit70ag ozEkanoADxZtdPS8coVAcGSJc6aZj5pexHuHTrdBiMOSjuvPGuZgFwbmfrU637f5swxrZ3ok ZAmQbheUFU/UPQKTE1uWsEBdtM/FDgjlLvekM4F4mCvhBjcScgcuYrIHLrGCvLqLXOFjbRDf QogwL71IMIULIKtnwQoYV5/hN6SQhP4VtdWvmhgZVdr+BwL92JxBCVn0EXgcln1uSY7Hvmvg ls3gVMhOb1r8y3jtRN/bFHNoTM0l0YZks6jhzWKbXj8ILr6FdVdDC/ss08+GpjgBQBwdhD0k EB5YnOMDblWiqN6cnBDhAjX/5pEX/dXC7BHKldEzvaSf+8vwXxQrS7hxEQB7OCDFJg00ENge pmpt29E3A1lYcJwPaXKJa9R5lRRj+SAv2m1zuV3zRRUbxIG92aKZSoPt0oFKvw+LjCp+/RE5 Q2L3TVCPnUUUrwnuaQuvgk2POKL0jj63rhIO2i6KO3ZKafT8zzLksiDX0kq20UDhmFO4rkw1 8N1NwLeXEcpx6aLDRkPPtvqLQBOc9Ff7mbeZ2CSrOiLx5Y/d9G2EebjUPWUuaAfk2qgHR01B IkW8MkbWIWx3QfeKZGjZPQOzgxo7wD2Ln2ECu5IcVSFin1P98q41dp82ZRXDjAbG2R0dyuts PKf7AQygPHGV9AwbF8YX5APM3s3XIuzkGhEvD4IWDKv0ulcww+E4Rf+pz/bCTD9a5xqb7GJZ kUoQJu94jkX96mtlUWR74mYKmywfYBpodPn7eIBu43BFu8SQLQr9w+Wl4NHQGauX0bECpiqJ oP7LYQgcJa8XnqwTVuljz4dRNy3I9e2Je6FjRy+Ac4evIiD1So/NMqwEC0ZMxtx4fwF5bp9I wwfKdJvbR/wvh4iNqmyJhuf+tmvBXurKCNXCfhDm6HyLZBy5gwBUseo0GFmU5c7iuqw/EoLA p0HxFmK6dOKQaRieTrrADpAfQSKpi00k24nOutkhq91zRjPtkFZMjaFc8RkY2tDp5c7H1zYa SF7AW0/Xxqdi4TEygOn2LcKuSxHkIAQmadItGP4s4OaZDO3RISvpImTrjdma9xs6/l8NZflL 9fDsJLFghTbQYWWrxDDVirsU7IQl95OITlRT/QNkGUhEcEAp4ta4EU8E98kIL5CA7Vqq63gI W5pCzAT1iYWWsaJ2Dgqj+Gi2qDTmRrVaI4lMhEPrNNPn41ZG2R7fioGv/X7DtiTnmuAYnYGO gYd/BhM5RlGkZV/NKix7ZbBVIQWk2cL5vtwVgPVG4Np+UrnSmCNx1/iR6Pl26akwQtK16i0i 4deURp7IVZQ3edYh1coKaoxLLMf9MaevyOBbVig5DuzjeKiIHFPxNfVeUzkDIve823mXXtYs TcZW4JJ1Gr3G5EfjhB+cKtto09Dasjyd1jz4SA/74psEqSiUtimgVE/oiBCD22kGtFaTux4v VTLQxVnYougrZzkP9NbSSlN+9fV/1lQm14oPjC0z4ZHA8NM+TUJVTlL5zyW+saxHokLk8F5S pYWKf97umzhA+VZPpnUu3Q6t6blzWXfvTwx+h/uyjr2ErWzZ+ZY5HEFXBgvJiGGo0UiFeEr6 GGU/l2b9hg+8eZdB6SCyEB2rDt5W4xOCzFTxFihLk9vVz9crPlaba3ceMxRRb8+aFXnbxI/E /860gmM+k15mTLlYyF1rBpy/yHGQxJyTzYJgvLkkDYep8fhNTJMD9oCQxAxVADuIgSXsxhyl B1ELVxsWpoeRNdZsflP865Exe3pQECgAxkgdBd5cB8+0PBY009f5gHQMy7aBhGAfvHKthR9O 8CB6seiaun6tk8ThITsq8gz8KAHTnfgnh3rSNuYsoyq8pXAuEyUca78duixfX/GQCPkhgv2m LYoBpnNuSXfLUATf5d9038tZd3kBHLLOhhdD6kAYVdaWal6bpNLrv0MI4cud6oTv6B1AjqGQ xrgXoK15rESIVrJAzvGKw2A9+Ww54zJu/iVA+jpetfJznLDa6Z2JYthrznyB6yvyZVZ+Ef9x rFg6wkyHVjPLzvEpdDlDgcK/9W5MEvrooZsBSnRApp7jDzg2xcEP4AXRCnv8ZIWz7td6W3sU qRj1VXpu+Bc8KNr5M8x7qwjgZO0IqOXKPJUtmdjAwOIHUNx8Yg3C2VxQHpeb6kXJeuHOexTj d3roub2DLA/7ByO5/cfccHGIUrMhs65TDyQVFYMyAccrDccLxCA//qEgLNvD96/pO7y114q5 R6zIgNQiPgn5IzC96OUr/T/YxqX0L4FQqmsR9+55uAtsAWf7OEvj5YCeypoZQy/Ea4cSphZj i3hw6Ey5SMiEtuFGKim8eIJHyY4kDP4s5FzHk1QHelSFKbducwUn2k9gO3WHtYNNLxJliCOG FTsRr4MzGWq5AOcOy95iR2I0hymBSv57Vn4rAd9WSqJ1N2ll1JaELW6Tw8GXiynOGd9qDLKJ wCuscL4/6g4ugV+eG38vdaMj3eJPLJMA9byPsKRO28ouV9Ripl7DoiuwYkfGMGhCNMQ621lY +HA5nntjzJM5aFD0c6WqMCO8//aGX2tyrCBpq+W7DtcjHMxuBc24Za9NbuGs9yRSv6l02IcC jpkthHadxWx7LfSqhYdMgqW0xGP0MYLIpRQ238/y0ft6cAoW5Qu7xRSUIvMerULuHq7bDroh F+ZZdUqUCKT+zBMWE/uAFU+FaQhnmvt6oaB33bMvlMtS5RqcFTqwBFpAoMkMmop6UML2WweD E4WZFrTWLC0QErgIJYeUlAOLBmZ0b6mYY8z3FZv2fWy+anIYLo4T+APM/JGlgOFhx1aHI4bq 6AFXJp4ekRB7+jMoRX4AIXpWOLpmDw2OOH/CpRY9MQCr3Yp+UO+QQat85pY854fiYuUbehfZ oXWt81y6F1o6HgJezAbxFA1jBL8UOYSjP3l453Yt5Cs5+C8EqogDa1D9BlxBmJwp4b2gRUgp tvT2uFODIHY38C3ugNXC32Q/oHA3FM0fekUA4GxOrF6+CNDb2IaKXkVeNuQd/Qm7jRxGDnY/ BpPDoUFbpUFP4CFzQRagVasWbdP+9DWAUOwB4xoMc0kqWP8ji02p990GOLh4ySeP53E4lhXN PMFhihokJfGreIOh/HVDWJftX2YYANd2C6ZxpCXAPa29+iIzJTQXlkdWCUxVtEZbHCG+AqqT /Cdn46vSR+d7MH0mp54eU6NDDTlmKUDv69WOeVbzD7n1z5QEZr5wf+ZrozooCFTs1oCG4F14 xDfFaNUM712PB35ko+zQUxtGib0eIfJcBsltayY3K1Et+F7MA71YokVLwgJzbn3wXdQRwpqD qbxukeFUOkRIsZgSfjJ6H5Pv8YoYasIM1mWjJfx6CxUoVY4BxUlLrI8s3YSIk3Jkwxec63v/ qUcgw0SVsR1/0JABDT0cCg64DXGXoxQhbWRTuET83CZSaoIFUlleGsqRxS62Z5GfrK1nbZat GIDlCR7pr4m3moiDFG4viLtrOcJ2Ck80LG1sC4Av39ECOuf2W+cDVJMzf9PiaYHF17i5FinY X8Abc384e8jbY7k8oYg4Fw6aAkjOTAAXKGuESzxhb6SDcqDvZgU0BqKt8TNRbq6MShUK7I8j Bz5Snl3zxLR2hplpi9DCDGn494iKq25MNpjxyymX3TGMVoW77hFvc23uVNBBL8yblxgxmtL1 sGbACwLSorTBiM5lAU/ZWhCNp5Ov1tSXawhnjbOuq5J/wI8bzLEVIKo5sOYycLBxXl7SdBlx 2H+qaiVwJUnzCsh05lx5zOCtTEPbOHCSOdnGT7u15pUj+Hyer/l5uUOVYdrjam6XeUZGsK4v 3a3xZ4sV0O4kPBWVV++O+ZGz7HdVDqjQmCwXeWQby6Ng3AkLwjp6FPgelgwY84Ppkk7NfbEj ZN0kwz6TfV1WmONuBnAwTpneakfcA47vMKtchcHQKsNavOAJO4h6Ow3CFwLYGXOADNtTeSxt BTlyI18N3hkpE/zeunhtxzrK8eTHBYsAIfaqZl+4/unXnnHMnhlmlk6dk956PzbGkgtu/V0e p+LnN7bwdNh3qRNI/FgLjY5t8IPl5hL4ICO0cGBNxbLwcC2bZvTvOSZRvne1FgCcX5bFLwdK 0uh4ZsmP5s9WqbPNbBGvFIaAf5+CNYnKH/tsaByIgRbdg/KeK/yg87h4O+GLNMAoWDO8hcxK inbkxkC0eCvCw18ZNaniiO2aNo3Q3dIqdtqFx1tEaNIA84GqgO7A9iTgq7xw4u2/gZzvekNr Kz7B9jNzNm/2oxtX95d/0PdeH6bHKBzh2xkiOr0j/uG25K3FMCoMYccXfB+am/DZPnLEsO2I XSTOZS4MwRe/qKG0bR0Tj2QYi7+Ra+PqCyncuhi4AA7w4lyYfDcijAgpfmPwNbufWBdqzuLr HiHM4Fa5UDLBqrDWRMRSfOA+nt/EusbYN2wvK0WK9spx8O04Qho5zFL0c/DKqPns0yGkhZjb 5XQK1DB2SciUowDIRD5OEBqnGyP7jyXGW5bIY2gIM9iqNqUDQGr60o70TU1fGlOX27hQ9i5N WkYxoSyZ1vOvEhTFdEHksa9cEQ1suu2Uq9mO9NYgeDsua5N2YJxMSbLSeBQNivdKPlyJXxfD 6PSvF1ubwVS9/B/Qp0yYpbLK0QCKEON2SLu3CPH2FH0Mdelz+CCMmxepm1dyLXLlDNLohG9t OaYntzLVbnFbNf9VeWUOzhzEnnQXSopOU2y/RG/oftCt/2day9Luk4PSimJDEgIvKEppt/VW Cub0/RuZ4FPjfacXD32QyBQlbYzQDtKqEvKTvYeX0GCdnL6nC9VvgqlO/lH8Frkc7ze26tIU KobDpYaNrXTWdbcfPFVPHIsvjASPe+nY9DG6b0wmBqcV2YdFqjD7xiaZEudR/WH2z/xG44c6 cx88DAl4dPLggdzGq3TebiF7Xb66IOjjT2EkenXX3JrbVZjxKpIGmiKwBxHJGwAEJQcvEXFT 7aOYwBH1Dhh3fhv0B8Jfwh+VmYr23lStPulFMkfQl5CyCvkWvwdb0tfJwgUu1SQ40v5ZtlK8 ZTJRnRd7ZMncq5bN+MproLQPf1UiLwy1TZOqzc+9T6HDhVWiQfPu/7LFaZUzaZGo3Ii/rd9W UTZB3uVaWLMj46OEMhEgyB0rjbuzYCc6vtnP/5ej5pzCxENGy0wLMqLuXgLSmr1nQezvAv+B C6ZL3cd6TAEDSgEbfozzPI9vBWCPoLa4kLVu6MitQ6zEwGET7693pNjDsDyyUO7dG9HcmPvX 9ptp/1Xmcobe7IPaIGiCEuHKRLxRErMoC0H7hX2q666JcdD3m4F1KI2J4etF8MRANLExjBk0 l5m46Em4Su2OPyVLsni5sdlH3ASJ7GTbkLCTNTuBRqk8LhJyZorFkCbcqBDYDsE6rY6n2jxc 06o/cH882XFerq1cD2/MdtLacjx1DBmjq/OLZ/z5/gEBXdRueB2ks7GrnfEqz3ZatGtc1fyw 1M0MBy0aIKS5ds1ZoUhaahtC9ppHkkJqRAXdvFxGsSvsDqt2AuVGao1ozQ5ZQ/pFZOD2pgVa SM145TuywWI8v/hXbmSD+zb+Mv+JEZu2v0xLJWKt522woHQGwNVwzGz7xPT47DyidNeoqGT9 xFbkMUU5ghvM5jn5T+Gr9ZKq7VappvfVJPYv4VtnZHyiZwxl0VxBrrdbO7ekC+3nwyYfHYeR k0xUH4ujNlUQjdQBZNZwLwFlKR9oWwGW3bWGJLr5DKkkEg3doS6h+HRIPCmoFjUDT31wvhlU 3F8v+SRevszvwEXVu4PbGf+qcm3o8hx3EI4Z08PPl2/1hf+L1wiQtHlBu/ZU21msoj5vwhI+ E8F/zL10/1BYfqMhhbJo+0uu3qxG9JZVdRrBpZaHQhJRLB0ZkNBzOw4jbOmQtJTzeU/ACxy2 anhr3c1y3HedRAXZOfUHmyfoLp/CGM38N8cBjgyjiFZRBVuAzxtw6yg4CrkQdHtIG5ZPaiSz YPwywHiw7hR3S245Lq6IfeXU/APRfHQa39rDlW9bU703YtaH3TYso5l8qaDG8gaJQuoRxlJT TA9LGFCjgIPIGp+upJljww3tNwuR39PHQVVeMajkhLjhbjWow6zNXwyOo0XvplEHm3xsoaSC M0y62Jn15sQJyHR+Oy46Qo4lrUus1c+lLLWTkvkAliAigrUahHLLEGHsnhYQqXQCPlAyY94d 4Wg2Ea/btzKzCxKnFPmREgpTNlPvLQ974q7B1LTZrvjoVVB6tA5xFT6GKePlmjiWBgGY2rVR +7beeHyamhmAmCIbmfquOSfAUd//KFe2iPaIiTPhCMLuZ7jpKcQUmD6xPwQGWBnO0XII3gVQ a8r7zw1+5CWkgpZ1w8ftlbMUqXrEavCcxx9/7IEeDGMGSeq5+fpKMHn/u45iiUNi4/xt0CWG 5RX/uvHozk78Se99BxWWuKqddZGP+CieT35EtkpP6k6ysxhmOqnwdVRy6ndCkAzYaDE8KVSz IDVS1Aftj5YMexxqq6n8e3jYBv+Ajz+vUpyZHvfSU/uz9v4YcXVggG8EmbiqzANOMfk3O8io AS3qLTPXehHOd6P6jnLaxjlk6CePmHHO355SJBE8nNY0BRCEyaILbAShomWfSxHbm7nz/PKh CJEssIt7dMoOwPQQOIzdMNqxHS0PYfZ10/Va0gUhOw6UCFGlhICV3bmT8OJUDAVWoUUSmaf3 AM0e1aNzwp5kJSGmuRvbSMgQ8EFrhwR5b7XFqclxR28qA9b/edg5Q4WJYya0IIlq5qJwMzNv 667cYECEZjH/RZ1Rd8/+SzLHrHSfuBJsAYoSZp8eW8mmoHSyrZ0gHwgIf8JNeO0tnq4Hoh5P fNooqvqim8f7smyZ+acKdDME02J6AYyv0sX9bl8SUSbXhTViXxyQ4yRvR63/fJEh/enGl4Vz tKGRgo4QoGm6EaRTXYo3sOFTqGoG3AvO15/O+TblXDQB4Y/uHjOdCrkHOFDf0HWofBzSSc2H k8dEeikE09KKpoAqsU+hK+IfkT4vNn8IlLEH/ZydjfaSACBEZgOKx/10GRtLp4HJhuC5ZTjt 3oIqiYgL7VG/Ntrdh7QxILz30o4CrGyt+demEaykYXQWRogmkZKFEZcLk8HIJhyBVuGEiv4P mS+XOkBkm32696V6TgUHSE7SvEVege6JBeK7glui4SKA7FCkLPO6jWjdiNcOK/KDPrV11ReO PslnjE0DEi9IZQ8WoR8Xu/zO5lJVxQvb/TzpPdWjzDsf/iqfLdIR/KBFMVmqK6o2tbZYQ1ZU zn3guAvMUB2d5enI7nJ0cMwYH3QF26W/6XP55iyIisuLig9ruggQGEKo3P+Oq9MyT6/y4FGy HI8HoXCuHM7Wr2loEvVII4MIJfhf9vc1fk9327eeIplXu8pCx7MQcpqyGvy/+lUvfOJzVg0e vewsZ9PysnLgZudnUBFurgqIVmHmKr/tQTE7lTzhDvNMtr0wFG7orI4psxe5aHMdb2g8aThh xblgx0rEa2K2z54iIOFrqMC7XQRlAzYCiBtoSgcC8ZCLj54u1/365r1LNjL74t+hLTlUAVSP uuvCe+EAFfUen5OpVF8SKKNzNZx1x/E7bHz2SQ/bGNFdRPJDg2jCU0bPMU45dU036W9pw+yr dPMx0lU8qRoJ88gDXDgpOCG+9m2CqDkUwP/+rtN6SyaLhzSQmhx5Dys+OMYGVw6HI+xQ5//5 j7QT/tdK7dZImGtIq4xvmpAShTXbbxbiAlYFxjoDXDYwlnp9Dt4UB+dw2NDHvSSAVZPPJpmG ybvx3XxevBw4SajKsDiRHNLhBCLG0Bufx3m/4W1vR+tWTiyG3wWrGD3pARwItlr1D8fjY+lW PwyX+7SOke6Vk+5y1LH+ASLjrSH2QrTfwzQWiKj5s1X9kkKuZBvshq960ie+u6nn3am4TCXp dmOsdtruw1bbGxSYuR/KncTjJ3suugRC2nYG1ZepKkJamnGW3st3JXpleGMPPjYft76kw52Q GYcIj8T5Os4xyI6JoqarU8/KSmj5ZTe8m4OY5rxpLeHjwISZoa6gJWz/UyFu+0gXMy6kutT3 d2+Zr0ClX1BoVNRDp9ygyefDExtDGAbHb5u9JbFjphoPTLlrDB/8nUIo9wA8qJE6RYE/7Am6 762WcIWdhHH2garHItrlULGu/ER7wTBhYwyhCrwFUuvnrBIh/jCAqV4DChw1eTcJOaDD39um G1XPZ+0cFg5n5BpGT1K8c8ItYtDmhmHQYVzZndKNDh5dTtFWUxmqJtgsD2bD3FLZAhz71Mvn VD6yyC+bLa/tqnfd4PwoPSUhjOupSy5Zz0bdlF8wb1QxUlOADHteZLvIp8o/3+bGIs6csrLx Jr4cD8eRWQMsVrbHMLeWrbbMWJKVic1mOpJTaVKED59QyQzIiRYVmiGM6cejM9Fz/QsZhaeW xqhZBRTH/bCXXrVeynNY/alrms1WL2077o3O91gZGcMuXajLxUn/9l2/yeECyvQ1f7Mp8CE7 Av7pPVMFtZMfYivelIDiUMB4m2EK826EMbMY3p1phspG5AjmrnDLom8Z+LAIcFERQ5b2ymfI qTVEj4bqSb8UxX2ugKx3dnvgjDjECil03RI5zjxpgyMHTYN6s86yhMjkQiTidJLI7i/8H6xV me8BL+5mRVPzowVXaAMzvpu3zffInr8La8MyUkdWg8VEtE6Jj7pxwvOyUDIPzOYkJrH0Ew7U 6pM1ZLowRNbwSn2Uix/u6jTGt+5OxN4CuaJCD3Xt6KCJRknqqmKotXXkVgGX1eXwhkBuGxNI LmK6cKhFNxfs9YIndAt6Dt4EDqi05bayfFxx30Z51JIUk0KPlOeUjYMWDKngsCAYS9JiAcU9 o62/q9CYcInWASq83bcZnGGfvaTpW3JwbbEN5yLYP48iPsGaRjy4cWE53/UX5xnHikL5v3St 0Ny0JVtF3iPWWG4KyBD0CUyJbsIYsftsenQ/apku6fkQzyZuMTZiijnMqjXrq1LfnIiMMqUx 2K3cwWSK0/U9N9adzHMv+UtY5lDhDHcqsIUSoHXDj4Lzsxz0VpPEepQ5Xj8tMbv2bsCMM+kB DMD2cEvmsOSNWDEvjXNS+bUwboE798wN8jBR1a0l7b7+rAO8lagi4u109uraWAdJmTRbcUPR OFG6XdStVLW5AZIPvuHgbnSS8RQw8V/vvVXKJfuC2ivsmerA6rVP69/H+mmyD/2AQ567eC0i pT/inRfTLx/ypZIWGVJ34YnbIqd+BG8exy6YSLs8rGOtW7tu3i/4d63LkaRDnHNBm7ggCuFu YmsmyTZIGmZTDeD9bmcmmJn7jTjtdXiDvT5Ohi0T9L1w2FuuupAk1MgiKEo/7C9AiXurdB9Z 7BsqSbHXfhogd3Fx94j+t56HyJX2H2ZHfpvGehr IronPort-Data: A9a23:RPAi86tAIs5R9xxQ527f+K3YFOfnVB5VMUV32f8akzHdYApBsoF/q tZmKW+DPfnYYDDxL491YYrk9x9Tu5DRnIRrSlNp/3oyHiwRgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOhTrOCY2YpGFIMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8koHUMja4mtC4ARkP60T5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgpo Dl+ncDYpTMSA0H5sL91vy+0vM1JFfYuFLfveRBTuCEIpqHMWyOEL/5GVCnaMWCEkwre7K4nG fEwcVgwgh6/a+2e67yWc9hK3YcfKdDqbNgc4HVH9Q3GJKNzKXzDa/2iCd5w5x5hvvoWTN3jP 5JDLz1ycB7HfhtDfE8ND44zl/upgX+5dCBErFWSpuw85G27IA5ZjOCrYYGTI43RA589ckWw/ goq+0z1Aw8LPZqQziKE9HuwhsfJlDjyHo0VCtVU89Yw3gDKmTZDVUF+uV2T+v6brn7lfsJjb BYVxzp2jI1q5lWnUYyoN/G/iCXf5EJDMzZKKMUx4QSJj67V+BqxHXkBVjcHado8tcZwSyZC/ lSOhpbiASFlmKaETGqUsLaStzK7fyYPRVLufgcBRAoBpsLkvZ0zhR/JUsxqFLOuh8/yH2ipm 2nS9HBkwbIOkcQMyqO3u0jdhC6hrYTISQhz4RjLWmWi7UVyY4vNi5GUBUbzxvhtFbe/FRq9u WEFy5OdtuQpNa2SvXnYKAkSJ41F8cppJ9E1vLKCN5wo9jDo4Hm+YYBb7TdiPk5tL90NazjvO RaL4FsJvMUVO2a2Z6hqZY73E94t0aXrCdXiULbTc8ZKZZ9yMgSA+UmChHJ8PUiyzyDAcolma f93lPpA615BVsyLKxLtFo8gPUcDnHxW+I8qbcmTI+6bPUWiiI69EuxfbATmghER6aKPugLO9 NhDf8CN0Q03bdASlhL/qNZJRXhTdCBTLcmv+6R/KLTfSiI4QztJI6GKntscl3lNw/49ehHgo ivlAhcwJZuWrSGvFDhmnVg+MuuwDc8j9CJT0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65acsF qVXSNbKGflVVDXM9hIUaJS3/sQodw2miUjKd2CpaSQ2NcwoDQHY2M7WTi22/gk3Dw2zqZQfp Z+k3VjlWpYtfVlpI/vXT/ON9GmPm0Yhtth8ZXaVHekLSn7QqNBrDwfTks4IJ9o9LESf5zmCi CeTLxQqhcjMhI4X7ej5o6Cgqou3H+pfBWtfJXHQtpytBBnZ/02i4I5Oa/mJdjbjT1HJ+L2uS OFW7vPkOtsFl0Zun6slNJgz1oM4xd/kh4EC/zReBH+RMmiaUOJxEEeJzexkl/NrxIYAnSCUR 0jW2N1RGYvRCfPfCFRLeTYUNLWS58o1xAvXw+8+enjhxSlN+7GCb0VeEj+MhAFZL5p3KIkV+ vggiuFH9z2AjgcWDfjeghB272isKlkyY5cjvLweA67pjVMP4XNGapr+FCT3wc+ub/NhD0oUG QKX1ZHy3+lk+kn/cnQIBSfs28hZjs8woxxk9gIJCGmIvdvnvcUJ+iNt3w45dSlv9SUf4dlPY jBqE2ZXOZSx+yxZgZkffmK0RCBEKh6r2m3w7ForiVzpaUmMU2DTIGwcIseIxlgSqEhHTwhY/ ZaZ6Wfrainrd8fPxRkPWVZphvjgbN5p/CvAk9CDM+XcOLdiehvjoKulRVRQmivdGclr2XH2/ 7h7zth/eYjQFHA2oZRiL6K4yL5JahSPBFIacMFb5KlTQF3tImCj6wOvdXK0VNhGfcHR0EmCD MdrGMJDejK+2AuKrREZHaQ8GKB1rtF4+Os9fq7XGkBev4u9tjZJtLfixhr6jkIvQPRslp8ZA aHVfDSgDGeRpCV1n0ngkcp6AVe7MOI0PFDE4OOI8esyB80itsNoehoMybeahSieHzZm2BO2h zn9QZHq4dZs8qlSurf9M75iAly0IOzjVe7T/wGUtc9PXOz1MszPll00rn/NGDp8Bp49X/hJq Z2Sld+qwk/1hrc8CF7EqbLcCKJMtJ2AY8wPO/2mMV1fzHKOd9/y6UEY5lHieIBokcxc1OajV QCXeMu9Tv9LetZ/lVl+STlSLAYZMIvzNpzfnCKaq++eLzQgyinFEY+D2U6ySl8DbQ4OGZn1K jGsisaU/toC8bh9Xk4VNc9pE7pTAQHGS6A5U/bTqDPBLG2jom3ai4vYjRB6tA36UCiVIv3bv 6DAaAP1Limpmafyy9pcjYx+kzsXAFt5gsgyZkgtwMF3uR/rEF85KfkhDrteBqF2iiDS0LTKV APJZkYmCgT/Wm1gWjf469LBQAyeJ7IvPvHUGz8XxH6XOhyGXN64PLhc9yleuiY8PnOpyey8M tgR90HhJhX7kNkjWe8X4ef9mut9gO/TwnUT403mjsjuGFAkDK4X0GB6Vh94PcAd/xohSG2QT YT0eYxFfK1/YXXYQP5aIy9+JUlB5nXo0ikiajqJzJDHoYKHweZcyfr5febuzrkEa8dML7kLL Z8yb3XY+HiYgxT/poNw0+/FQ4ctYR5IIiR+BKnqXgRUkKaugojiF91XhjIBFanO5yYGe24wV VCQD7wWAk2eIQZe36P+JcDlPX5ueipkMgwlRzITadMLfdLVAjQZl9WXINrHFKzN IronPort-HdrOrdr: A9a23:AzsIF62LzP6T6TNWyoxZaAqjBYxyeYIsimQD101hICG9vPb4qy nIpoV86faUskd3ZJhEo7q90ca7LE80maQY3WBVB8bAYOEJ0FHYUL2KrrGSvgEJIkXFh5FgPN 5bAtZD4YTLfClHZKTBgDVQYuxQpOVvq5rY/Ns2pk0FJWpXguNbnmVE42CgfXGeLzM2YKbReq Dz2iNvnUvVRV0nKuq6G1gYVKzqvcfKmpXrbQRuPW9U1CC+yR2p9Z/nGFy81hwTVikn+8ZQzU H11yL4+4S+uLWdzALd2H+W1pFfhdTm0d8rPr39tuElbhvtlye1b8BZR7iGhzwsvO209Ww2mM TRuX4bTrFOwkKUUGGpgAfnnzLt2Cwp7BbZuCWlqEqmj8zlZS4wT/FMj4JBchff9iMbzapB+Z MO8WKFloZdSSjNliTl59TOSlVDm0eurWA5+NRj+UB3YM8xaKJxsYdaxk9THZsadRiKkLwPHe V1EcHa7OtXd1SBBkqpyVVS/A== X-Talos-CUID: 9a23:mR5lx2yJavHoHCmsJ5RZBgU/FO0cQ1uGj0vVOk7oUmUzTJqtdUC5rfY= X-Talos-MUID: 9a23:bUKYcQsv2HFpDCzeYc2n3zZAEPczxrSSTxoMrIVemuzcJzV8JGLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,311,1763420400"; d="scan'208,217";a="265172854" X-MGA-submission: =?us-ascii?q?MDFHHDnaAnYq062Hy14dvcS3FixMyil17DgE1o?= =?us-ascii?q?LGGQ5V0uBuViARsnrmRG8vP0Hihd/VwL6S374I/HSqLReHqUO73KqjeP?= =?us-ascii?q?ipXc+FXdJonVi9WjkLiNMbEkhwxyd9gIBrViBt++nqy/t07GAAGbZepW?= =?us-ascii?q?azDESyb5G177pBD5QUORg3zQ=3D=3D?= Received: from mail-southcentralusazon11010002.outbound.protection.outlook.com (HELO SA9PR09CU002.outbound.protection.outlook.com) ([40.93.193.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Feb 2026 19:04:25 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=pcTnUKJb69l2KIgLG3G5x1aCXPJzQjuiRuymGeYOQIddUN91Ss90kcAs6s4wL3NZkiK1lBeOuE8tBrQ5/NjVrh1oA/2NLN1Lpfu6HYnzPHvzZ0ab41ZxD4hPac0IXZdQa7MGe+XCG/PubIF6Ci1ZuMDdZkCK0rwRxqkWMraowFP1x9UI2yVUlLi/gVQThlP0qAWwqO51SAc0+ocyZ70B5KVCt5ES6yhd5rF34VjizJphdaPAqDKC1mjfrJrZRLrtN3myAA7LwyEUJKM2FI7zOoxXHtupFyXIF3tLJ1JdAxYX687pPlSmOG67Z5w6vJtoyivakNUaJ+987lnOE9SFTQ== 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=kjvAHe1M3llad/ziQDqvw33w7X9ozff6XctqDCmg8xI=; b=b5F1O14TozhLvy/AEo7FqPoxH8JSk9PXWQ+ThhezmgORxHzR+SAJ605dSCelAdiAJHmXn0A/hf+Gh6xruwgqizxCjHJ4lJkcLGoE17o3uHtMQ9UaVjC34sGpnjZzvnU0CACp/D/YaFjiKCgKL+AYtxAtdlIivP8fTg5BqMvSnZ68JE+DqeDx70w3qoT0Wd2sTM9m9WaPa6drjw45yVzyXpNfB8IXyTuiGtS3C9DHcCn+aGJyIn2fWPvV6+4O7p4Hf9CNyj8M67/DwZnKHQgVfic7jxjg9dtjZYY75DFfS0eaMiSy10gjqjuVlo30PxzWy6kU1ipyDCyvod5KrQ4Mgw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=nasa.gov; dmarc=pass action=none header.from=nasa.gov; dkim=pass header.d=nasa.gov; arc=none Received: from DM6PR09MB5288.namprd09.prod.outlook.com (2603:10b6:5:260::16) by DS0PR09MB11653.namprd09.prod.outlook.com (2603:10b6:8:16c::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9654.13; Wed, 25 Feb 2026 18:04:22 +0000 Received: from DM6PR09MB5288.namprd09.prod.outlook.com ([fe80::629b:1003:5f17:6f24]) by DM6PR09MB5288.namprd09.prod.outlook.com ([fe80::629b:1003:5f17:6f24%3]) with mapi id 15.20.9632.017; Wed, 25 Feb 2026 18:04:21 +0000 From: "Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]" To: "all@cost-ic0701.org" , "all@upscale-project.eu" , "announce@informatics-europe.org" , "announcements@lists.artist-embedded.org" , "appsem@tcs.informatik.uni-muenchen.de" , "ascens@maillist.ifi.lmu.de" , "asci@twi.tudelft.nl" , "asl@vassar.edu" , "ast@cs.vu.nl" , "cabernet-events@jiscmail.ac.uk" , "cade@itu.dk" , "caic1402arvi@isp.uni-luebeck.de" , "calendar@computer.org" , "caml-list@inria.fr" , "categories@mta.ca" , "ccal@math.ist.utl.pt" , "cipher-cfp@ieee-security.org" , "clean-list@science.ru.nl" , "clp@comp.nus.edu.sg" , "cmcs@cs.indiana.edu" , "comlab@comlab.ox.ac.uk" , "comm-theory@ieee.org" , "comp2011@cost-ic0701.org" , "complog@cs.nmsu.edu" , "comprox@doc.ic.ac.uk" , "compulognet-parimp@dia.fi.upm.es" , "concurrency@cwi.nl" , "concurrency@listserver.tue.nl" , "coq-club@inria.fr" , "cphc-conf@jiscmail.ac.uk" , "csd@lists.ut.ee" , "dbworld@cs.wisc.edu" , "dipartimento@di.unipi.it" , "DMANET@zpr.uni-koeln.de" , "ecoop-info@ecoop.org" , "elsnet-list@let.uu.nl" , "envisage-all@envisage-project.eu" , "etaps2015-all@verifythis.org" , "etaps2016-all@verifythis.org" , "events@fmeurope.org" , "facs-events@jiscmail.ac.uk" , "fg-arc@lists.uni-paderborn.de" , "finite-model-theory@lists.rwth-aachen.de" , "FMxSOCandBPM@cs.unibo.it" , "focs@comlab.ox.ac.uk" , "formal-methods@cs.uidaho.edu" , "gdr.gpl@imag.fr" , "hats-all@lists.hats-project.eu" , "hol-info@lists.sourceforge.net" , "humanist@lists.princeton.edu" , "ic.eatcs@di.unipi.it" , "ifip@ifip.or.at" , "ifmsig@cs.tcd.ie" , "infi@mpi-sb.mpg.de" , "ipalist@listserver.tue.nl" , "isabelle-users@cl.cam.ac.uk" , "it-announce@cs.usyd.edu.au" , "it-fmeurope-events@lists.uu.se" , "jmlspecs-interest@lists.sourceforge.net" , "ki-inf@uni-koblenz.de" , "kr@kr.org" , "lfcs-interest@dcs.ed.ac.uk" , "lics@research.bell-labs.com" , "linear@cs.stanford.edu" , "lmo-conference@email.polytech.unice.fr" , "logic@cs.stanford.edu" , "logic@math.uni-bonn.de" , "logic-list@helsinki.fi" , "logik@math.uni-freiburg.de" , "loginf@lat.inf.tu-dresden.de" , "math.logik@gmx.net" , "maude-users@cs.uiuc.edu" , "moca-announce@list.it.uu.se" , "model-based-testing@yahoogroups.com" , "newsletter@aarinc.org" , "nvti-list@cwi.nl" , "nwpt-info@lists.ioc.ee" , "om-announce@openmath.org" , "papm@inf.ed.ac.uk" , "petrinet@informatik.uni-hamburg.de" , "procos@jiscmail.ac.uk" , "prog-lang@diku.dk" , "prole@babel.ls.fi.upm.es" , "proof-complexity@math.cas.cz" , "pvs@csl.sri.com" , "qest-announce@iti.uiuc.edu" , "relmics-l@mcmaster.ca" , "resist@laas.fr" , "richmodels-all@epfl.ch" , "risks@CSL.sri.com" , "sal@csl.sri.com" , "sbc-l@sbc.org.br" , "sci-diku-prog-lang@list.ku.dk" , "secretary@eatcs.org" , "security@FOSAD.ORG" , "seminar-14171@dagstuhl.de" , "sensoria-core@di.unipi.it" , "softtech@cs.uu.nl" , "stimdi-rek-subscribe@yahoogroups.com" , "swits@cs.kau.se" , "system-safety@listserv.gsfc.nasa.gov" , "termtools@lri.fr" , "theorem-provers@ai.mit.edu" , "theory@cl.cam.ac.uk" , "theory-a@listserv.nodak.edu" , "theory-logic@cs.cmu.edu" , "theorynt@listserv.nodak.edu" , "tucsnews@lists.utu.fi" , "types-announce@lists.seas.upenn.edu" , "users@mozart-oz.org" , "vki-list@dfki.de" , "yices@csl.sri.com" , "zforum@jiscmail.ac.uk" Thread-Topic: International Workshop on Formal Requirements Engineering and Artificial Intelligence: Call for Papers Thread-Index: AQHcpoCcJugWWsip30a/r76C1Ut+5w== Date: Wed, 25 Feb 2026 18:04: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: DM6PR09MB5288:EE_|DS0PR09MB11653:EE_ x-ms-office365-filtering-correlation-id: 5117bb5f-ef64-4a20-fc5c-08de74984d6d x-ms-exchange-atpmessageproperties: SA x-agency-banner-exclusion: 1 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|31052699007|366016|39142699007|1800799024|7416014|13003099007|921020|8096899003|7142099003|38070700021; x-microsoft-antispam-message-info: 1D/YjlTVUG9oLab/1nZdLpviNpx/EDoE2liyV9Wu4UU+NT7EQpecjsAVrX6u0qaqn5SmAzKJda/5DDgjrCLlNKFO+S+HPcWNhzLiqpNWV53Dzx38WJmYSZ1jFwEyhpf1YJSEZIgW87iysT63Ra+wBXGlsUKrXezKdBIB/VsD4mNFLgu/SqvcVuC3kQVZznAEbSKOV1AzFGTFC3JMxZpGoMI3oQ+yc4I35YeJ5icpuPwrKRoPiCsH0DHLB/V2LnPeZ+fp/MLJoEnslKUVUn0YtdQFKvbA0XsNKnBpZcPTaRIs4/NEzipK/M+rEZAA/TCGxs56z26Ej75lhbN8ARhGGRLcxAEbo9kjO+Gv3OqrxPNNFKGjm8MN5WHmjZMS2aL3VabeWn5t/l2zSn+1m+bjIEbxwlsp6UhTvUOUWestHA+S+KS7eqoIfu6nB/FoTDrnxWc9PzkLe5PgYtkO5cxeu4lloXV1Uu/4d19LjRpvYqOdK7QWeVmGxIIF7/JaEsnfe+k4m+fk8dl8tYt+WStb9PQtjqJgV9LBgtM9OsCyltjoEuw4rdEHPxmmm+1bTiDTXQTskJB94OHgVvk577wQoELFOvZfJwoKTO+F5TvO9pjaWSawcpc/rPEIXHW0wL0lErVlqZGO+xB3Xt8fSH/6uZupvV72JcU7xOgxLxqiy5mOS1nzoPsJ57YPZp40kT0aLgAAY0/a3Y/kiwl673ANa/RwE2Pd4TIbsIUwkP/gybWHVp9vDDD4hipUG/zTUHGU x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DM6PR09MB5288.namprd09.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(31052699007)(366016)(39142699007)(1800799024)(7416014)(13003099007)(921020)(8096899003)(7142099003)(38070700021);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?zGfMCXpmEP6n56TQcDE8kx/Ic4hRYzE/MNoiTjL9hG+f1Nd+V+UeZzv8?= =?Windows-1252?Q?LEcv58bDZ6d/41EqtmiDagiWlPEHmB3pTC3G/8z6DtP0zI7XhmSyPyVc?= =?Windows-1252?Q?LsgVa5IWr3qaA4EnC14Qq4bkScW9ZRNCfdrXs8LWFc6DB6SvksJ4WN/T?= =?Windows-1252?Q?RUpSa/VWLhEzVZqGM1+Y/h5GwMA52FsoWO++8wCyIKQgyT7+gXK8Wk+F?= =?Windows-1252?Q?1ObyxiXTe11kdyeIN93owMyelqr2i1lzqfGI8f9yVneNUJzyy+sa2ZdR?= =?Windows-1252?Q?SJjMM7MgzHfeJSRz7jDSqg9gIn4pQLOdj1qLz4vEVp5K7g8xLj39oe6l?= =?Windows-1252?Q?dC4CK2jAngYQfbz1MCzFGJNy9SsMW2K4GA/Hzzx9fqkjZVKqVbw8XmZH?= =?Windows-1252?Q?MDzLCWEhvPhdhU6q7IuAl951jpSLvG5dLPY0iBT/BjeUbSkAfAtGsSpL?= =?Windows-1252?Q?uXT8usPb1IXEWVU7ywtBvUSZ0FiSYEu8cDFwm2l5Qt2joBQwXbeiPv85?= =?Windows-1252?Q?nGID7D8KoT/aDhnrsMr5Fr0bySY2vAsNz8EOZFC/J7n3OmzKCbGE9JPa?= =?Windows-1252?Q?8KYBuRwVEgoTY7eSWrjYxHYswO9zddbozIGaJqkp6jwATO5Vms4gWuT2?= =?Windows-1252?Q?onw05jAg6rlNnDBPHvWGdDcfvsw8VQnGc/U3m0wHd6PI6RwiOWNB0mEd?= =?Windows-1252?Q?QM8+OhRL2wKzWKahjGA0T+J7mKo/TYtlMkyfWFJqiqr4SxthleYj0iUt?= =?Windows-1252?Q?y/qCx8sWFleeCaUIBqZbeZEwywgdQ4Bqn57F0r5u7zfWOFdL+o/7IMWG?= =?Windows-1252?Q?lYeyw0gz9YsTH8RjBgzzsSpFcHA5VzO24mzvFoXZuSUSFDvn5LPnorOd?= =?Windows-1252?Q?rBNUQ0xhGTDQO0ZxiSFDOGeaxwRkUxHc1OBokvrLD/0MbI9Q/FPvoG1q?= =?Windows-1252?Q?C2VNDMixA9zNc654zMmCFFuLdDdP30MNChMqTfHUC2bC6Do9QWmXw2n5?= =?Windows-1252?Q?FvXTCGoR/BoI4e7GxZF3TiqPUwLoLLS4vQOCtcsDyO3MWr9kDKZRiBJ+?= =?Windows-1252?Q?k2Ld0IMh/AabymQTQ6kwdRGuUnEcYlWpuzzB0G0AhGFuXZox17gNuxEp?= =?Windows-1252?Q?qWl8tAG4irZ/0OjIObSE0nboM2uRX7H5auKRJh3S5knmT8TIZNsadiWm?= =?Windows-1252?Q?QwWRefG9z5wnrWkuNn11XvytE05+xV2aCXa+2gy/wCjbTY++gSOPB5kK?= =?Windows-1252?Q?K/LQw2dScxBExyN6mFfYZUk9ujyIjKsKJdVygK1MlBxfk4xtCBiekGP0?= =?Windows-1252?Q?uJlpvabl5QJVd6a+b30Wdc0Wgu4qf+7eMKuHsiPC65M9LTV7iKOKATU2?= =?Windows-1252?Q?f7QzJXREAbQV+GrxZYn9Ujajl9Rki0qmoAinzumvUROPj8/RbkXM3ulx?= =?Windows-1252?Q?tmZ0Obh6IEph0Ao2vsuLbB7ZwGxhrntqs4nNEN8vDDDfSdOy4ZmRPSfe?= =?Windows-1252?Q?Zqrw1BAmowbqRoCb7B8vbdKLBFWqe/LnksBPIQmeO7atDJon0WdgEmfP?= =?Windows-1252?Q?+C/bgcc/SOUiWRojssML8M2jlM/ESL0XYO129NupD28TWafZ1HBxkDoI?= =?Windows-1252?Q?CQGQWrerHqOnmsd/zmxyY2K5+PIdaV5RJIY+7sZQLZW0YxOzvtRa0086?= =?Windows-1252?Q?oeIbUmUs9l9rH+1qwbHxegmjW1TBbzaMc0W/+i17NMV79r8WZIdh2tmx?= =?Windows-1252?Q?niQJIhcZqV6QxIzLz911vWELA2jTAMN+oJPaDrx6M8GrYCv4afscAwms?= =?Windows-1252?Q?vT+o0HyEZ3o+JMMArrewLmJxMdn6xXG7gfGs7Ah1cEodRDhag8OR+b1w?= =?Windows-1252?Q?kXEkNy+wmOeUfg=3D=3D?= Content-Type: multipart/alternative; boundary="_000_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_" MIME-Version: 1.0 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: ByFC8ixQd9lgGAsYwaE369iz+GSEN1j95srAKoO629UcSNFXE4I/fdBxcetXkEVRuWHZ2oFz5OfI4cgulV5u5FPR8L/gNrUNYK1qA2NY9L65FgltahSKFEcKrdLICG2VDg/fsvv7WpY94HfZ2ML154u9QMFuNEB3lPdZkSLiXODQm0k0MbWemF5OSL6XziZYIboR/MJ0ZkuJTGogJ/nH05Kh8c77Vp5B6PAGgHgUP2smfnRgRcx4c4wkcnqQnWua8BIJ/A+TRfhj8T68dJ1XcBDBnMTQgPTdaobfdnmVn3xCMDKo0CWfPwo3SKL8wYsS7Ji1Ec3ijJ8jfuHprrIMnpYKWa42SMcH0EDC9PpUjXGEq7V+4Z5P2dgScNEnMbaG60hCgsUwqjegd9o16OramMW483qt7CTh7PUIfx3bJ+DuVQRtICTjlmGFwdXCz4ic8fj4ObE4kSRyQ+D6XnkkPge4q0J4qT8skeV4YDx4sOpYCyW96qzVu3n9geqcLA99QT6R7NFmhyYJFJ2xxqt7g+bmD7TvyRE5tqE4E70HRjOGLHhqJAygzLasVTgBz1/lYnDDHcze/+0AFmyMD2ZZ19+MqxYPU9FcLWvNNHBs3GQ= X-OriginatorOrg: nasa.gov X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DM6PR09MB5288.namprd09.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 5117bb5f-ef64-4a20-fc5c-08de74984d6d X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Feb 2026 18:04:21.5547 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 7005d458-45be-48ae-8140-d43da96dd17b X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS0PR09MB11653 X-Validation-by: divya.gopinath@nasa.gov Subject: [Caml-list] International Workshop on Formal Requirements Engineering and Artificial Intelligence: Call for Papers Reply-To: "Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]" X-Loop: caml-list@inria.fr X-Sequence: 19461 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_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Call for Papers: RExAI 2026 International Workshop on Formal Requirements Engineering and Artificial In= telligence May 4, 2026 co-located with NFM 2026 (May 5 - May 7, 2026), Los Angeles, California, US= A Overview This workshop explores the intersection of formal requirements engineering = and artificial intelligence (AI), addressing a central challenge in modern = software and AI system development: how to precisely specify requirements f= or increasingly complex, heterogeneous, and autonomous systems, and how to = verify and validate that such systems meet those requirements. As AI technologies become deeply embedded in safety and mission-critical do= mains, from autonomous vehicles to medical diagnostics, financial systems t= o industrial automation and space exploration, the need for rigorous, forma= l approaches to requirements is becoming increasingly important. At the sam= e time, traditional requirements engineering methods face new challenges wh= en applied to systems with learning-enabled components, unpredictable behav= iors, and emergent properties. The opacity of AI models and the semantic ga= p between high-level requirements and low-level model inputs and internals = create significant impediments to verifying and validating that such system= s meet their specified requirements. The workshop welcomes extended abstract contributions on formal specificati= on languages for AI systems, verification and validation techniques, requir= ements for trustworthy AI, case studies from real-world applications, and n= ovel applications of AI to requirements engineering itself. We aim to foste= r dialogue between communities that have traditionally worked separately, b= uilding bridges toward more reliable, safe, and trustworthy AI systems grou= nded in rigorous requirements practices. Extended abstracts can summarize a= nd cite results from recent published paper(s) and/or state your perspectiv= e. Areas of interest include but are not limited to: * How can we formally specify requirements for systems with learning-enabled = components? * How can formal frameworks capture fairness, safety, robustness and explaina= bility requirements for AI systems? * How do we verify that AI systems meet their specified requirements? * What role can AI play in automating requirements elicitation, formalization= analysis, and validation? * How do we bridge high-level requirements and behavior of AI-enabled systems= to enable traceability, safety assurance, and certification? Important dates: * Submission deadline: March 16, 2026 * Notification: April 3, 2026 * Workshop: May 4, 2026 Paper submission guidelines We invite extended abstracts of 2-4 pages (excluding references) in LNCS fo= rmat, https://www.springer.com/gp/computer-science/lncs/conference-proceedi= ngs-guidelines. All submissions must be in English and fall into one of the= following categories: 1. New and Emerging Work: Presents novel research in the focus areas of the wo= rkshop. Submissions will be evaluated primarily on "novelty". 2. Summary of Recent Results: Presents existing work and highlights its contri= bution in terms of relevance and impact in the focus areas of the workshop.= Submissions will be evaluated primarily on "impact". Please note that: * No Formal Proceedings: We welcome submissions of work that has already been= presented or submitted elsewhere. No copyright transfer is required; we on= ly request permission to post accepted abstracts on the workshop website. * Journal Special Issue: Authors of selected accepted abstracts will be invit= ed to submit extended versions for a journal special issue. All submissions will be reviewed by members of the Program Committee. The p= aper review process is single-blind, which means that the author identities= are not required to be anonymous and are visible to the PC members/reviewe= rs, but reviewer identities are not visible to the authors. No special effo= rts are required to anonymize content in the paper (such as referencing the= authors=92 prior work). Policy on the use of Gen AI (same as NFM) We understand the convenience afforded by the use of generative AI-based la= rge language models to produce text in the submitted manuscript. However, w= e strongly encourage the authors to check the generated text for factual er= rors and inconsistencies. We encourage the authors to adopt appropriate sta= ndards for citing products obtained using generative AI (such as text, tabl= es, graphics). Use of AI-based coding assistants is permitted, and we encou= rage authors to disclose the use of such tools as the community may find th= is scientifically interesting. Submission will be via the OpenReview link: https://openreview.net/group?id=3DNFM/2026/Workshop/RExAI To submit a paper on OpenReview, you must first create a profile and log in= to the system. Then, navigate to the specific conference or venue=92s page= on OpenReview, find the =93Conference Submission=94 link, and click on it.= Fill out the submission form, which will prompt you for paper details like= title, authors, abstract, and keywords, before uploading the PDF of your p= aper. Step-by-Step Submission Process 1. Create an Account & Log in * If you don=92t have one, sign up for an account on OpenReview. * Log in using your credentials. 2. Find Your Conference * Navigate to the workshop=92s page on OpenReview (NFM Workshop RExAI 2026) 3. Locate the Submission Link * Select =93NFM 2026 Workshop RExAI Submission=94 to access the submission fo= rm. 4. Complete the Submission Form * Add Paper Details: Enter the title of your paper and all authors (each must= have an OpenReview account). * Provide Keywords & Summary: Add relevant keywords and a short abstract. * Upload Your PDF: Submit the full PDF version of your paper. 5. Finalize Submission * Follow any final instructions (e.g., license agreement, confirmation). * Submit and confirm. Important Considerations * Author Profiles: All submitting authors must have an active OpenReview prof= ile. * Email Address: Your profile=92s preferred email is used for notifications. * Editing: You can edit your submission and upload new versions until the sub= mission deadline. Chairs * Anastasia Mavridou, KBR Inc., NASA Ames =97 anastasia.mavridou@nasa.gov * Marie Farrell, The University of Manchester =97 marie.farrell@manchester.ac= .uk * Divya Gopinath, KBR Inc., NASA Ames =97 divya.gopinath@nasa.gov * Hazel Taylor, The University of Manchester =97 hazel.taylor@manchester.ac.u= k --_000_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
Call for Papers: RExAI 2026
International Workshop on Formal R= equirements Engineering and Artificial Intelligence
May 4, 2026
co-located with NFM 2026 (May 5 - May 7, 2026), Los Angeles, California, US= A

Overview
This workshop explores the intersection of formal requirements engineering = and artificial intelligence (AI), = addressing a central challenge in modern software and AI system development: how to precisely specify requirements = for increasingly complex, heterogeneous, and autonomous systems, and how to= verify and validate that such systems meet those requirements.

As AI technologies become deeply embedded= in safety and mission-critical domains, from autonomous vehicles to medica= l diagnostics, financial systems to industrial automation and space explora= tion, the need for rigorous, formal approaches to requirements is becoming increasingly important. At the same= time, traditional requirements engineering methods face new challenges whe= n applied to systems with learning-enabled components, unpredictable behavi= ors, and emergent properties. The opacity of AI models and the semantic gap between high-level requirements = and low-level model inputs and internals create significant impediments to = verifying and validating that such systems meet their specified requirement= s.

The workshop welcomes extended abstract c= ontributions on formal specification languages for AI systems, verification= and validation techniques, requirements for trustworthy AI, case studies f= rom real-world applications, and novel applications of AI to requirements engineering itself. We aim to foster di= alogue between communities that have traditionally worked separately, build= ing bridges toward more reliable, safe, and trustworthy AI systems grounded= in rigorous requirements practices. Extended abstracts can summarize and cite results from recent published pa= per(s) and/or state your perspective.

Areas of interest include but are not limited to:
  • How can we formally specify requirements for systems with learning-enabled = components?
  • How can formal frameworks capture fairness, safety, robustness and explaina= bility requirements for AI systems?
  • How do we verify that AI systems meet their specified requirements?
  • What role can AI play in automating requirements elicitation, formalization= analysis, and validation?
  • How do we bridge high-level requirements and behavior of AI-enabled systems= to enable traceability, safety assurance, and certification?




Important dates:
  • Submission deadline: March 16, 2026
  • Notification: April 3, 2026
  • Workshop: May 4, 2026
Paper submission guidelines
We invite extended abstracts of 2-4 pages= (excluding references) in LNCS format, https://www.springer.c= om/gp/computer-science/lncs/conference-proceedings-guidelines. All submissions must be in English and fall into one of the following cate= gories:
  1. New and Emerging Work: Presen= ts novel research in the focus areas of the workshop. Submissions will be e= valuated primarily on "novelty".
  2. Summary of Recent Results: Present= s existing work and highlights its contribution in terms of relevance and i= mpact in the focus areas of the workshop. Submissions will be evaluated pri= marily on "impact".
Please note that:
  • No Formal Proceedings: We wel= come submissions of work that has already been presented or submitted elsew= here. No copyright transfer is required; we only request permission to post= accepted abstracts on the workshop website.
  • Journal Special Issue: Author= s of selected accepted abstracts will be invited to submit extended version= s for a journal special issue.
All submissions will be reviewed by membe= rs of the Program Committee. The paper review process is single-blind, whic= h means that the author identities are not required to be anonymous and are= visible to the PC members/reviewers, but reviewer identities are not visible to the authors. No special efforts= are required to anonymize content in the paper (such as referencing the au= thors=92 prior work).
Policy on the use of Gen AI (same as NFM)=
We understand the convenience afforded by= the use of generative AI-based large language models to produce text in th= e submitted manuscript. However, we strongly encourage the authors to check= the generated text for factual errors and inconsistencies. We encourage the authors to adopt appropriate standar= ds for citing products obtained using generative AI (such as text, tables, = graphics). Use of AI-based coding assistants is permitted, and we encourage= authors to disclose the use of such tools as the community may find this scientifically interesting.
Submission will be via the OpenReview lin= k:
https://open= review.net/group?id=3DNFM/2026/Workshop/RExAI
To submit a paper on OpenReview, you must= first create a profile and log in to the system. Then, navigate to the spe= cific conference or venue=92s page on OpenReview, find the =93Conference Su= bmission=94 link, and click on it. Fill out the submission form, which will prompt you for paper details like titl= e, authors, abstract, and keywords, before uploading the PDF of your paper.=
Step-by-Step Submission Process
  1. Create an Account & Log in
    • If you don=92t have one, sign up for an account on OpenReview.
    • Log in using your credentials.
  2. Find Your Conference
    • Navigate to the workshop=92s page on OpenReview (NFM Workshop RExAI&nb= sp;2026)
  3. Locate the Submission Link
    • Select =93NFM 2026 Workshop RExAI Submission=94 to access the submission fo= rm.
  4. Complete the Submission Form
    • Add Paper Details: Enter the title of your paper and all authors (each must= have an OpenReview account).
    • Provide Keywords & Summary: Add relevant keywords and a short abstract.=
    • Upload Your PDF: Submit the full PDF version of your paper.
  5. Finalize Submission
    • Follow any final instructions (e.g., license agreement, confirmation).
    • Submit and confirm.
Important Considerations
  • Author Profiles: All submitting authors must have an active OpenReview prof= ile.
  • Email Address: Your profile=92s preferred email is used for notifications.<= /div>
  • Editing: You can edit your submission and upload new versions until the sub= mission deadline.
 Chairs
  • Anastasia Mavridou, KBR Inc., NASA Ames =97 anastasia.mavridou@nasa.gov=
  • Marie Farrell, The University of Manchester =97 marie.farrell@manchester.ac= .uk
  • Divya Gopinath, KBR Inc., NASA Ames =97 divya.gopinath@nasa.gov
  • Hazel Taylor, The University of Manche= ster =97 hazel.taylor@manchester.ac.uk

--_000_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_--