Associated Events

  • International School on Tool-based Rigorous Engineering of Software Systems - STRESS 2016

    The International School on Tool-based Rigorous Engineering of Software Systems (STRESS) series aims to provide top-quality lectures and innovative pedagogical material that provide young researchers with:

    - Instructions in existing and emerging formal methods and software engineering techniques that are tool-supported and process-oriented
    - Insights into how software is developed in the real world, including emphasis on domains such as safety/mission-critical software and embedded systems where the development effort associated with tool-based formal methods promises greatest returns
    - Case-studies and example domains in which formal methods have been successfully transitioned into actual development along with insights in how to bridge the gap between research tools and actual development processes
    - Additional pedagogical resources and personal contacts that they can explore for the purpose of increasing the impact of their research.

    For more information visit the STRESS 2016 website.

  • Challenge on Rigorous Examination of Reactive Systems 2016

    The RERS Challenge 2016 is the 6th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with ISoLA 2016. The event will be held in October 2016, in Corfu, Greece. RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools.

    The main aims of RERS 2016 are to :

    - Encourage the combination of usually different research fields for better software verification results
    - Provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches
    - Initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools

    For more information visit the RERS 2016 website.

  • Doctoral Symposium with Poster Session and Postconference Proceedings

    ISoLA 2016 will host a Doctoral Symposium as a scientific and networking event specifically for young researchers. Master and PhD students are invited to participate and present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research.

    The Doctoral Symposium will be held as combination of poster sessions and short presentations. Posters will be on display all along the ISoLA symposium, and generous coffee breaks will offer plenty of time for elaborate discussions of the posters. Additionally there will be a Doctoral Symposium session in the conference program, where all participants get the opportunity to give a 5-10 min flash presentation of their work.

    Click here for more information on how to participate.

  • Tutorial: Automata Learning in Practice

  • Industrial Day