Final Call for Participation: IFM 2005 (Eindhoven)
Graeme Smith
FINAL CALL FOR PARTICIPATION
Fifth International Conference on Integrated Formal Methods (IFM)
November 29 - 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 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.