Email Gateway (Aug 09 2026 at 18:44): Email Gateway (Aug 09 2026 at 18:44):From: "Dubslaff, Clemens" <cl-isabelle-users@lists.cam.ac.uk>
Subject: [isabelle] CfP: Special Issue on Formal Methods and Intersymbolic AI (ACM Formal Aspects of Computing)
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
Last updated: Aug 12 2026 at 20:47 UTC