Final Call for Papers: IFM 2004

Fourth International Conference on Integrated Formal Methods

(submission deadline: 15th September 2003)
April 5-7, 2004
Canterbury, Kent, England.

Applying formal methods may involve the modelling
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 promises great benefits
for systems modelling and software development.
Whichever approach is taken, significant issues can arise
in areas such as semantic integration, the tractability of
notations, the integration of tool support, the integration of
proof systems, consistency and completeness. Issues arise
equally in our modelling of systems at different levels
of abstraction and the development of these models through the
process of refinement.

The scope of IFM2004 includes all aspects of integration of
different notations, paradigms, and tools, including integration of
state-based and behavioural formalisms, and the formal
strengthening of informal notations (e.g., UML).  Special sessions
are planned on the themes of Unifying Theories of Programming as
well as Testing, and submissions for these are welcomed.

The necessity of tool support for formal methods is widely
accepted. However, much existing tool support fails to exploit
the advantages that formality brings. This year's IFM is therefore
particularly interested in how integrating formal methods can
facilitate tool support for the development process, either by
integrating tools or exploiting the particular languages combined.

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 should
be prepared with LaTeX. Springer Verlag will publish the conference
proceedings in the series 'Lecture Notes in Computer Science', and
hence the submissions should be prepared using the 'llncs'
package (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 corresponding author should send by email a 'ps' or a 'pdf' form
of the paper to the address eab2@ukc.ac.uk, with the subject
line "Submission to IFM2004".  If electronic submission is not possible,
four hard copies of the paper should be sent to the address below:

"IFM2004 Submission"
Eerke Boiten
Computing Laboratory,
University of Kent

Important Dates
Submission deadline:		15th September 2003
Notification of acceptance:	30th November 2003
Submission of final copy:	15th January 2004
Conference:			5-7 April 2004

Invited Speakers
Confirmed invited speakers include:

Ursula Martin, St Andrews University
Tom Melham, University of Oxford
Tom Ball, Microsoft Research

The fourth international conference on Integrated Formal Methods
will be held at the University of Kent at Canterbury.  The County of
Kent is situated in the South-East of England, and the University sits
on a hill over-looking the City of Canterbury and its world-renowned

Accommodation for delegates will be provided on campus, other
options for accommodation in Canterbury and the surrounding area
can be found at:

The conference dinner will be held at historic Leeds Castle.

Travelling to Canterbury
Canterbury is within easy reach of London, as well as the
international airports at Gatwick and Heathrow, and the international
train station at Ashford.

More information on how to travel to Canterbury can be found at:

Program Committee
Didier Bert, Institute IMAG, Grenoble, France
Eerke Boiten, University of Kent, UK
Jonathan Bowen, South Bank University, London, UK
Michael Butler, University of Southampton, UK
Paul Curzon, Middlesex University, London, UK.
Jim Davies, University of Oxford, UK
John Derrick, University of Kent, UK
Jin Song Dong, National University of Singapore
John Fitzgerald, Centre for Software Reliability, University of Newcastle, UK
Andrew Galloway, University of York, UK
Chris George, United Nations University, Macau
Wolfgang Grieskamp, Microsoft Research, Redmond, US
Henri Habrias, University of Nantes, France
Susumu Hayashi, Kobe University, Japan
Maritta Heisel, University of Magdeburg, Germany
Michel Lemoine, ONERA, Toulouse, France
Shaoying Liu, Hosei University, Tokyo, Japan
Dominique Mery, LORIA, France
Luigia Petre, Turku Centre for Computer Science, Finland
Judi Romijn, Eindhoven University of Technology, NL
Thomas Santen, Technical University of Berlin, Germany
Steve Schneider, Royal Holloway, University of London, UK
Wolfram Schulte, Microsoft Research, Redmond, US
Kaisa Sere, Abo Akademi University, Turku, Finland
Jane Sinclair, University of Warwick, UK
Graeme Smith, Software Verification Research Centre, Queensland, Australia
Bill Stoddart, University of Teesside, UK
Kenji Taguchi, University of Bradford, UK
W J (Hans) Toetenel, University of Delft, Holland
Heike Wehrheim, University of Oldenburg, Germany
Kirsten Winter, University of Queensland, Australia
Jim Woodcock, University of Kent, UK

Program Committee Co-Chairs
Eerke Boiten, University of Kent, UK
John Derrick, University of Kent, UK
Graeme Smith, University of Queensland, Australia

The conference is sponsored by BCS-FACS.