FMICS'06 Call for Papers

[Martin Leucker]

FMICS 2006 - PRELIMINARY CALL FOR PAPERS

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.

IMPORTANT DATES
---------------
Abstract:			26th of May 2006
Full Paper:			 2nd of June 2006
Notification of Acceptance:	10th of July 2006
Final version due: 		25th 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
Edward A. Lee, Berkeley

PROGRAMME COMMITTEE
-------------------
Lubos Brim (Masaryk Univ., Czech Republic)  Co-Chair
Rance Cleaveland (University of Maryland, USA)
Wan Fokkink (Vrije Universiteit Amsterdam & CWI, The Netherlands)
Stefania Gnesi (ISTI-CNR, Italy)
Susanne Graf (VERIMAG, France)
David Harel (Weizmann Institute of Science, Israel)
Klaus Havelund (Kestrel Technology, USA)
Thomas A. Henzinger (EPFL, Switzerland)
Leszek Holenderski (Philips Research, The Netherlands)
Stefan Kowalewski (RWTH Aachen, Germany)
Marta Kwiatkowska (University of Birmingham, UK)
Salvatore La Torre (Universita' degli Studi di Salerno, Italy)
Martin Leucker (TU München, Germany) 	Co-Chair
Tiziana Margaria (University of Göttingen, Germany)
Radu Mateescu (INRIA Rhône-Alpes and ENS Lyon, France)
Doron Peled (University of Warwick, UK)
Ernesto Pimentel (University of Malaga, Spain)
Andreas Podelski (Max-Planck-Institut für Informatik, Germany)
Don Sannella (University of Edinburgh, UK)
Joseph Sifakis (VERIMAG, France)


PAPER SUBMISSIONS
-----------------
Submissions must be made electronically through the FMICS Web site. There 
are two categories of submissions:

A. Regular papers: Papers should be up to 16 pages in LNCS format, with a 
clear abstract. Additional details may be included in a clearly marked 
appendix, which will be read at the discretion of the program committee. 
All submissions must report on original research. Submitted papers must 
not have previously appeared in a journal or conference with published 
proceedings and must not be concurrently submitted to any other 
conference. Any partial overlap with any such published or concurrently 
submitted paper must be clearly indicated.

B. Tool presentations: Submissions, not exceeding 4 pages using LNCS 
format, should describe the implemented tool and its novel features. A 
demonstration is expected to accompany a tool presentation.


PUBLICATION
-----------
Accepted regular and tool papers will be published after the meeting
jointly with accepted papers from PDMC'06 in an LNCS volume.

As last year, the European Association of Software Science and Technology
will be offering an award to the best FMICS paper.