Apologies for multiple copies.
-------------------------------------------------------------- SECOND CALL FOR PAPERS Fourth International Conference on Integrated Formal Methods IFM2004 http://www.cs.kent.ac.uk/ifm2004
(submission deadline: 15th September 2003) -------------------------------------------------------------- April 5-7, 2004 Canterbury, Kent, England.
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.
Submissions ------------ 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 Canterbury CT2 7NF ENGLAND.
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 (www-theory.dcs.st-and.ac.uk/~um/) 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/)
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 an historic 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, Transitive Technologies Ltd, Manchester, 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, 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.