ISoLA 2022
  • Home
  • Conference
    • About
    • Venue
    • Call for Papers
    • Committees
    • Tracks
    • Associated Events
      • STRESS 2022
      • RERS Challenge 2022
      • Doctoral Symposium
      • Tutorial
      • Industrial Day
    • Proceedings
    • Programme
      • Overview
      • ISoLA Program
    • Paper Submission
    • Social Events
  • Accommodation
  • Registration
  • Information
    • About Rhodes
    • Organizing Support
    • Contact
  • Past ISoLAs
    • ISoLA 2021
    • ISoLA 2020 (RSC Track)
    • ISoLA 2018
    • ISoLA 2016
    • ISoLA 2014
    • RERS 2013
    • ISoLA 2012
    • ISoLA 2011
    • ISoLA 2010
    • ISoLA 2009 BIO
    • ISoLA 2009 MED
    • ISoLA 2008
    • ISoLA 2007
    • ISoLA 2006
    • ISoLA 2005
    • ISoLA 2004
Select Page

Proceedings

Will be available until 30 November 2022 .

PART 1
PART 2
PART 3
PART 4

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.

Academic Matters

Tiziana Margaria

Symposium Chair

LERO, The Irish Software Research Centre
tiziana.margaria[at]lero.ie

Bernhard Steffen

Program Chair

Technical University of Dortmund, Germany
steffen[at]cs.uni-dortmund.de

Conference Arrangements

For other matters, including reservations, registration, accommodation etc.

EasyConferences

info@easyconferences.eu
www.easyconferences.eu
T: (+357) 22 591 900
F: (+357) 22 591 700

EasyConferences Ltd