International Workshop on Formal Requirements Engineering and Artificial Intelligence: Call for Papers

--_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<https://openr=
eview.net/>.
     *
Log in using your credentials.
  2.
Find Your Conference
     *
Navigate to the workshop=92s page on OpenReview (NFM Workshop RExAI 2026<ht=
tps://openreview.net/group?id=3DNFM/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 [email protected]<mai=
lto:[email protected]>
  *
Marie Farrell, The University of Manchester =97 [email protected]=
.uk
  *
Divya Gopinath, KBR Inc., NASA Ames =97 [email protected]
  *
Hazel Taylor, The University of Manchester =97 [email protected]=
k


--_000_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"direction: ltr; text-align: center; line-height: 1.59545; mar=
gin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, A=
ptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color:=
 rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Call for Papers: RExAI 2026<br>
</span><span style=3D"font-weight: 400;">International Workshop on Formal R=
equirements Engineering and Artificial Intelligence<br>
May 4, 2026<br>
co-located with NFM 2026 (May 5 - May 7, 2026), Los Angeles, California, US=
A</span></div>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<span style=3D"font-weight: 400;"><br>
</span><span style=3D"font-weight: 700;">Overview</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">This workshop explores the </span><span s=
tyle=3D"font-weight: 700;">intersection of formal requirements engineering =
and artificial intelligence (AI)</span><span style=3D"font-weight: 400;">, =
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.</span></div=
>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">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.</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">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.</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, =
Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Areas of interest</span><span style=3D"fo=
nt-weight: 400;">&nbsp;include but are not limited to:</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 10pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"element=
ToProof">
How can we formally specify requirements for systems with learning-enabled =
components?</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"elementT=
oProof">
How can formal frameworks capture fairness, safety, robustness and explaina=
bility requirements for AI systems?</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"elementT=
oProof">
How do we verify that AI systems meet their specified requirements?</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"elementT=
oProof">
What role can AI play in automating requirements elicitation, formalization=
 analysis, and validation?</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 10pt;" role=3D"presentation" class=3D"element=
ToProof">
How do we bridge high-level requirements and behavior of AI-enabled systems=
 to enable traceability, safety assurance, and certification?</div>
</li></ul>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<span style=3D"font-weight: 700;">Important dates</span><span style=3D"font=
-weight: 400;">:</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 10pt; margi=
n-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Submission deadline: March 16, 2026</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Notification: April 3, 2026</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 10pt;" role=3D"presentation" class=3D"elementToProof">
Workshop: May 4, 2026</div>
</li></ul>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; padding: 0pt 0pt 8pt; font-family: Aptos, Aptos_EmbeddedFont,=
 Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; colo=
r: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Paper submission guidelines</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont,=
 Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; colo=
r: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">We invite extended abstracts of 2-4 pages=
 (excluding references) in LNCS format,
<u><a style=3D"color: rgb(17, 85, 204);" class=3D"OWAAutoLink" id=3D"OWA1cd=
115ad-d7c4-1956-9cc8-0a5a50f2e81d" href=3D"https://www.springer.com/gp/comp=
uter-science/lncs/conference-proceedings-guidelines">https://www.springer.c=
om/gp/computer-science/lncs/conference-proceedings-guidelines</a></u>.
 All submissions must be in English and fall into one of the following cate=
gories:</span></div>
<ol style=3D"margin-top: 0px; margin-bottom: 0px;" start=3D"1">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"elementT=
oProof">
<span style=3D"font-weight: 700;">New and Emerging Work:</span>&nbsp;Presen=
ts novel research in the focus areas of the workshop. Submissions will be e=
valuated primarily on &quot;novelty&quot;.</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 12pt;" role=3D"presentation" class=3D"element=
ToProof">
<span style=3D"font-weight: 700;">Summary of Recent Results</span>: 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 &quot;impact&quot;.</div>
</li></ol>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont,=
 Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; colo=
r: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">Please note that:</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt;" role=3D"presentation" class=3D"elementT=
oProof">
<span style=3D"font-weight: 700;">No Formal Proceedings:</span>&nbsp;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.</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 12pt;" role=3D"presentation" class=3D"element=
ToProof">
<span style=3D"font-weight: 700;">Journal Special Issue:</span>&nbsp;Author=
s of selected accepted abstracts will be invited to submit extended version=
s for a journal special issue.</div>
</li></ul>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">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).</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Policy on the use of Gen AI (same as NFM)=
</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">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.</spa=
n></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Submission will be via the OpenReview lin=
k:</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;"><u><a style=3D"color: rgb(17, 85, 204);" =
class=3D"OWAAutoLink" id=3D"OWAa27767d0-46f8-a6b9-71bb-9cecaee903ca" href=
=3D"https://openreview.net/group?id=3DNFM/2026/Workshop/RExAI">https://open=
review.net/group?id=3DNFM/2026/Workshop/RExAI</a></u></span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.59545; ma=
rgin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 12pt; font-family: Apto=
s, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif;=
 font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 400;">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.=
</span></div>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.44; margi=
n-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Apt=
os_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: r=
gb(0, 0, 0);" class=3D"elementToProof">
<b>Step-by-Step Submission Process</b></div>
<ol style=3D"margin-top: 0px; margin-bottom: 0px;" start=3D"1">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Create an Account &amp; Log in</div>
</li><ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
If you don=92t have one, sign up for an account on <a style=3D"color: rgb(0=
, 0, 0);" class=3D"OWAAutoLink" id=3D"OWAab1a3e1a-7569-d06d-3fdd-3c9c090607=
ad" href=3D"https://openreview.net/">
OpenReview</a>.</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Log in using your credentials.</div>
</li></ul>
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Find Your Conference</div>
</li><ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Navigate to the workshop=92s page on OpenReview (NFM Workshop RExAI<a style=
=3D"color: rgb(0, 0, 0);" class=3D"OWAAutoLink" id=3D"OWA1cb6085b-44a8-dbc6=
-e303-fd3fa1386691" href=3D"https://openreview.net/group?id=3DNFM/2026">&nb=
sp;2026</a>)</div>
</li></ul>
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Locate the Submission Link</div>
</li><ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Select =93NFM 2026 Workshop RExAI Submission=94 to access the submission fo=
rm.</div>
</li></ul>
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Complete the Submission Form</div>
</li><ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Add Paper Details: Enter the title of your paper and all authors (each must=
 have an OpenReview account).</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Provide Keywords &amp; Summary: Add relevant keywords and a short abstract.=
