SC2 provides an excellent platform to be informed about software-centric systems development in Dutch industry, its challenges and its recent advances. It’s the place to meet the key players in the field.

Joost-Pieter Katoen

Professor of software modeling and verification, RWTH Aachen University