--------------------------------------------------------------
FIRST CALL FOR PAPERS
Third International Conference on Integrated Formal Methods
IFM2002
--------------------------------------------------------------
May 15-18, 2002
Turku, Finland.
Theme
-------
Applying formal methods may involve the modeling of different aspects of
a system that are expressed through different paradigms. This motivates
us to research the combination of different viewpoints of 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
modeling and software development. Whichever approach is taken,
significant issues can arise in areas such as semantic integration, the
tractability of our notations, the integration of tool support, the
integration of proof systems, consistency and completeness. Issues arise
equally in our conceptualization of systems at different levels of
abstraction and the development of these conceptualizations through the
process of refinement.
The stated theme of IFM99 was the integration of state based and
behavioral formalisms. For IFM2000 and IFM2002 this has been widened to
include all aspects pertaining to the integration of formal methods and
formal notations.
The conference also 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 diagram
notations and structuring techniques.
There will also be two or three invited speakers.
Location
-----------
The third international conference on Integrating Formal Methods will be
held in Turku (http://www.turku.fi), the former capital and the oldest
city of Finland. Hotel Caribia (http://www.caribia.fi) is the newest
hotel in Turku, having modern facilities for conferences, accommodation,
sport, and relaxing. The exotic spa, with eight pools and three water
slides is among its most attractive features. The hotel is 1.5 km far
from the center of Turku, has a bus and a taxi stop just in front, and
free parking for the guests. The airport of Turku is at 8 km distance
(less than 15 minutes by car), the airport in Helsinki is about 170 km
away (less than two hours drive) and the harbor of Turku is at 6 km (10
minutes drive).
The conference rooms are equipped with dedicated devices for
presentations, high-standard sound and AV systems.
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, preferably using the Springer lncs style package.
Springer Verlag will publish the conference proceedings in the series
'Lecture Notes in Computer Science'. Details about the submission
procedure will appear at a later time.
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.
Important Dates
--------------------
Submission deadline: 30th of November 2001
Notification of acceptance: 1st of February 2002
Submission of final copy: 1st of March 2002
Conference: 15-18 May 2002
Organizing Committee
-----------------------
Luigia Petre, Turku Centre for Computer Science, Finland.
Kaisa Sere, Abo Akademi University, Turku, Finland.
Program Committee Co-Chairs
--------------------------------
Michael Butler, Southampton University, UK.
Kaisa Sere, Abo Akademi University, Turku, Finland.
Program Committee
---------------------
Didier Bert, Institute IMAG, Grenoble, France
Jonathan Bowen, South bank University, London, UK
Michael Butler, University of Southampton, UK
Jim Davies, Oxford University, UK
John Derrick, University of Kent, UK
Jin Song Dong, National University of Singapore
John Fitzgerald, Transitive Technologies Ltd, Manchester, UK
Chris George, United Nations University, Macao
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
Thomas Santen, Technical University of Berlin, Germany
Steve Schneider, Royal Holloway, University of London, UK
Wolfram Schulte, Microsoft Research, Redmond, US
Kaisa Sere, Åbo Akademi University, Turku, Finland
Jane Sinclair, Warwick University, UK
Graeme Smith, Software Verification Centre, Queensland, Australia
Bill Stoddart, University of Teesside, UK
Kenji Taguchi, Uppsala University, Sweden
W J (Hans) Toetenel, University of Delft, Holland
Heike Wehrheim, University of Oldenburg, Germany
Jim Woodcook, Oxford University, UK
|