ISoLA & AISoLA 2024
  • Home
  • ISoLA
    • Tracks (ISoLA)
  • AISoLA
    • Tracks (AISoLA)
  • STRESS
  • Keynotes
  • Programme
  • Proceedings
  • Registration
  • Accommodation
  • Information
    • Venue
    • About Crete
    • Travel Info
    • Organizing Support
    • Contact
    • Related Events
      • ISoLA 2022
      • 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

Contact

Bernhard Steffen

Program and Symposium Chair

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

Conference Arrangements

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

Easy Conferences

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

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

AI is not quite ready for practice. And practice is not quite ready for AI. AISoLA provides a forum for discussing how to responsibly deal with this new potential addressing six concerns.

Academic Matters

Symposium Chair & Program Chair

Bernhard Steffen

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