[om-a] IFM2004: Call for Participation

Graeme Smith smith at itee.uq.edu.au
Thu Jan 15 04:56:10 CET 2004


Fourth International Conference on Integrated Formal Methods


(early registration deadline: 16th Febuary 2004)
April 4-7, 2004
Canterbury, Kent, England.

Important Dates
Early registration deadline:    16th February 2004
Conference:                     4-7 April 2004

One registration fee gives access to all the following sessions:

Invited Speakers
Invited speakers include:

Ursula Martin, Queen Mary University of London and
University of Cambridge (http://www.dcs.qmul.ac.uk/~uhmm/)
Tom Melham, University of Oxford
Tom Ball, Microsoft Research

Invited Tutorial
On Sunday 4 April 14:00, an invited tutorial on Unifying theories of
Programming, will be given by
Jim Woodcock

Technical Programme
>From Monday 5 April until Wednesday 7 April lunchtime, two and a half days
of technical program with  papers covering themes of:
Automating program analysis; Object orientation and UML; Testing; Verification;
Hybrid and timed systems; Integration frameworks; Refinement; Graphical
notations and State/event-based verification.

FME Meeting
A meeting of FME will take place on Sunday 4th and is open to all FME

Conference banquet
The conference dinner will be held in Leeds Castle, called 'The most
beautiful castle in the world'.

Registration information
To register, visit: http://www.cs.kent.ac.uk/ifm2004

Conference Theme
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.

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 Leeds Castle in Kent.

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
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, University of 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 and Formal Methods Europe.
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