- From: Dubslaff, Clemens <c.dubslaff@tue.nl>
- Date: Sun, 9 Aug 2026 18:22:00 +0000
- To: Clemens Dubslaff <clemens.dubslaff@tu-dresden.de>, Martina Seidl <Martina.Seidl@jku.at>, Ina Schaefer <ina.schaefer@kit.edu>
ACM Journal on Formal Aspects of Computing Special Issue on "Formal Methods and Intersymbolic AI" (FMIAI) ––=== Call for Papers ===–– This special issue welcomes submissions in formal methods, symbolic AI, subsymbolic AI, and their synergies towards intersymbolic AI. The aim is to advance research at the intersection of these fields, fostering the development of dependable, explainable, and ultimately trustworthy computing systems. ––=== Topics ===–– Relevant topics include but are not limited to: • Neurosymbolic AI • Verification and Certification of Machine Learning and AI • Explainable AI and Explainable Formal Methods • Theorem Proving and AI • Safety, Dependability, and Robustness in AI and Formal Methods • Knowledge Representation and Formal Reasoning • Runtime Verification and Monitoring of AI and AI-enabled Systems • Formal Semantics and Reasoning about Generative AI • Functional and Neurosymbolic Synthesis • Reinforcement Learning and Probabilistic Verification • Logics and Causal Reasoning for AI ––=== Guest Editors ===–– • Clemens Dubslaff, Eindhoven University of Technology, Eindhoven, The Netherlands • Ina Schaefer, Karlsruhe Institute of Technology, Karlsruhe, Germany • Martina Seidl, Johannes Kepler University, Linz, Austria ––=== Important Dates ===–– Submissions open: July 31, 2026 Submissions deadline: January 31, 2027 First-round review decisions no later than: April 30, 2027 Deadline for revision submissions: June 30, 2027 Notification of final decisions: August 31, 2027 Tentative publication: October 31, 2027 Please submit via the FMIAI track of FAC at ScholarOne: https://mc.manuscriptcentral.com/fac For questions and further information, please see the full call for papers: https://dl.acm.org/pb-assets/static_journal_pages/fac/pdf/ACM-FAC-CfP-SI-Formal-Methods-Intersymbolic-AI-1783776817357.pdf --------------------------------------- Clemens Dubslaff Formal System Analysis Cluster Department of Mathematics and Computer Science Eindhoven University of Technology office: MF 6.099 web: clemensdubslaff.de email: c.dubslaff@tue.nl
Received on Monday, 10 August 2026 19:36:54 UTC