------------------------------------------------------------- CALL FOR PARTICIPATION - IFM2004
Fourth International Conference on Integrated Formal Methods
http://www.cs.kent.ac.uk/ifm2004
(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/%7Euhmm/) 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, 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.