DX meets ISoLA/AISoLA: Formal Methods for Diagnosis and Fault Management
Ingo Pill
It is our pleasure to announce a special track at the AISoLA conference [1] that bridges topics from diagnosis, verification and formal methods. AISoLa 2026 will take place from October 27th to 31st in Kos, Greece and for this track we are interested in submissions that address challenges and open research questions at the intersection of formal methods and AI-based approaches for detecting, diagnosing (or explaining), and correcting faulty behavior.
Anticipated contributions include formal methods, theoretical frameworks, and computational approaches for rigorous diagnosis, fault mitigation, and correction, encompassing logic-based and qualitative methods, temporal, discrete-event, continuous and hybrid systems, as well as sub-symbolic and probabilistic techniques.
Of specific interest are submissions that focus on the integration of runtime verification and online diagnosis, as well as on leveraging formal theories and model-based techniques in data-driven, sub-symbolic diagnosis. Real-world applications in domains such as reliable software systems, robust cyber-physical systems, and digital twins are especially welcome.
This track follows the AISoLA post-proceedings format, which allows authors to incorporate feedback from conference discussions and presentations of preliminary results into their (potential) final papers.
We therefore invite submissions for presentations at the conference, which may subsequently lead to a full paper submission for the post-proceedings:
Titles and abstracts: May 31, 2026
Extended abstract submission: June 30, 2026
Notification of decision: July 31, 2026
Final abstracts: August 31, 2026
The deadline for post-proceedings submissions (if you wish to submit a full paper) will be several months after the conference and is expected to be around January 2027. All accepted papers will be published as open access in the LNCS series.
For more information, please check our track information [2] available from the conference website [1] and don’t hesitate to reach out to one of the organizers for questions.
Martin Leucker, University of Lübeck
Martin Sachenbacher, Technical University of Applied Sciences Regensburg
Ingo Pill, Graz University of Technology
[1] https://2026-isola.isola-conference.org/
[2] https://2026-isola.isola-conference.org/aisola-tracks/
Please note that this activity is actively endorsed by the DX Steering Committee (like the diagnosis summer school). If you plan a similar activity for promoting DX topics and the DX community, please let one of the steering committee members know. We would then discuss our support in the next monthly meeting or via email.