posted by user: saurabhs || 2781 views || tracked by 19 users: [display]

FMICS 2009 : 14th International Workshop on Formal Methods for Industrial Critical Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Methods for Industrial Critical Systems
 
Link: http://www.dsic.upv.es/workshops/fmics2009
 
When Nov 2, 2009 - Nov 3, 2009
Where Eindhoven, The Netherlands
Abstract Registration Due Apr 1, 2009
Submission Deadline Apr 7, 2009
Notification Due Jun 15, 2009
Final Version Due Jul 15, 2009
Categories    formal methods   industrial systems   verification   design, specification, testing
 

Call For Papers


FMICS 2009 - FIRST CALL FOR PAPERS
Please visit: http://www.dsic.upv.es/workshops/fmics2009

**************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
**************************************************

IMPORTANT DATES
---------------
Deadline for abstracts: 1st April
Deadline for papers: 7 April
Accept/Reject notification: 15 June
Camera-ready version: 15 July
Workshop: 2-3 November

SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM 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 announced

CO-CHAIRS
---------
Maria Alpuente (Technical University of Valencia, Spain)
Byron Cook (Microsoft Research, UK)

PROGRAM COMMITTEE
-------------------
Hassan Ait-Kaci (Ilog, Canada)
Maria Alpuente (Technical University of Valencia, Spain)
Thomas Arts (IT-Universitetet i Goteborg, Sweden)
Demis Ballis (Universita degli Studi di Udine, Italy)
Josh Berdine (Microsoft Research, UK)
Lubos Brim (Masarykova Univerzita, Czech Republic)
Darren Cofer (Rockwell Collins, USA)
Byron Cook (Microsoft Research, UK)
Patrick Cousot (Ecole Normale Superieure, France)
Santiago Escobar (Technical University of Valencia, Spain)
Azadeh Farzan (University of Toronto, Canada)
Hubert Garavel (INRIA Rhone-Alpes, France)
Stefania Gnesi (ISTI-CNR, Italy)
Alexey Gotsman (University of Cambridge, UK)
Holger Hermanns (Universitat des Saarlandes, Germany)
Christophe Joubert (Technical University of Valencia, Spain)
Daniel Kroening (ETH Zurich, Switzerland)
Michael Leuschel (Heinrich-Heine-Universitat Dusseldorf, Germany)
Pedro Merino (Universidad de Malaga, Spain)
Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain)
Corina Pasareanu (NASA Ames Research Center, USA)
Jaco van de Pol (Universiteit Twente, The Netherlands)
Murali Rangarajan (Honeywell, USA)
Jakob Rehof (Technische Universitat Dortmund, Germany)
Andrey Rybalchenko (Max-Planck-Gesellschaft, Germany)
Marcel Verhoef (Chess, The Netherlands)
Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Hongseok Yang (Queen Mary, University of London, UK)
Greta Yorsh (IBM T.J. Watson Research Center, USA)

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi (Universita degli Studi di Firenze and
ISTI-CNR, Italy)

WORKSHOP CHAIR
--------------
Christophe Joubert (Technical University of Valencia, Spain)

PAPER SUBMISSIONS
-----------------
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.

Publication of the workshop proceedings in the Springer series Lecture No tes in Computer Science (LNCS) is envisaged.

CO-LOCATION
-----------
FMICS 2009 is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including FM 2009 (16th symposium on Formal Methods), TESTCOM/FATES (conference on Testing of Communicating Systems and workshop on Formal Approaches to Testing of Software), FORMATS (Formal Modelling and Analysis of Timed Systems), PDMC (Parallel and Distributed Methods of verifiCation), and the REFINE Workshop. For the latest information on FMweek, please visit http://www.win.tue.nl/fmweek.

Related Resources

LICS 2018   Logic in Computer Science
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
FM 2018   22nd International Symposium on Formal Methods
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
CONCUR 2018   29th International Conference on Concurrency Theory
IJESA 2017   International Journal of Embedded Systems and Applications
RAMiCS 2018   Relational and Algebraic Methods in Computer Science
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
IMDA 2018   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING