Call for Participation: IFM 2005
Graeme Smith
2nd CALL FOR PARTICIPATION
Fifth International Conference on Integrated Formal Methods (IFM)
November 30 - December 2, 2005
Eindhoven, The Netherlands
INVITED SPEAKERS
Patrice Godefroid - Software Model Checking: Searching for Computations in
the Abstract or the Concrete
David Parnas - A Family of Mathematical Methods for Professional Software
Documentation
Doron Peled - Generating Path Conditions for Timed Systems
INVITED TUTORIAL
Holger Hermanns - QoS Modelling and Analysis for Embedded Systems
PROGRAM
The program is now available on the IFM2005 web site.
DOCTORAL SYMPOSIUM
PhD students are invited to submit a contribution on their current
research in integrated formal methods. The symposium will take place
in Eindhoven on November 29, right after the tutorial by Holger
Hermanns, and one day before the main conference (Nov 30 - Dec 2). For
details please check the IFM2005 web site: http://www.win.tue.nl/ifm/.
VENUE
IFM2005 is hosted by the Technische Universiteit Eindhoven (TU/e).
Eindhoven is the largest city of the southern Netherlands and the
fifth largest in the Netherlands as a whole. It is a diverse city
offering innovation and technology, as well as cultural activities
(museums, theatre and music), and leading in sports such as swimming
(Olympic champion Pieter van den Hoogenband) and soccer (PSV). In the
region of Eindhoven, well-known companies such as Philips, ASML and
DAF, and dozens of other engineering companies are situated.
Eindhoven and the TU/e campus are easily reachable by plane (Eindhoven
Airport) and train (also from Schiphol Airport).
REGISTRATION
At the IFM web site, the registration page can be found. The early
registration deadline is October 16th, 2005.
The registration fee includes a copy of the proceedings, attendance of
the tutorial and the main conference, lunches, refreshments in the
coffee breaks, a welcome reception, an excursion and dinner banquet.
PROGRAM COMMITTEE CO-CHAIRS
Jaco van de Pol, CWI, The Netherlands
Judi Romijn, Eindhoven University of Technology, The Netherlands
Graeme Smith, University of Queensland, Australia
SPONSORS
IFM2005 is sponsored by FME and BCS-FACS.