Skip to main content

Export Event

Title

IRSE Presidential Programme meeting: Mathematical proof in an automated environment for railway interlockings

Event Type

Technical Paper

Summary

A technical paper to be presented in London by Peter Duggan (Siemens Rail Automation) and Arne Boralv (Prover Technology AB).

Details

NOTE: THIS LECTURE WILL HE HELD AT THE NEWLY REFURBISHED IET HQ IN SAVOY PLACE.
 
Refreshments from 1730hrs, prior to the meeting at 1800hrs.

Section

London HQ

Location

London

Venue

IET, Savoy Place, London, WC2R 0BL

Start Date & Time

08 December 2015 18:00

End Date & Time

08 December 2015 20:00

Book Online

Downloads

2015-12-08 London Technical Paper - Notice.pdf