ISoLA 2024: Call for Papers

The International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) is a forum for developers, users, and researchers to discuss the adoption and use of rigorous tools for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

ISoLA Focus

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 Focus

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 recent advances in AI.

Important Dates

• 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
• Doctoral Symposium (Extended Deadlines)
  • 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

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)

All contributions have to be submitted via the EquinOCS online Service and their respective tracks.

ISoLA Tracks

Automated Verification of Hybrid (Discrete and Continuous) Models for Cyber-Physical System Design (AVHM)

Submission: https://equinocs.springernature.com/service/avhm

Automating Software Re-Engineering (ASRE)

Submission: https://equinocs.springernature.com/service/asre

Bridging gaps between program specification paradigms (Specify This)

Submission: https://equinocs.springernature.com/service/specifythis

Digital Twin Engineering (DTE)

Submission: https://equinocs.springernature.com/service/dte

Formal methods for DIStributed COmputing in future RAILway systems (DisCoRail)

Submission: https://equinocs.springernature.com/service/discorail2024

Rigorous Engineering of Collective Adaptive Systems (ReoCAS)

Submission ReoCAS: https://equinocs.springernature.com/service/reocas

Submission ReoCAS Colloquium: https://equinocs.springernature.com/service/reocas-colloquium

Research at ISE (RAISE)

Submission: https://equinocs.springernature.com/service/raise2

Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri)

Submission: https://equinocs.springernature.com/service/scaveri

Type- and Logic-Based Methods for System Specification, Synthesis and Analysis (TLBM3SA)

Submission: https://equinocs.springernature.com/service/tlbm3sa

X-by-Construction Meets AI

Submission: https://equinocs.springernature.com/service/xbc-ai

Doctoral Symposium

More Information: https://2024-isola.isola-conference.org/doctoral-symposium/

Submission: https://equinocs.springernature.com/service/docsym

Venue

ALDEMAR KNOSSOS ROYAL RESORT, Crete

Contact Information

Academic Matters (ISoLA)

Tiziana Margaria (Symposium Chair)
tiziana.margaria[at]lero.ie

Bernhard Steffen (Program Chair)
steffen[at]cs.uni-dortmund.de

Academic Matters (AISoLA)

Bernhard Steffen (Symposium Chair & Program Chair)
steffen[at]cs.uni-dortmund.de

Conference Arrangements

EasyConferences
info@easyconferences.eu
www.easyconferences.eu
T: (+357) 22 591 900
F: (+357) 22 591 700