Dear Colleagues, We are delighted to announce the Call for Papers for a Special Issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) on Formal Requirements and Artificial Intelligence.
Guest editors ============ Marie Farrell, The University of Manchester — [email protected] Divya Gopinath, KBR Inc. / NASA Ames — [email protected] Anastasia Mavridou, KBR Inc./ NASA Ames — [email protected] Hazel Taylor, The University of Manchester — [email protected] Scope ============ This special issue 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 medical diagnostics, financial systems to industrial automation and space exploration, the need for rigorous, formal approaches to requirements is becoming increasingly important. At the same time, traditional requirements engineering methods face new challenges when applied to systems with learning-enabled components, unpredictable behaviors, 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 requirements. The special issue welcomes contributions on formal specification languages for AI systems, verification and validation techniques, requirements for trustworthy AI, case studies from real-world applications, and novel applications of AI to requirements engineering itself. 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 explainability 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? Submission information =================== We invite authors to submit high-quality, original research that has not been published or reviewed elsewhere. Submissions should adhere to the JLAMP formatting guidelines. We will try to re-assign the submissions of the extended abstracts accepted at RExAI 2026 to the same reviewers whenever possible. Submissions should follow JLAMP’s guidelines for authors, available at: Guide for Authors [sciencedirect.com]. Manuscripts must be submitted via the JLAMP Editorial System (EM): Editorial Manager® [editorialmanager.com]. To submit, select the correct article type: “VSI:RExAI 2026” from the Article Type dropdown menu during the submission process. This is essential to ensure that manuscripts are properly routed to the Special Issue workflow and do not enter the regular submission stream. Important dates (all dates AoE) ========================= - Submission deadline: 31 December 2026 - First round review decisions: 28 February 2027 - Notification of final decisions: 30 July 2027 - Tentative publication: August 2027 Contact ======= For questions and further information, please contact the guest editors. We look forward to receiving your submissions. Anastasia, Divya, Hazel and Marie
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
