posted by user: nicopao || 7603 views || tracked by 24 users: [display]

iFM 2013 : 10th International Conference on integrated Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Integrated Formal Methods
 
Link: http://www.it.abo.fi/iFM2013/
 
When Jun 10, 2013 - Jun 14, 2013
Where Turku, Finland
Abstract Registration Due Jan 10, 2013
Submission Deadline Jan 17, 2013
Notification Due Mar 11, 2013
Final Version Due Mar 31, 2013
Categories    computer science   formal methods
 

Call For Papers

**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)

June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/

**********************************************************************

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 hybrid approaches to formal modeling and analysis; i.e., 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;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports


SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. The conference proceedings will be published by Springer Lecture Notes in Computer Science series. All papers must be original, unpublished, and not submitted for publication elsewhere. All submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Submissions should be made using the iFM 2013 Easychair web site. Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process.

All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date indicated by the organizers, and present the paper.


IMPORTANT DATES
Abstract Submission: January 10, 2013
Paper submission: January 17, 2013
Paper notification: March 11, 2013
Final version paper: March 31, 2013

To celebrate the 10th edition of the iFM conference, we will extend the event in the following two directions:
- We are currently negotiating the publishing of extended versions of the best papers in a formal methods journal, after the conference. This will mark the maturity and significance of the conference theme.
- The iFM conference will be accompanied by two days of workshops and tutorials. The conference will take place during 12-14.6.2013 and the tutorials and workshops right before it, during 10-11.6.2013.

INVITED SPEAKERS
TBA

iFM PROGRAMME COMMITTEE CHAIRS:
Einar Broch Johnsen, University of Oslo, Norway
Luigia Petre, Åbo Akademi University, Finland

iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
Tutorial and Workshop proposal deadline: December 1, 2012

iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland

PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Kaisa Sere, Åbo Akademi University, Finland;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy


**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@easychair.org

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture