[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FMICS 2010: Call for Papers (deadline extended)

------- Apologies for multiple copies -------

*                   15th International Workshop on                   *
*           Formal Methods for Industrial Critical Systems           *
*                             FMICS 2010                             *
*                 http://es.fbk.eu/events/fmics2010                  *
*                                                                    *
*                       September 20-21, 2010                        *
*                          Antwerp, Belgium                          *

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


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,  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.

To be announced

Stefan Kowalewski           (RWTH-Aachen, Germany)
Marco Roveri                (FBK-irst, Italy)


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         (ETH Zürich, Switzerland) 
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) 
J. José Moreno-Navarro  (Universidad Politécnica de Madrid, Spain) 
Jörg Brauer             (RWTH Aachen, Germany) 
Lubos Brim              (Masarykova Univerzita, Czech Republic) 
Maria Alpuente          (Technical University of Valencia, Spain) 
Marco Roveri            (FBK-irst, Italy) 
Pedro Merino            (Universidad de Málaga, Spain) 
Radu Mateescu           (INRIA Rhone-Alpes, France) 
Stefan Kowalewski       (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) 

Alessandro Fantechi (Univ. degli Studi di Firenze and ISTI-CNR, Italy)

Submissions must be made electronically.

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.

Workshop proceedings will be published in the Springer series Lecture
Notes in Computer Science (LNCS).

FMICS  2010  is  co-located   with  the  25th  IEEE/ACM  International
Conference    on    Automated    Software   Engineering    (ASE-2010).
For latest information on ASE 2010, please visit