Apologies if you receive duplicate copies of this announcement.
-------------------------------------------------------------
CALL FOR PARTICIPATION - IFM2004
Fourth International Conference on Integrated Formal Methods
http://www.cs.kent.ac.uk/ifm2004
(early registration deadline: 16th February 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/)
and
Tom Melham, University of Oxford
(web.comlab.ox.ac.uk/oucl/people/tom.melham.html)
and
Tom Ball, Microsoft Research
(www.research.microsoft.com/~tball/)
Invited Tutorial
----------------
On Sunday 4 April 14:00, an invited tutorial on Unifying theories of
Programming, will be given by
Jim Woodcock
(http://www.cs.kent.ac.uk/people/staff/jcpw/)
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
members.
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.
Location
---------
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
Cathedral.
Accommodation for delegates will be provided on campus, other
options for accommodation in Canterbury and the surrounding area
can be found at:
http://www.canterbury.co.uk/en/maps/index.html
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:
http://www.ukc.ac.uk/locations/canterbury/map1.html
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, 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, Software Verification Research Centre, 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, Software Verification Research Centre, Queensland, Australia
The conference is sponsored by BCS-FACS and Formal Methods Europe.
|
