[Haskell] 2nd Call for Participation: IFM 2005

Graeme Smith smith at itee.uq.edu.au
Tue Sep 27 01:59:28 EDT 2005


 	                   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.



More information about the Haskell mailing list