Stress 2026

Masterclass Session

Schedule

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