The Coq mailing list

[Martin Leucker <pdmc05 AT in.tum.de>]

FMICS 2006 - CALL FOR PARTICIPATION

Please visit: http://fmics06.informatik.tu-muenchen.de/


**************************************************
* 11th International Workshop on                 *
* Formal Methods for Industrial Critical Systems *
* FMICS 2006                                     *
* 26th-27th of August 2006, Bonn, Germany        *
**************************************************

- FMICS 2006 is co-located with Concur 2006.
- EARLY REGISTRATION ENDS ON 18th of JULY 2006

SCOPE OF THE WORKSHOP
---------------------
The aim of the FMICS workshops is to provide a forum for researchers 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.

INVITED SPEAKERS
----------------
Anna Slobodova, Intel:

  Challenges for Formal Verification in Industrial Setting

Edward A. Lee, Berkeley:

  Making Concurrency Mainstream

PROGRAM & REGISTRATION
----------------------

consult http://fmics06.informatik.tu-muenchen.de/