Working Group on Formal Methods for Industrial Critical Systems



Fourth International Workshop on Formal Methods for Industrial Critical Systems

Trento (Italy)

July 11-12 1999

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, the second edition was held in Cesena on July 4-5, 1997, and the third FMICS workshop took place in Amsterdam on May 25-26, 1998.

A special issue (Vol.12 n. 2) of the International Journal on Formal Methods in Systems Design, by Kluwer Academic Publishers, was dedicated to FMICS1. A selection of the papers presented at FMICS2 and FMICS3 will appear in two special issues of Formal Aspects of Computing, by Springer-Verlag.

The Fourth International Workshop on Formal Methods for Industrial Critical Systems will take place in Trento on July 11-12, 1999, as a satellite meeting of FLoC'99.


INVITED SPEAKERS

  • J. Cuellar (SIEMENS, Munich, DE)
  • J. Tretmans (Univ. of Twente, Enschede, NL)

PROGRAMME COMMITTEE

  • J. Bicarregui (CLRC, Abington, UK)
  • H. Garavel (INRIA Rhone-Alpes, FR)
  • S. Gnesi (CNR/IEI, Pisa, IT), Chair
  • F. Giunchiglia (IRST, Trento, IT)
  • J.F. Groote (CWI, Amsterdam, NL)
  • J.P. Katoen (Univ. of Erlangen, DE)
  • R. Langerak (Univ. of Twente, Enschede, NL)
  • D. Latella (CNR/CNUCE, Pisa, IT), Chair
  • J. Parrow (SICS, Stocholm, SE)
  • A. Poigne (GMD, Bonn, DE)
  • I. Schieferdecker (GMD/FOKUS, Berlin, DE)
  • R. de Simone (INRIA Sophia Antipolis, FR)

ORGANISING COMMITTEE

  • A. Villafiorita (IRST Trento, IT - local organization)
  • D. Latella (CNR/CNUCE Pisa, IT)
  • S. Gnesi(CNR/IEI Pisa, IT)

PROGRAMME

Sunday 11th July, 1999

9:15h. - 10:00h.: Invited talk

10:00h. - 10:30h.: Coffee break

10:30h. - 12:30h.:

12:30h. - 14:00h.: Lunch

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

15:30h. - 16:00h.: Coffee break

16:00h. - 17:30h.:

17:30h. - 18:30h.: ERCIM-FMICS group meeting

19:30h. - 23:00h.: Workshop dinner

Monday 12th July, 1999

9:15h. - 10:00h.: Invited talk

10:00h. - 10:30h.: Coffee break

10:30h. - 12:00h.:

12:00h. - 13:00h.: System demonstrations

13:00h. - 14:00h.: Lunch and end of the workshop


Back to the ERCIM FMICS Home Page