[Caml-list] integrated Formal Methods (iFM 2013): Last Call for Papers

LAST CALL FOR PAPERS

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

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

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

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


OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects of a
system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different 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


INVITED SPEAKERS
iFM 2013 will have the following keynote speakers:

- Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
- Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities
- Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts
- Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata


SPECIAL ISSUES
To celebrate the 10th edition of iFM, there will be special issues of
the Springer journals

- Formal Aspects of Computing
- Software and Systems Modeling

The best papers from iFM 2013 will be invited for these special
issues, complemented by an open call for papers, and undergo a
separate peer-review process according to the usual scientific
standards of these journals.


WORKSHOPS AND TUTORIALS
There will be two days of workshops and tutorials before the iFM
conference. The conference will take place June 12-14, 2013 and the
tutorials and workshops June 10-11, 2013. We are happy to announce the
following workshops and tutorials that will accompany iFM 2013:

- CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes
Website: http://combio.abo.fi/compmod13/
Organiser: Ion Petre, Åbo Akademi University, Finland

- The 11th Overture Workshop
Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop
Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK

- Rodin User and Developer Workshop 2013
Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013
Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of Düsseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, Åbo Akademi University

- FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems
Website: to be announced
Organisers: Jüri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, Åbo Akademi University, Finland

- BCS FACS 2013 Refinement Workshop 2013
Website: http://www.refinenet.org.uk/ref13/cfp.html
Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ

- Tutorial: Specification and Proof of Programs with Frama-C
Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST)


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 in
Springer's Lecture Notes in Computer Science series. All submissions
must be original, unpublished, and not submitted for publication
elsewhere. 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). Papers should
not exceed 15 pages in length. Each paper will undergo a thorough
review process. Submissions should be made using the iFM 2013
Easychair web site:

https://www.easychair.org/account/signin.cgi?conf=ifm2013

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, to be indicated by the organizers, and present the paper.


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

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;
- Jin Song Dong, National University of Singapore, Singapore;
- 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;
- 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@abo.fi





--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs