Call for Participation: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002

2002-06-14 Thread Hubert Garavel
** * * CALL FOR PARTICIPATION * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) * * University of

2nd Call for Papers: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002

2002-04-07 Thread Hubert Garavel
[ Apologies for multiple copies ] ** * * --- CALL FOR PAPERS --- * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) *

Call for Papers: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002

2002-01-10 Thread Hubert Garavel
[ Apologies for multiple copies ] ** * * --- CALL FOR PAPERS --- * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) *