ISoLA: Leveraging Applications of Formal Methods



Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ISOLA 2016 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Oct 5, 2016 - Oct 14, 2016 Corfu May 2, 2016 (Apr 25, 2016)
ISOLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Oct 18, 2010 - Oct 20, 2010 Heraclion, Crete Mar 28, 2010

Present CFP : 2016

The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to 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. To bridge the gap between designers and developers of (formal methods based) rigorous tools, and users in engineering and in other disciplines, it fosters and exploits synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers.

In particular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems and users in their search of adequate solutions to their problems. Applications and case studies with a conceptual message and experience papers with a clear link to tool construction are all encouraged.

The Symposium features invited Thematic tracks and sessions containing Research, Survey, Experience, Panel and Tool contributions on the:

Use of Techniques for Application Areas

*Deduction and model-checking
*System construction and transformation
*Program analysis and verification
*Composition and refinement
*Testing and test-case generation
*Hybrid and safety-critical systems
*Model-based testing and automata learning
*Automotive and mechanical engineering
*Biomechanics, biocomputing
*Electrical engineering, embedded systems, and controllers
*Healthcare and ambient assisted living
*Telecommunications, Internet applications, mobile computing
*Transportation and aviation
*Transformation & processing-oriented industries
*Machine Automation

Track Themes and Thematic Sessions

*Correctness-by-Construction and Post-hoc Verification: friends or foes?
*Static and Runtime Verification: Competitors or Friends?
*Testing the Internet of Things
*Rigorous Engineering of Collective Adaptive Systems
*RVE: Runtime Verification and Enforcement, the (industrial) application perspective
*ModSyn-PP: Modular Synthesis of Programs and Processes
*Variability modelling for scalable software evolution
*Statistical Model Checking
*Detecting and Understanding Software Doping
*Formal Methods and Safety Certification: Challenges in the Railways Domain
*Semantic heterogeneity in the formal development of complex systems

Associated Events

*"International School on Tool-based Rigorous Engineering of Software Systems “-STRESS 2016
*Challenge on Rigorous Examination of Reactive Systems (RERS 2016)
*Doctoral Symposium with Poster Session and Postconference Proceedings in Springer’s CCIS
*Industrial Day


*All accepted contributions will be published in the Symposiums’ LNCS Proceedings (Springer Verlag). Selected contributions will be invited to the Innovations in *Systems and Software Engineering: A NASA Journal (Springer Verlag, London), to *Thematic Sections in STTT (Springer Verlag, Heidelberg) or to the newly founded LNCS Transactions on Foundations for Mastering Change (FoMaC).


*Abstract Submission: 25 Apr, 2016
*Paper Submission: 15 Apr, 2016 02 May, 2016
*Notification: 31 May, 2016 10 Jun, 2016
*Final Version: 10 Jul, 2016
*Early Registration: TBA

Related Resources

HVC 2017   Haifa Verification Conference
LICS 2018   Logic in Computer Science
FM 2018   22nd International Symposium on Formal Methods
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
IJESA 2017   International Journal of Embedded Systems and Applications
SOFL+MSVL 2017   The 7th international workshop on SOFL+MSVL
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
ICFEM 2017   19th International Conference on Formal Engineering Methods
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)