FMICS 2010
Call for Papers
15th International Workshop on
Formal Methods for Industrial Critical Systems
(FMICS 2010)
Antwerp, Belgium
September 20-21, 2010
|
Important dates
| Deadline for abstracts (extended) | 17 April 2010 |
| Deadline for papers (extended) | 25 April 2010 |
| Acceptance notification (extended) | 7 June 2010 |
| Camera-ready version (extended) | 7 July 2010 |
| Workshop | 20-21 September 2010 |
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. These
workshops also strive to promote research and development for the improvement
of formal methods and tools for industrial applications.
Topics include, but are not restricted to:
- Design, specification, code generation and testing based on formal
methods.
- Methods, techniques and tools to support automated analysis, certification,
debugging, learning, optimization and transformation of
complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability (e.g.,
scalability and usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of formal
methods, focusing on lessons learned or identification of new
research directions.
- Impact of the adoption of formal methods on the development process
and associated costs.
- Application of formal methods in standardization and industrial forums.
Invited Speakers
To be confirmed
Program Chairs
| Stefan Kowalewski |
 |
(RWTH-Aachen University) |
| Marco Roveri |
 |
(FBK-irst) |
Program Commitee Members
| Aarti Gupta |
|
(NEC Labs, US) |
| Andreas Podelski |
|
(University of Freiburg, Germany) |
| Andy King |
|
(Portcullis Computer Security) |
| Barbara Jobstman |
|
(VERIMAG, France) |
| Christophe Joubert |
|
(Technical University of Valencia, Spain) |
| Daniel Kroening |
|
(University of Oxford, UK) |
| Diego Latella |
|
(CNR/IST Pisa, It) |
| Dino Distefano |
|
(Queen Mary, University of London, UK) |
| Francois Pilarski |
|
(Airbus, France) |
| Holger Hermanns |
|
(Universität des Saarlandes, Germany) |
| Hubert Garavel |
|
(INRIA Rhône-Alpes, France) |
| Jaco van de Pol |
|
(Universiteit Twente, The Netherlands) |
| Jakob Rehof |
|
(Technische Universität Dortmund, Germany) |
| Juan José Moreno-Navarro |
|
(Universidad Politécnica de Madrid, Spain) |
| Jörg Brauer |
|
(RWTH Aachen, Germany) |
| Lubos Brim |
|
(Masarykova Univerzita, Czech Republic) |
| María Alpuente |
|
(Technical University of Valencia, Spain) |
| Marco Roveri --co chair |
|
(FBK-irst, Italy) |
| Pedro Merino |
|
(Universidad de Málaga, Spain) |
| Radu Mateescu |
|
(INRIA Rhone-Alpes, France) |
| Stefan Kowalewski --co chair |
|
(RWTH Aachen, Germany) |
| Stefania Gnesi |
|
(ISTI-CNR, Italy) |
| Thierry Lecomte |
|
(ClearSy, France) |
| Thomas Kropf |
|
(Bosch, Germany) |
| Thomas Santen |
|
(Microsoft European Innovation Center) |
| Wan Fokkink |
|
(Vrije Universiteit Amsterdam, Netherlands) |
| Wilfried Steiner |
|
(TTTech, Austria) |
ERCIM FMICS WG Coordinator
| Alessandro Fantechi |
|
(Università degli Studi di Firenze and ISTI-CNR, Italy) |
Paper Submission
Submissions must be made electronically through the
EasyChair system.
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.
Case study papers should identify lessons learned, validate
theoretical results (such as scalability of methods), or provide
specific motivation for further research and development.
Co-location
FMICS 2010 is
co-located with the 25th IEEE/ACM International Conference on
Automated Software Engineering
(
ASE-2010).
For the latest information on ASE-2010
visit
http://soft.vub.ac.be/ase2010.
Published by
![[Valid RSS]](../images/valid-rss.png "Validate my RSS feed")