ISoLa & AISoLA 2026

International Symposium on Leveraging
Applications of Formal Methods, Verification, and Validation

 

ISoLA 2026: October 24–28, 2026
AISoLA 2026: October 27–31, 2026

Kos, Greece

Welcome

ISoLA and AISoLA both provide an open forum for discussions about recent scientific progress and its implications.

ISoLA

ISoLA focuses on rigorous tools for the specification, analysis, verification, certification, construction, test, and maintenance of systems from an application-oriented perspective. Intended contributions are technical, but should also provide a clear vision of practical relevance.

AISoLA

AISoLA aims at establishing an interdisciplinary discourse between researchers with backgrounds like computer science, philosophy, psychology, law, education, economics, and social studies about the impact of the recent advances in AI: What are the opportunities and which risks do we have to deal with and how. The intended program is meant to shed light on the nature of modern AI systems, ways to contain them, and their impact on society. 

 

Important Dates

Category Description Date & Deadlines
Schedule ISoLA 2026 October 24–28, 2026
AISoLA 2026 October 27–31, 2026
Track Proposals Submission deadline January 31, 2026
On-site Proceedings Titles and abstracts March 31, 2026
Paper submission April 15, 2026
Notification of decision May 31, 2026
Final versions June 30, 2026

Presentations & Post-Proceedings

Titles and abstracts May 31, 2026
Paper submission June 15, 2026
Notification of decision July 31, 2026
Final abstracts August 31, 2026

In order to guarantee an adequate dissemination, both symposia supports a very flexible style of publication:

  • LNCS on-site proceedings for ‘mature’ contributions,
  • LNCS post proceedings to provide the opportunity to also reflect the discussion and presentations of preliminary results at AISoLA,
  • Special Issues/Sections in the international journal of Software Tools for Technology Transfer (STTT), and more, e.g., to reach people in other communities.

All contributions, be it for on-site proceedings or just presentations, have to be submitted via the EquinOCS online Service and their respective tracks.

Venue

* * * * *

Mitsis Selection Blue Domes

 

Co-Sponsored by

Special Lufthansa Group airlines fares for flights to Larnaca or Paphos.

Click here for more information