iFM 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
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
CONFERENCE LOCATION
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.
INVITED SPEAKERS
iFM 2014 will have four keynote speakers jointly with FACS 2014.
SPECIAL ISSUE
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.
WORKSHOPS AND TUTORIALS
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.
GENERAL CHAIR
- Gianluigi Zavattaro, University of Bologna, Italy
iFM PROGRAMME COMMITTEE CHAIRS:
- Elvira Albert, Complutense University of Madrid, Spain
- Emil Sekerinski, McMaster University, Canada
FMCO and iFM WORKSHOP CHAIR
- Elena Giachino, University of Bologna, Italy
iFM PROGRAM COMMITTEE
- 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 Deharbe, 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 Kovacs, 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 Superieur, France
- Luigia Petre, Abo Akademi University, Finland
- Guillermo Roman Diez, 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
- Juri Vain, Tallinn University of Technology, Estonia
- Heike Wehrheim, University of Paderborn, Germany
- Peter Wong, Fredhopper B.V.