[om-a] Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)

Graeme Smith smith at itee.uq.edu.au
Fri Apr 8 01:47:37 CEST 2005

                           SECOND CALL FOR PAPERS

       Fifth International Conference on Integrated Formal Methods (IFM)

                         November 29 - December 2, 2005
                           Eindhoven, The Netherlands



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 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


 Submission deadline:            May 18, 2005
 Notification of acceptance:     July 13, 2005
 Submission of final copy:       August 17, 2005
 Conference:                     November 29 - December 2, 2005


 Patrice Godefroid - Bell Labs (USA)
 David Parnas - University of Limerick (Ireland), McMaster University (Canada)
 Doron Peled - University of Warwick (UK)


 Holger Hermanns - Saarland University (Germany)
 "QoS Modelling and Analysis for Embedded Systems"


 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


 Jaco van de Pol, CWI, The Netherlands
 Judi Romijn, Eindhoven University of Technology, The Netherlands
 Graeme Smith, University of Queensland, Australia
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list