ISOLA 2016 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Website http://www.isola-conference.org/isola2016/ | Edit Freely

Category Leveraging Applications Of Formal Methods, Verification And Validation

Deadline: May 02, 2016 | Date: October 05, 2016-October 14, 2016

Venue/Country: Corfu, Greece

Updated: 2016-04-21 22:27:13 (GMT+9)

Call For Papers - CFP

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

Publication

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

Deadlines

Abstract Submission: 25 Apr, 2016

Paper Submission: 02 May, 2016

Notification: 10 Jun, 2016

Final Version: 10 Jul, 2016

Early Registration: TBA