The EURAILCHECK workshop and training courses are reserved to railway
experts upon invitation by the European Railway Agency.
Workshop
Dates: 9 - 10 October 2008 at FBK IRST
Abstract: The aim of this two days workshop is to present and discuss the results of the "Formal verification of ETCS specifications" EURAILCHECK project, response to the Invitation to Tender of the European Railway Agency ERA/2007/ERTMS/OP/01.
Dates: 20 - 24 October, 2008 at FBK-IRST 3 - 7 November, 2008 at FBK-IRST 24 - 28 November, 2008 at FBK-IRST
Abstract: The aim of the five days courses is to give an introduction to the methodology and supporting tool developed during the "Formal verification of ETCS specifications" EURAILCHECK project, response to the Invitation to Tender of the European Railway Agency ERA/2007/ERTMS/OP/01.
WI-FI accounts during the workshop and training courses
During the workshop and the training courses we can provide you a personal
wifi account that works inside the FBK building.
Due to the anti-terrorism italian law, if you need the account please provide us a copy of an ID card (drive license, ID card or passport).
The documentation can be sent by fax to the number:
