Extended abstracts
2-4 pages in LNCS format; can summarize recent published work or present new and emerging research; no copyright transfer required.
AI/CORE Unranked
RExAI 2026
International Workshop on Formal Requirements Engineering and Artificial Intelligence
May 04 2026University of Southern California, Los Angeles, California, USAOfficial workshop site Site reachable
RE×AI 2026 is a co-located workshop with NFM 2026 focused on the synergy between formal requirements engineering and artificial intelligence to ensure trustworthy learning-enabled systems. It brings together researchers and practitioners to address challenges in specifying, verifying, and validating requirements for AI systems in safety-critical domains such as autonomous vehicles, space exploration, and medical diagnostics.
Key deadlines
Verified September 9, 2026Full paper
March 21, 2026
AoE
Workshop timeline
Submission and decisions
Full paperKey deadline
March 21, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Research areas in scope
01
Topics of Interest
Formal specification languages for AI systemsVerification and validation techniques for AI systemsRequirements for trustworthy AI (fairness, safety, robustness, explainability)AI applications in automating requirements elicitation, formalization, analysis, and validationBridging high-level requirements and behavior of AI-enabled systems for traceability, safety assurance, and certification
Policies worth checking twice
- Single-blind review process (author identities visible to reviewers)
- No anonymization of content required (e.g., citing prior work is allowed)
- Submissions may include work already presented or submitted elsewhere
- No copyright transfer required for accepted abstracts
- Authors of accepted abstracts may be invited to submit extended full papers to a journal special issue
- Use of generative AI is permitted but authors must check for factual errors and inconsistencies, and disclose use of AI tools
- No registration fee for participants
- Remote participation supported for authors unable to travel in person
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026