IFM 2002

Third International Conference on Integrated Formal Methods

May 15-17, 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. 

Registration

The registration form should be received by the organizers by April 20, 2002.

Accepted Papers

The list of accepted papers is here.

Schedule and Social Events

The program of the conference is available here.

There will be two social events at IFM 2002:

  1. Wednesday, May 15, 19:00-21:00 - Welcome Reception, at Hamburger Bors hotel. Drinks and snacks will be served.
  2. Thursday, May 16, 20:00-01:00 - Excursion by boat through the archipelago of Turku. S/S Ukko Pekka will take the participants from the Aura river shore to Loistokari island in the archipelago and back. The excursion includes also a dinner.

Invited Speakers and Their Corresponding Paragraphs

Location

The third international conference on Integrating Formal Methods will be held in Turku, the former capital and the oldest city of Finland. Hotel Hamburger Börs is situated in the very heart of the city, just across the Market Square. Around the Market Square you will find lots of department stores, restaurants, cinemas and pubs. The hotel has 8 meeting rooms (for 100-200 people) and a business center.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), the harbor of Turku is at 6 km (10 minutes drive) and the bus and railway station at 1 km distance from the hotel. The hotel has also 100 parking slots.

Traveling to Turku

Turku is situated in the south western corner of Finland. It is reachable by air both via Helsinki and via Stockholm in Sweden. From Helsinki you can also travel by bus or by train to Turku. The journey takes some 2 hours. From Stockholm there are two boat lines, Viking and Silja, to Turku through a beautiful archipelago. The boat trip takes 8-10 hours. Here you can find more information about Turku and how to get there.

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. 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 ifm2002submission@abo.fi, 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: 10th of December 2001
  • Notification of acceptance: 19th of February 2002
  • Submission of final copy: 11th of March 2002
  • Conference: 15-17 May 2002

Program Committee

Program Committee Co-Chairs

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.