Integrated Formal Methods 2002 (IFM 2002) - Call for Participation



Date view Thread view Subject view Author view

Luigia Petre (lpetre@abo.fi)
Wed, 20 Mar 2002 15:00:14 +0200


---------------------------------------------------------------------------- Third International Conference on Integrated Formal Methods (IFM) 2002 15-17 May 2002 Call for Participation ----------------------------------------------------------------------------- Highlights: ----------- o Three invited speakers: - 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" - Stuart Kent, University of Kent, Canterbury, UK: "Model Driven Engineering" o The preliminary programme is now available online, including the first page of the papers. o The registration procedure is now available online. The deadline for registering to IFM 2002 is April 20. Details on http://www.tucs.fi/IFM2002/ [Please accept our appologies if you receive multiple copies of this CFP.] Local Organisers: Kaisa Sere (kaisa.sere@abo.fi) Luigia Petre (luigia.petre@abo.fi) -- 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