Events are open to IET members and any other colleagues wishing to attend.
Pre-registration is required as limited capacity is
available and/or to comply with the security policy stipulated by the hosting
organisation. Please complete the form below for each person wishing to attend, pressing the save button to register your request.
Formal Verification of Railway Signalling - from Academia to Industry
Date/Time:
Wednesday 19th February 2025 @ 6:30 PM
Details:
"How do we prove that railway signalling is fundamentally safe? Come to this lecture to find out."
Event Tags: | #IET #Bristol #Engineering |
Use this form to request a place at Formal Verification of Railway Signalling - from Academia to Industry
It's quick, easy and gives instant notification that your request has been sent to the event organisers. Please note that you must submit a separate request for each person wishing to attend, pressing the submit button to register your request.