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

[PVS] FMICS 2012: 3rd call for papers



With apologies for multiple copies: 

==================================================================== 
 
 
                          Third Call for Papers 
 
 
                               FMICS 2012 
 
 
                     17th International Workshop on 
               Formal Methods for Industrial Critical Systems 
               http://fmt.cs.utwente.nl/conferences/fmics2012/ 
 
 
 
 
 
 
                     August 27/28, 2012, Paris, France 
 
 
                          Co-located with FM 2012 
 
 
==================================================================== 
 
 
Scope 
 
 
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, FMICS brings 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 
strives to promote research and development for the improvement of 
formal methods and tools for industrial applications. 
 
 
Workshop Proceedings will be published in Springer's LNCS series. 
 
 
-------------------------------------------------------------------- 
 
 
Topics of interest include (but are not limited 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. 
 
 
-------------------------------------------------------------------- 
Programme Committee 
* Alessandro Cimatti, FBK, Italy 
* Alessandro Fantechi, University of Florence, Italy 
* Bernard Schaetz, Fortiss, Germany 
* Cindy Eisner, IBM Haifa, Israel 
* Corina Pasareanu, NASA AMES, USA 
* David Parker, University of Oxford, UK 
* Franjo Ivancic, NEC Laboratories America, USA 
* Frederic Lang, INRIA Grenoble Rhone-Alpes, France 
* Georgios Fainekos, Arizona State University, USA 
* Gwen Salaün, INRIA Grenoble Rhone-Alpes, France 
* Holger Hermanns, Saarland University, Germany 
* Jakob Rehof, University of Dortmund, Germany 
* Jan Peleska, University of Bremen, Germany 
* Joost-Pieter Katoen, RWTH Aachen, Germany 
* Judi Romijn, Movares, the Netherlands 
* Juliana Bowles, University of St Andrews, UK 
* John Rushby, SRI International, USA 
* Lubos Brim, Masaryk University, Czech Republic 
* Maria del Mar Gallardo, University of Malaga, Spain 
* Marjan Sirjani, Reykjavik University, Iceland 
* Michael Dierkes, Rockwell Collins, France 
* Michaela Huhn, Technical University Clausthal, Germany 
* Mieke Massink, CNR-ISTI Pisa, It 
* Odile Laurent, Airbus, France 
* Stefan Kowalewski, RWTH Aachen, Germany 
* Stefan Leue, University of Konstanz, Germany 
* Thomas Peikenkamp, Office, Germany 
* Tiziana Margaria, University of Potsdamm, Germany 
 
 
Important Dates 
 
  * Abstract submission: March 28th, 2012 
 
  * Paper submission: April 4th, 2012 
 
  * Notification: May 25th, 2012 
 
  * Final version due: June 8th, 2012 
 
  * Workshop: August 27th-28th, 2012