» ISoLA 2014 »RERS 2013 »ISoLA 2012 »ISoLA 2011 »ISoLA 2010 »2009 ISoLA Bio »2009 ISoLA Med »ISoLA 2008 »ISoLA 2007 »ISoLA 2006 »ISoLA 2005 » ISoLA 2004
ISoLA 2016

7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation


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
  • 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
For Application Areas
  • 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
ISoLA Week
The ISoLA Week, comprised of STRESS 2016, RERS 2016, a Doctoral Symposium, an Industrial Day and the ISoLA conference, runs from the 5th until the 14th of October, 2016.

Associated Events

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

ISoLA Week Schedule
05-09 Oct. 2016 STRESS
10-14 Oct. 2016 ISoLA Symposium

ISoLA 2016 Deadlines
Abstract Submission
25 Apr, 2016
Paper Submission
15 Apr, 2016 02 May, 2016
31 May, 2016 10 Jun, 2016
Final Version
10 Jul, 2016
Early Registration
25 August, 2016

Latest News
Oct 05, 2016
Proceedings and latest FoMaC volume available online

Sep 30, 2016
Registration closed

Sep 27, 2016
Conference program updated

Aug 18, 2016
Preliminary program now available

June 07, 2016
Registration is now open

May 17, 2016
Social events and Travel Information have been added

May 16, 2016
Registration fees and accommodation prices have been added

May 06, 2016
Associated events have been updated
RERS Challenge 2016

Apr 13, 2016
Deadlines updated

Mar 30, 2016
New track added - Learning Systems: Machine-Learning in Software Products and Learning-based Analysis of Software Systems
View tracks

Feb 18, 2016
New track added - Towards a Unified View of Modeling and Programming
View tracks

Feb 17, 2016
Submission site added under Submission Details

Feb 03, 2016
Doctoral Symposium information added under Associated Events

Jan 15, 2016
The conference website is now online

Jan 07, 2016
Important Dates updated

Dec 17, 2015
Venue information now available
Call for Papers added
Accommodation info added

Dec 16, 2015
Track information updated
Deadlines added
Committees area created
Co-Sponsored By