Third International Conference on Integrated Formal Methods
May 15-17, 2002, Turku, Finland
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.
The registration form should be received by the organizers by April 20, 2002.
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:
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.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 email@example.com, 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:
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.