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 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.


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

Dates and Deadlines


  • STRESS: 22-25.10.2024
  • ISoLA: 27-31.10.2024
  • AISoLA: 30.10-03.11.2024

On-Site Proceedings

  • Expression of Interest: ASAP
  • Submission Deadline: 20.05.2024
  • Notification: 01.07.2024
  • Final Versions: 29.07.2024

Abstract for Talks only & Post Proceedings

  • Expression of Interest: ASAP
  • Draft Submission Deadline: 29.07.2024
  • Notification: 19.08.2024
  • Full Paper Submission: 09.01.2025
  • Notification: 03.03.2025
  • Final Versions: 07.04.2025

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.




Co-Sponsored by

The Lufthansa group has agreed to sponsor our conference and will be offering discounts for flights to Heraklion

Special Lufthansa Group airlines fares

The Lufthansa Group airlines bring people together – every day, all around the world. The global route network of Austrian Airlines, Lufthansa, SWISS, Brussels Airlines and Eurowings offers optimal connection and combination options, so you will benefit from quick and direct flights to the event.

You will reach the booking platform via this link and with the event code CYAPQFC. The reduced fares are automatically displayed.

NB: Please enable pop-ups permanently in your browser while booking, otherwise the window in the booking platform will not open.