FIRST CALL FOR PAPERS
Fifth International Conference on Integrated Formal Methods (IFM)
November 29 - December 2, 2005 Eindhoven, The Netherlands
SCOPE
Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints upon a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective by innovative use of an existing notation.
The integration of formal methods has already yielded noteworthy benefits for systems modeling and software development. Whichever approach is taken, significant issues arise in areas such as semantic integration, the tractability of our notations, the integration of tool support, the integration of proof systems, consistency and completeness. Issues arise equally in our conceptualization of systems at different levels of abstraction and the development of these conceptualizations through the process of refinement.
The scope of IFM2005 includes all aspects of integration of different formal notations, paradigms and tools, and also the formal strengthening of informal notations (e.g., UML).
The conference also seeks and welcomes contributions in related areas such as: hybrid systems, the embedding of one formalism within another, and the integration of formal methods with informal or semi-formal diagrammatic notations and structuring techniques.
SUBMISSIONS
Submissions should be original work, not published or submitted elsewhere. Submissions may be up to 20 pages in length and are preferably prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', hence submissions must be prepared according to the LNCS author instructions (see http://www.springer.de/comp/lncs/authors.html). The first page of the paper should contain an abstract of the paper, a list of keywords, the names, affiliations and emails of the authors. The contact authors should further provide their fax numbers as well as their phone numbers.
A link to the submission web site will be provided on the conference web site (http://www.win.tue.nl/ifm/).
IMPORTANT DATES
Submission deadline: May 18, 2005 Notification of acceptance: July 13, 2005 Submission of final copy: August 17, 2005 Conference: November 29 - December 2, 2005
INVITED SPEAKERS
Patrice Godefroid - Bell Labs (USA) David Parnas - University of Limerick (Ireland), McMaster University (Canada) Doron Peled - University of Warwick (UK)
INVITED TUTORIAL
Holger Hermanns - Saarland University (Germany) "QoS Modelling and Analysis for Embedded Systems"
PROGRAM COMMITTEE
Didier Bert, Institute IMAG, Grenoble, France Eerke Boiten, University of Kent, UK Jonathan Bowen, London South Bank University, UK Michael Butler, University of Southampton, UK Paul Curzon, Queen Mary, University of London, UK Jim Davies, University of Oxford, UK John Derrick, University of Sheffield, UK Steve Dunne, University of Teesside, UK Jin Song Dong, National University of Singapore Andy Galloway, University of York, UK Chris George, United Nations University, Macau Wolfgang Grieskamp, Microsoft Research, Redmond, US Henri Habrias, University of Nantes, France Maritta Heisel, University of Magdeburg, Germany Soon-Kyeong Kim, University of Queensland, Australia Michel Lemoine, ONERA, Toulouse, France Shaoying Liu, Hosei University, Tokyo, Japan Dominique Mery, LORIA, France Stephan Merz, LORIA, France Richard Paige, University of York, UK Luigia Petre, Turku Centre for Computer Science, Finland Thomas Santen, Technical University of Berlin, Germany Steve Schneider, University of Surrey, UK Wolfram Schulte, Microsoft Research, Redmond, US Kaisa Sere, Abo Akademi University, Turku, Finland Jane Sinclair, University of Warwick, UK Bill Stoddart, University of Teesside, UK Kenji Taguchi, University of Bradford, UK Helen Treharne, University of Surrey, UK Heike Wehrheim, University of Paderborn, Germany Kirsten Winter, University of Queensland, Australia Jim Woodcock, University of York, UK
PROGRAM COMMITTEE CO-CHAIRS
Jaco van de Pol, CWI, The Netherlands Judi Romijn, Eindhoven University of Technology, The Netherlands Graeme Smith, University of Queensland, Australia