ISoLa & AISoLA 2026

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

20 – 31 October 2026

Kos, Greece 

Welcome

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

Dates and Deadlines

Schedule

– TBA –

On-Site Proceedings

– TBA –

Abstract for Talks only & Post Proceedings

– TBA –

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