[Concurrency] CFP iFM09 - Integrated Formal Methods 2009
First CALL FOR PAPERS
iFM 2009
— 10 years iFM –
7th International Conference on
integrated Formal Methods
Duesseldorf, Germany, 16 - 19 February, 2009
www.formal-methods.de/ifm2009
Invited Speakers: David Basin - Michael Butler - Byron Cook
Objectives and scope:
Applying formal methods may involve the modelling of different
aspects of a system that are expressed through different
paradigms. Applying formal methods may also involve the application
of different analysis techniques as to treat differently modelled
system views, or simply as to cope with the sheer complexity of the
system. The iFM conference series seeks to further research into the
combination of different formal methods, both for modelling and analysis,
covering all aspects from language design over verification techniques
to tools and their integration into software engineering practice.
Areas of interest include but are not limited to:
Formal and semiformal modelling notations - Semantics - Verification -
Model checking - Static analysis - Theorem proving - Integration of formal
methods into software engineering practice - Refinement -
Model transformations - Type systems - Logics -
Tools - Experience reports - Case studies.
Conference location:
Ten years after the first iFM conference in York, the 2009 edition will
take
place in Duesseldorf, Germany, alongside the river Rhine. Hosted by the
University
of Duesseldorf the conference will be jointly organized by the software
engineering
group of Duesseldorf University and the formal methods group of the
University of Paderborn.
PC chairs:
Michael Leuschel (U. of Duesseldorf, D)
Heike Wehrheim (U. of Paderborn, D)
Important dates:
Abstracts: 5. September 2008
Full papers: 12. September 2008
Notification: 1. November 2008
Final version: 1. December 2008
Conference: 16. - 19. February 2009
Program committee:
Eerke Boiten (U. of Kent, UK)
Einar Broch Johnsen (U. of Oslo, N)
Ana Cavalcanti (U. of York, UK)
Frederic Dadeau (U. of Besancon, F)
Jim Davies (U. of Oxford, UK)
John Derrick (U. of Sheffield, UK)
Jin Song Dong (U. of Singapore, Sing)
Neil Evans (AWE, UK)
Martin Fraenzle (U. of Oldenburg, D)
Andy Galloway (U. of York, UK)
Stefan Hallerstede (ETH Zuerich, Swit)
John Hatcliff (Kansas State U., USA)
Marta Kwiatkowska (U. of Oxford, UK)
Frederic Lang (INRIA Rhone-Alpes, F)
Michael Leuschel (U. of Duesseldorf, D)
Dominique Mery (LORIA Nancy, F)
Stephan Merz (LORIA Nancy, F)
Thomas Santen (Microsoft EMIC, D)
Augusto Sampaio (U. of Pernambuco, Br)
Wolfram Schulte (Microsoft Research, USA)
Graeme Smith (U. of Queensland, AUS)
Kenji Taguchi (NII, Jp)
Helen Treharne (U. of Surrey, UK)
Ragnhild van der Straeten (U. of Brussels, Belg)
Marina Walden (Abo Akademie U., FI)
Heike Wehrheim (U. of Paderborn, D)
Submission guidelines:
The iFM 2009 conference solicits high quality papers reporting research
results and/or experience reports related to the overall theme of method
integration.
All papers must be original, unpublished, and not submitted for publication
elsewhere. Submission will be electronically as postscript or PDF, using
the
Springer LNCS style. Papers should not exceed 15 pages in length. Each
paper
will undergo a thorough process of review and the conference proceedings
will be
published by Springer Verlag in the LNCS series. A special issue of the
conference
in the journal Science of Computer Programming is planned.
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency