FINAL CALL FOR PARTICIPATION Fifth International Conference on Integrated Formal Methods (IFM) November 29 - 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 available on the IFM2005 web site. DOCTORAL SYMPOSIUM There will be thirteen presentations from PhD students on November 29, after the invited tutorial. The symposium schedule is available through the IFM program at the web site: http://www.win.tue.nl/ifm/. EXCURSION We will visit the Van Abbe Museum, which is one of the most important museums for contemporary art in Europe. Changing exhibitions are being made on a regular base. A great deal of space is destined for the famous museum collection. The collection contains modern classic works by artists such as Picasso, Chagall and Mondrian, the second largest collection of the Russian artist El Lissitzky outside of Russia, but most of all many contemporary art works by artists such as Lily van der Stokker, De Rijke & De Rooij and all works from the exhibition No Ghost Just a Shell (around the Manga figure AnnLee). Currently, a large part of the museum is dedicated to the exhibition EindhovenIstanbul. In this exhibition, a selection of key artworks is presented drawn from the famous Istanbul Biennial exhibitions of the past 18 years. The exhibits from 40 international artists include large scale installations, video projections, sculpture, painting and drawing. See the museum web site: http://www.vanabbemuseum.nl. REGISTRATION At the IFM web site, the registration page can be found. 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, the 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 NWO, IPA, FME and BCS-FACS.