</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Upload Your PDF: Submit the full PDF version of your paper.</div>
</li></ul>
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: decimal;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Finalize Submission</div>
</li><ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Follow any final instructions (e.g., license agreement, confirmation).</div=
>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: circle;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 12pt;" role=3D"presentation" class=3D"elementToProof">
Submit and confirm.</div>
</li></ul>
</ol>
<div style=3D"direction: ltr; text-align: justify; line-height: 1.44; margi=
n-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Apt=
os_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: r=
gb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Important Considerations</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Author Profiles: All submitting authors must have an active OpenReview prof=
ile.</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Email Address: Your profile=92s preferred email is used for notifications.<=
/div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 12pt;" role=3D"presentation" class=3D"elementToProof">
Editing: You can edit your submission and upload new versions until the sub=
mission deadline.</div>
</li></ul>
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<span style=3D"font-weight: 400;">&nbsp;</span><span style=3D"font-weight: =
700;">Chairs</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C=
alibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; color: rg=
b(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 10pt; margi=
n-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Anastasia Mavridou, KBR Inc., NASA Ames =97 <u><a style=3D"color: rgb(17, 8=
5, 204);" class=3D"OWAAutoLink" id=3D"OWA7657aae3-d424-33d6-b560-45d5641822=
b0" href=3D"mailto:[email protected]">[email protected]=
</a></u></div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Marie Farrell, The University of Manchester =97 [email protected]=
.uk</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.59545; margin-top: 0pt; margin=
-bottom: 0pt;" role=3D"presentation" class=3D"elementToProof">
Divya Gopinath, KBR Inc., NASA Ames =97 [email protected]</div>
</li><li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontServi=
ce, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400; colo=
r: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.58571; margin-top: 0pt; margin=
-bottom: 3pt;" role=3D"presentation" class=3D"elementToProof">
<span style=3D"font-weight: normal;">Hazel Taylor, The University of Manche=
ster =97 [email protected]</span></div>
</li></ul>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
</body>
</html>

--_000_DM6PR09MB5288E4F18BF7FD77C302963DF875ADM6PR09MB5288namp_--