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:
- 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
- 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
- Tutorial: Automata Learning in Practice
- 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).
25 Apr, 2016
Paper Submission
Notification
Final Version
10 Jul, 2016
Early Registration
25 August, 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
STRESS 2016
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
