ISoLA: Call for Papers

The International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) provides 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 from the point of view of their different application domains.

ISoLA 2024 includes the following tracks:

ISoLA Tracks

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

This track is concerned with improving the integration of discrete and continuous models and verification approaches. It will focus on workshop-type presentations, with emphasis on industrial and educational case studies, and tool demonstrations.

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

Automating Software Re-Engineering (ASRE)

This track invites researchers with an active interest in the automation of software re-engineering: People working on formal foundations, on tools, as well as practitioners of re-engineering. We particularly welcome submissions looking at re-engineering of simulation software, digital twins, and of applications in IoT scenarios.

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

Bridging gaps between program specification paradigms (Specify This)

This track welcomes contributions to the ongoing collaborative VerifyThis long-term challenge and offers an opportunity for polished solutions to the VerifyThis on-site competition (associated with ETAPS 2024). It will present and discuss the progress that has been achieved with respect to the perspectives opened up during the Lorentz seminar.

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

Digital Twin Engineering (DTE)

This track will discuss how one can enable the well-founded engineering of dependable digital twins for dependable CPSs. In addition, the plan is to co-locate the track with the general assembly of the INTO-CPS Association and so attract additional participants.

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

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

This track aims at stimulating the discussion between researchers and experts from industry and academia on the intertwining of formal methods and distributed computing in the design and development of innovative train control systems.

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

Rigorous Engineering of Collective Adaptive Systems (ReoCAS)

This track offers a venue for presenting research work aiming at rigorous defining methods to engineer collective adaptive systems in order to face the above outlined challenges. Topics of interest include methods, theories, and machine learning for designing, specifying, and analysing collective adaptive systems and Techniques for programming and operating collective adaptive systems.

• 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)

This track focuses on providing solutions to scalability issues by inviting submissions that propose models, techniques, and tools for the rigorous and scalable analysis and verification of concurrent and distributed systems.

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

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

This workshop is centered around the scientific work of Jakob Rehof in formal models of computation. The workshop’s intention is to bring researchers from computer science from theoretical and applied research together with practitioners, developers, and business stakeholders to discuss R&D topics in this space.

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

X-by-Construction Meets AI

This track focuses on a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties.

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

Doctoral Symposium

• Submission: https://equinocs.springernature.com/service/docsym
• Information: Please find additional information on the detail page.

Important Dates

• Expression of Interest: ASAP
• Submission Deadline: 20.05.2024
• Notification: 01.07.2024
• Final Versions: 29.07.2024
• Draft Submission Deadline (Doctoral Symposium): 29.07.2024
• Notification (Doctoral Symposium): 19.08.2024
• Full Paper Submission (Doctoral Symposium): 09.01.2025
• Notification (Doctoral Symposium): 03.03.2025
• Final Versions (Doctoral Symposium): 07.04.2025

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