We plan to offer a small number of “mini tutorials” on the morning of Tuesday 4th June, before the main conference starts at lunch-time that day. As details are confirmed they will be added to this page.

Tutorial: SafeCap automated formal verification of railway signalling interlocking

Presenters: Dominic Taylor (SYSTRA) and Alexei Iliasov (Newcastle University, UK)