[Forwarded email]
Please accept apologies if you receive several copies of this email.
--------------------------------------------------------------
SECOND CALL FOR PAPERS
Third International Conference on Integrated Formal Methods
IFM2002
http://www.tucs.abo.fi/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 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 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 this has been widened
to include all aspects pertaining to the integration of formal
methods and formal notations. The goal of IFM2002 is to
further and deeper explore the themes stated for its predecessors.
Moreover, IFM2002 intends to build upon them and explore the
existent and the possible relations between formal methods and
the new industrial standard language for software design, the
Unified Modeling Language (UML).
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 diagram 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 preferably 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 [log in to unmask], with the subject line
"Submission to IFM2002". If electronic submission is not possible,
four hard copies of the paper should be sent to the address below:
"IFM2002 Submission"
Turku Centre for Computer Science,
Lemminkaisenkatu 14,
DataCityA, 4-th floor,
Turku-20520, Finland.
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
Location
---------
The third international conference on Integrating Formal Methods
will be held in Turku, the former capital and the oldest city of
Finland. Hotel Caribia in Turku provides the premises of the
conference as well as the accommodation for people attending
the conference. This hotel is the newest 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.
Travelling to Turku
-------------------
Turku is situated in the south-western corner of Finland. It is
reachable by air both via Helsinki and via Stockholm. From
Helsinki you can also travel by bus or by train to Turku.
The journey takes about 2 hours. From Stockholm there
are also two boat lines to Turku, Viking and Silja, through a
beautiful archipelago. The boat trip takes 8-10 hours. More
information on how to travel to Turku can be found in the
conference web page:
http://www.tucs.abo.fi/IFM2002/
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
Andrew Galloway, University of York, 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, =C5bo 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
Program Committee Co-Chairs
--------------------------------
Michael Butler, Southampton University, UK.
Kaisa Sere, Abo Akademi University, Turku, Finland.
Organization
-------------
The conference is organized and financed by Abo Akademi
University and Turku Centre for Computer Science (TUCS).
The organization committee is formed of Kaisa Sere, Abo
Akademi University and Luigia Petre, Turku Centre for
Computer Science.
--
Luigia Petre
Turku Centre for Computer Science (TUCS)
Lemminkaisenkatu 14A, DataCity, 4th floor
FIN-20520 Turku, Finland
Tel. +358 2 215 4030 Fax +358 2 241 0154
Email [log in to unmask] Web http://www.abo.fi/~lpetre/
|