Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] FMICS 2007 - FINAL CALL FOR PAPERS

argouml
Discussion topic

Back to topic list

[verimag-news] FMICS 2007 - FINAL CALL FOR PAPERS

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-03-25 10:08:45 PDT
Message FMICS 2007 - FINAL CALL FOR PAPERS

Please visit: http://fmics2007.lcc.uma.es/

********************​********************​**********
* 12th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2007 *
* *
* 1-2 July 2007, Berlin, Germany *
* (affiliated with CAV '2007) *
********************​********************​**********

IMPORTANT DATES
---------------
Abstract: 30th of March 2007
Full Paper: 6th of April 2007
Notification of Acceptance: 14th of May 2007
Final version due: 31th of May 2007

SCOPE OF THE WORKSHOP
---------------------

The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, these workshops bring
together scientists and engineers that are active in the area of
formal methods and interested in exchanging their experiences in the
industrial usage of these methods. The FMICS workshop series also aims
at the promotion of research and development in the improvement of
formal methods and related tools facilitating their industrial
application.


Topics include, but are not restricted to:

- Design, specification, code generation and testing with formal
   methods.

- Verification and validation of complex, distributed, real-time
   systems and embedded systems.

- Verification and validation methods that aim at circumventing
   shortcomings of existing methods with respect to their industrial
   applicability.

- Tools for the design and development of formal descriptions.

- Case studies and project reports on formal methods related projects
   with industrial participation (e.g. safety critical systems, mobile
   systems, object-based distributed systems).

- Application of formal methods in standardization and industrial
   forums.


INVITED SPEAKERS
----------------
Gérard Berry (Esterel Technologies, France)
Charles Pecheur (Université Catholique de Louvain, Belgium)


PROGRAMME COMMITTEE
-------------------

Per Bjesse (Synopsys, USA)
Lubos Brim (University of Masaryk, Czech Republic)
Marsha Chechik (University of Toronto, Canada)
Darren Cofer (Rockwell Collins, USA)
Stefania Gnesi (ISTI-CNR, Italy)
Patrice Godefroid (Microsoft Research, USA)
Michael Goldsmith (Formal Systems, UK)
David Harel (Weizmann Institute of Science, Israel)
Connie Heitmeyer (Office of Naval Research, USA)
Leszek Holenderski (Philips Research, Netherlands)
Joost-Pieter Katoen (RWTH Aachen, Germany)
Roope Kaivola (Intel, USA)
Stefan Kowalewski (RWTH Aachen, Germany)
Salvatore La Torre (Universita' degli Studi di Salerno, Italy)
Martin Leucker (TU Munich, Germany)
Stefan Leue (University of Konstanz, Germany), Co-Chair
Radu Mateescu (INRIA Rhône-Alpes, France)
Pedro Merino (University of Malaga, Spain), Co-Chair
David Parker (University of Birmingham, UK)
Charles Pecheur (Université Catholique de Louvain, Belgium)
Francois Pilarski (Airbus, France)
Andreas Podelski (University of Freiburg, Germany)
Jakob Rehof (University of Dortmund, Germany)
John Rushby (SRI International, USA)
Don Sannella (University of Edinburgh, UK)
Ina Schieferdecker (Fraunhofer FOKUS, Germany)
Anna Slovodova (Intel, USA)
Jaco Van de Pol (CWI, Netherlands)
Farn Wang (National Taiwan University, Taiwan)
Willem Visser (SEVEN Networks, USA)


PAPER SUBMISSIONS
-----------------
Submissions must be made electronically through the FMICS 2007 Web
site at URL http://sttt.cs.uni-d​ortmund.de/fmics07/s​ervlet/Conference.

Papers should be up to 16 pages in LNCS format, with the names and
affiliations of the authors and a clear and informative
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 peer-reviewed workshop, symposium, conference
or archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.


PUBLICATION
-----------

Participant's proceedings will be available during the workshop. A
post-workshop proceedings volume will be published by Springer Verlag
in the Lectures Notes in Computer Science series. Revised versions of
selected papers will be invited for a special section of Springer's
International Journal on Software Tools for Technology Transfer
(STTT).

The European Association of Software Science and Technology is
offering an award for the best FMICS 2007 paper.

« Previous message in topic | 1 of 1 | Next message in topic »

Messages

Show all messages in topic

[verimag-news] FMICS 2007 - FINAL CALL FOR PAPERS Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-03-25 10:08:45 PDT
Messages per page: