Extended abstracts
2-4 pages in LNCS format; can summarize recent published work or present new/emerging research; no copyright transfer required; accepted abstracts may be invited to submit extended versions to a journal special issue.
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)Use of AI 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
- Submission is single-blind: author identities are visible to reviewers; no anonymization required.
- No formal proceedings; submissions can be previously presented or submitted elsewhere.
- No copyright transfer is 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; citation of AI-generated content is encouraged.
- Use of AI-based coding assistants is permitted and disclosure is encouraged.
- Remote participation is 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