posted by user: jyotirmoy || 2012 views || tracked by 3 users: [display]

iFM 2010 : integrated Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Integrated Formal Methods
 
Link: http://ifm2010.loria.fr/
 
When Oct 11, 2010 - Oct 14, 2010
Where Nancy, France
Abstract Registration Due May 14, 2010
Submission Deadline May 21, 2010
Notification Due Jul 4, 2010
Final Version Due Jul 18, 2010
 

Call For Papers

Objectives and Scope

Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Areas of interest include but are not limited to:
Formal and semiformal modelling notations | Semantics | Verification | Model checking | Static analysis | Theorem proving | Refinement | Model transformations | Integration of formal methods into software engineering practice | Type systems | Logics | Tools | Experience reports | Case studies

Besides a program of contributed papers the conference will feature a number of workshops and tutorials.
Invited Speakers
to be announced
Conference Location

iFM 2010 is organized by INRIA Nancy-Grand Est and will take place at the LORIA laboratory for computer science on the campus of the Faculty of Sciences of Nancy University on October 11-14, 2010.
Submission Guidelines

iFM 2010 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. All papers must be original, unpublished, and not submitted for publication elsewhere. Submission will be electronically as PDF or Postscript, using the Springer LNCS format. Papers should not exceed 15 pages in length, Each paper will undergo a thorough review process. The conference proceedings will be published by Springer Verlag in the LNCS series. A call for a special issue of a high-quality journal corresponding to selected conference papers is planned.
Program committee
Dominique Méry (U. Nancy, F, co-chair) Stephan Merz (INRIA Nancy, F, co-chair)

Yamine Aït-Ameur (ENSMA Poitiers, F) Jean-Paul Bodeveix (U. Toulouse, F)
Bernard Boigelot (U. Liège, B) Eerke Boiten (U. Kent, UK)
Jim Davies (U. Oxford, UK) David Déharbe (UFRN Natal, BR)
John Derrick (U. Sheffield, UK) Wan Fokkink (VU Amsterdam, NL)
Martin Fränzle (U. Oldenburg, D) Andy Galloway (U. York, UK)
Hubert Garavel (INRIA Grenoble, F) Diego Latella (CNR Pisa, I)
Stefan Leue (U. Konstanz, D) Michael Leuschel (U. Düsseldorf, D)
Heiko Mantel (TU Darmstadt, D) Jun Pang (U. Luxembourg, LU)
David Pichardie (INRIA Rennes, F) Wolfram Schulte (Microsoft, US)
Graeme Smith (U. Queensland, AUS) Jin Song Dong (U. Singapore, SG)
Martin Steffen (U. Oslo, N) Kenji Taguchi (NII Tokyo, JP)
Helen Treharne (U. Surrey, UK) Elena Troubitsyna (Åbo Akademi, FIN)
Heike Wehrheim (U. Paderborn, D)

Related Resources

FM 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
CONCUR 2018   29th International Conference on Concurrency Theory
RAMiCS 2018   Relational and Algebraic Methods in Computer Science
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
IJESA 2017   International Journal of Embedded Systems and Applications
FMA 2018   Call for papers: 4th International Symposium Formal Methods in Architecture
ICIIC--IEEE Xplore, Ei 2018   2018 International Conference on Integrated Intelligent Computing (ICIIC 2018)--IEEE Xplore, Ei Compendex and Scopus
Emerging trends in ML@ESANN 2018   [Deadline Extended] Special Session - Emerging trends in machine learning: beyond conventional methods and data