2nd CALL FOR PARTICIPATION Fifth International Conference on Integrated Formal Methods (IFM) November 30 - December 2, 2005 Eindhoven, The Netherlands http://www.win.tue.nl/ifm/ 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.