Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Integrated Formal Methods, 10t...

Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Einar Broch Johnsen, Luigia Petre (Eds.), Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, Lecture Notes in Computer Science 7940, Springer, 2013.

Abstract:

Preface
Formal methods allow the modeling and analysis of various aspects of a complex system. Modeling languages differ in the system aspects they target, for which models can be naturally and succinctly developed. Numerous techniques address model analysis in these languages, specialized for different kinds of properties. Applying formal methods to complex systems often involves combining several models in different languages and exploiting the strengths of many analysis techniques.
The integrated Formal Methods (iFM) conference series seeks to further research into hybrid approaches to formal modeling and analysis, and into the combination of (formal and semi-formal) modeling and analysis methods in all
aspects of software development from language design through verification and analysis techniques to tools and their integration into software engineering practice. This volume includes the articles presented at the 10th edition of iFM.

The 10th International Conference on integrated FormalMethods (iFM 2013) was held during June 12-14, 2013, in Turku, Finland. The conference was organized by the Department of Information Technologies at Åbo Akademi University. Previous editions of iFM were held in York, UK (1999), Schloss Dagstuhl, Germany (2000), Turku, Finland (2002), Kent, UK (2004), Eindhoven, The Netherlands (2005), Oxford, UK (2007), Düsseldorf, Germany (2009), Nancy, France (2010), and Pisa, Italy (2012).

The conference has grown tremendously in the past years. iFM 2013 received 106 abstracts and 84 full paper submissions. The Program Committee ensured that each paper received three reviews and was carefully discussed, before selecting 25 papers for presentation at the conference. This leads to an acceptance
rate of almost 30%. The scientific program of iFM 2013 was further strengthened by four outstanding invited speakers:
– Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs;
– Susanne Graf, VERIMAG, France: Knowledge for the Distributed Implementation of Constrained Systems;
– Kim Larsen, Aalborg University, Denmark: Priced Timed Automata and Statistical Model Checking;
– Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Service Contracts.
The invited speakers have contributed papers to the proceedings that survey their work in these areas.

iFM 2013 attracted broad international interest. The authors of the submitted papers were affiliated to 34 countries spread out on all five continents. The authors of the accepted papers were affiliated to 14 countries, from Europe, Asia, and South and North America. The Program Committee was also very international, its members being affiliated to 16 countries, from Europe, North America, Asia, and Australia. The biggest number of accepted authors came from France
and the biggest number of PC members came from the UK.

Associated with iFM 2013, the following workshops and tutorials were organized during June 10–11, 2013:
– The 4th InternationalWorkshop on ComputationalModels for Cell Processes
– Rodin User and Developer Workshop 2013
– BCS FACS 2013 Refinement Workshop 2013
– Tutorial on the Specification and Proof of Programs with Frama-C
These events significantly contributed to an exciting scientific program during
an entire week.

To our great sadness, Professor Kaisa Sere from Åbo Akademi University passed away in December 2012. Kaisa was a renowned researcher in formal methods and one of the PC chairs of iFM 2002. She was happy that Åbo Akademi
University were planning was planning to host the conference again in 2013. We are very grateful that one of her close scientific collaborators, Emil Sekerinski, McMaster University, Canada, has accepted to give a short talk at iFM 2013 on Kaisa’s achievements in computer science.

We warmly thank the Program Committee of iFM 2013 for their excellent work, their high-quality reviews, their timeliness and enthusiasm, as well as for their determination to only accept the best papers with respect to novelty, innovation, and technical merit. It was an honor and a pleasure to work with you!
We would also like to acknowledge and thank the reviewers that supported the Program Committee. The work of the Program Committee was supported from the beginning by the EasyChair software: we thank Andrei Voronkov for making this framework available. We are deeply indebted to the sponsors of iFM 2013:
their generous support enabled a pleasant environment and nice social events, truly contributing to community building.

In the end, it is the authors of the contributed papers that made iFM 2013 a
reality and a success. Thank you very much for your dedication: it is your work that makes up these proceedings!

April 2013
Einar Broch Johnsen
Luigia Petre

BibTeX entry:

@PROCEEDINGS{pJoPe13a,
  title = {Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings},
  volume = {7940},
  series = {Lecture Notes in Computer Science},
  editor = {Johnsen, Einar Broch and Petre, Luigia},
  publisher = {Springer},
  year = {2013},
  ISBN = {978-3-642-38612-1},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication