STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
Tue 10 Jun 2025 09:15 - 09:30 at M 001 - ECMFA Opening

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA OpeningECMFA at M 001
09:00
15m
Day opening
STAF - Opening Session
ECMFA
Ralf Laemmel University of Koblenz
09:15
15m
Day opening
ECMFA - Opening Session
ECMFA
C: Robbert Jongeling Mälardalen University, C: Sébastien Mosser McMaster University
09:30
60m
Keynote
Formal Modeling and Verification of Safety-Critical Systems
ECMFA
Matthias Volk TU Eindhoven