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.