[ecoop-info] Integrated Formal Methods 2014 - First Call for Papers

Emil Sekerinski emil at mcmaster.ca
Fri Feb 21 18:16:03 CET 2014

11th International Conference on integrated Formal Methods, iFM 2014

Co-located with the 11th International Symposium on  Formal Aspects of
Component Software, FACS 2014

September 9 - 12, 2014 - Bertinoro, Italy


- Abstract Submission: April 17, 2014
- Paper submission: April 25, 2014
- Paper notification: June 6, 2014
- Final version paper: June 27, 2014

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 

iFM 2014 is organized by the University of Bologna and will take
place at the Centro Residenziale Universitario in Bertinoro, a small
medieval hilltop town 50km east of Bologna.

iFM 2014 will have four keynote speakers jointly with FACS 2014.

The best papers from iFM 2014 will be invited for a special issue,
complemented by an open call for papers, and undergo a separate
peer-review process according to the usual scientific standards of
the journal. Details will be announced.

There are two days of workshops and tutorials. iFM will take place
September 9 - 11, 2014, FMCO will take place September 10 - 12, and
the tutorials and workshops on September 9 and September 12:
- Harnessing Theories for Tool Support in Software (TTSS)
- Logics and Model-checking for Self-* Systems (MOD*)
- Tools and Methods for Cyber-Physical Systems of Systems
- ENVISAGE Contracts for SLAs
For details, see the web page or contact the Workshop Chair.

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 2014
Easychair web site:


All accepted papers must be presented at the conference. The 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. 

- Gianluigi Zavattaro, University of Bologna, Italy

- Elvira Albert, Complutense University of Madrid, Spain
- Emil Sekerinski, McMaster University, Canada

- Elena Giachino, University of Bologna, Italy

- Erika Abraham, RWTH Aachen University, Germany
- Clara Benac, Technical University of Madrid, Spain
- Ana Cavalcanti, University of York, UK
- Frank de Boer, CWI Amsterdam, Netherlands
- Eerke Boiten, University of Kent, UK
- Michael Butler, University of Southampton, UK
- David Déharbe, Federal University of Rio Grande do Norte, Brazil
- John Derrick, University of Sheffield, UK
- Marc Frappier, University of Sherbrooke, Canada
- Elena Giachino, University of Bologna, Italy
- Susanne Graf, Verimag, France
- John Hatcliff, Kansas State University, USA
- Einar Broch Johnsen, University of Oslo, Norway
- Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
- Laura Kovács, Chalmers University of Technology, Sweden
- Diego Latella, National Research Council, Pisa, Italy
- Stefan Leue, University of Konstanz, Germany
- Shaoying Liu, Hosei University, Japan
- Dominique Mery, LORIA and University of Lorraine, France
- Antoine Mine, Ecole Normale Supérieur, France
- Luigia Petre, Åbo Akademi University, Finland 
- Guillermo Román Díez, Technical University of Madrid, Spain
- Fernando Rosa, Complutense University of Madrid, Spain
- Augusto Sampaio, University of Pernambuco, Brazil
- Thomas Santen, European Microsoft Innovation Center, Germany
- Steve Schneider, University of Surrey, UK
- Graeme Smith, University of Queensland, Australia
- Kenji Taguchi, AIST, Japan
- Tayssir Touili, University Paris Diderot, France
- Helen Treharne, University of Surrey, UK 
- Jüri Vain, Tallinn University of Technology, Estonia
- Heike Wehrheim, University of Paderborn, Germany
- Peter Wong, Fredhopper B.V.

More information about the ecoop-info mailing list