On October 23, 2023, Mark Bouwman will defend his thesis titled ‘Supporting Railway Standardisation with Formal Verification’, which is available via https://research.tue.nl/en/publications/supporting-railway-standardisation-with-formal-verification. The defence marks a milestone in the FormaSig project, a collaboration between TU/e, UT, ProRail and Deutsche Bahn.