FACS 2022

Invited Speakers

Name: Christel Baier
Affiliation: TU Dresden, Germany

Name: Renato Neves
Affiliation: University of Minho, Portugal

Name: Ina Schaefer
Affiliation: Karlsruhe IT, Germany
Topic: Correctness-by-Construction Engineering - Can we build better software?

Name: Volker Stolz
Affiliation: Norway University of Applied Science, Norway

All Authors