Final Call for Papers: IFM 2005
Graeme Smith
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. The format for submitted papers and final versions is PDF or
PostScript. For final versions, sources will have to be provided as
well (including an RTF file for non-LaTeX papers).
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