IFM2002 - Final Call for Papers



Date view Thread view Subject view Author view

Luigia Petre (lpetre@abo.fi)
Fri, 16 Nov 2001 10:25:52 +0200


Please appologize if you receive several copies of this email. -------------------------------------------------------------- FINAL CALL FOR PAPERS Third International Conference on Integrated Formal Methods IFM2002 http://www.tucs.fi/IFM2002/ (submission deadline: 30th of November 2001) -------------------------------------------------------------- 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 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: 30th of November 2001 Notification of acceptance: 1st of February 2002 Submission of final copy: 1st of March 2002 Conference: 15-18 May 2002 Invited Speakers ----------------- - Stuart Kent, University of Kent, Canterbury, UK: "Model Driven Engineering" - Eran Gery, I-Logix, Rehovot, Israel: "Rhapsody: A practical approach to model-based development" - Shmuel Katz, Technion, Haifa, Israel: "A Framework for Translating Models and Specifications" 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 southwestern 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.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, Abo 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 Luigia.Petre@abo.fi Web http://www.abo.fi/~lpetre/


Date view Thread view Subject view Author view