Tuesday 6th October
	09.15 - 10.00	Invited presentation (Chair: J. Gorski)
		From 'Earn as You Learn' to 'Profit by Safety': Homage to the Quack - B.A. de Mol, TU Delft, Netherlands
	10.00 - 10.40	EWICS (Chair: H.Frey)
		Presentation of the European Workshop on Industrial Computer Systems and its sub groups - several Short Presentations
	10.40 - 11.10	Coffee
	11.10 - 12.40	Formal Methods II - Languages and Verification (Chair: S. Wittmann)
		Towards Automated Proof of Fail-Safe Behaviour - P. Liggesmeyer and M. Rothfelder
		Verifying a Time-triggered Protocol in a Multi-language Environment - A. Merceron, M. Müllerburg and G.M. Pinna
		Methods and Languages for Safety-Related Real-Time Programming - W.A. Halang and A.H. Frigeri
	12.40 - 13.40	Lunch
	13.40 - 15.10	Applications I (Chair: J. Rainer)
		A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools - P. Bertoli, A. Cimatti, F. Giunchiglia and P. Traverso
		Applying Formal Methods in Industry - The UseGat Project - S. Bologna, R. Bove, G. Dipoppa, G. Biondi, G. Mongardi, C. Porzia, N. Kirkegaard and B.G. Mortensen
		Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture - Th. Ringler, J. Steiner, R. Belschner and B. Hedenetz
	15.10 - 15.40	Coffee
	15.40 - 17.10	Applications II (Chair: E. Schoitsch)
		Distributed Fault-tolerant and Safety-critical Application in Vehicles - A Time-triggered Approach - E. Dilger, T. Führer and B. Müller
		Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System - A. Cimatti, F. Giunchiglia, G. Mongardi, D. Romano, F. Torielli and P. Traverso
		EURIS: a Distributed Specification Method for Interlockings - W. Fokkink, G. Kolk and B.v.Vlijmen
	19.30	Banquet
	Proceedings: Lecture Notes in Computer Science Proceedings: (Springer, Verlag) Proceedings: Contact: A. Washington