Working Group on Formal Methods for Industrial Critical Systems



Instituut voor Programmatuur and Algoritmiek



Third International Workshop on Formal Methods for Industrial Critical Systems

CWI, Amsterdam, The Netherlands.

May 25-26, 1998


SCOPE OF THE WORKSHOP

The aim of the FMICS workshops is to provide a forum mainly intended for, but not limited to, researchers of ERCIM sites who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications.

The First International Workshop on Formal Methods for Industrial Critical Systems took place in Oxford on March 19, 1996, and the second edition was held in Cesena on July 4-5, 1997.

The third FMICS workshop will take place in Amsterdam on May 25-26, 1998.

 The third FMICS workshop is sponsored by ERCIM and the Instituut voor Programmatuur en Algoritmiek.


INVITED SPEAKERS


PROGRAMME COMMITTEE

  • J.F. Groote (CWI Amsterdam,NL) (Chair)
  • F. Gnesi (CNR/IEI Pisa, IT)
  • R. Gorrieri (University of Bologna, IT)
  • D. Latella (CNR/CNUCE Pisa, IT)
  • R. Mateescu (CWI Amsterdam, NL)
  • F. Orava (KTH/Teleinformatik, SE)
  • A. Poigne (GMD Bonn, G)
  • R. De Simone (INRIA Sophia Antipolis, FR)
  • J. Tretmans (University of Twente Enschede, NL)

ORGANISING COMMITTEE


PROGRAMME

Monday 25th May, 1998

9:00h. - 9:30h.: Registration + Coffee

9:30h. - 9:45h.: Welcome

9:45h. - 11:15h.: Invited Talks

11:15h. - 11:30h.: Break

11:30h. - 12:30h.: Presentations

12:30h. - 14:00h.: Lunch and Tool Demonstrations

14:00h. - 15:30h.: Presentations

15:30h. - 16:00.: Break

16:00h. - 17:00h.: Presentations

17:00h. - 18:00h.: FMICS yearly meeting.

19:00h. - ...: Diner

Tuesday 26th May, 1998

8:45h. - 9:00h.: Coffee

9:00h. - 10:30h.: Invited Talks

10:30h. - 11:00h.: Break

11:00h. - 12:30h.: Presentations

12:30h. - 14:00h.: Lunch and Tool Demonstrations

14:00h. - 15:00h.: Presentations

15:00h. - 15:30h.: Break

15:30h. - 16:30h.: Presentations

16:30h. - 16:45h.: Closing

TOOL DEMONSTRATIONS


PROCEEDINGS

The Proceedings of FMICS'98 have been published by CWI:

J.F. Groote, S.P. Luttik, J.J. van Wamel (editors)
Proceedings of the Third International Workshop on
Formal Methods for Industrial Critical Systems

CWI, Amsterdam, The Netherlands
May 1998
ISBN 90 6196 480 6
.



This page was created by Bas Luttik (and slightly adapted by Hubert Garavel).


Back to the ERCIM FMICS Home Page