Welcome to the conference service of ISoLA2020

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:9th International Symposium on Leveraging Applications
Description: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.
PC Chairs:Tiziana Margaria
Bernhard Steffen
Conference flow:Abstract Submission: September 2, 2020 23:59 CEST,
Paper Upload: September 5, 2020 23:59 CEST,
Assignment of Reviewers: September 21, 2020 23:59 CEST,
Review: October 12, 2020 23:59 CEST,
Decision: October 15, 2020 23:59 CEST,
Final: October 23, 2020 23:59 CEST

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair

  • Submit abstract
    arrow

    Submit abstract