IFM 2005

Fifth International Conference on Integrated Formal Methods

29 November - 2 December 2005 in Eindhoven, The Netherlands


IFM Home

Programme

Proceedings

Doctoral Symposium

Invited Speakers

Important Dates

Conference Chairs

Program Committee

The Venue

Accommodation Information

Registration

Submission

Contact the Organisers

Sponsors

Pictures

Presentations


Registration

The registration is now open. Please register at http://www.parthen-impact.com/eventure/welcome.do?type=participant&congress=17_IFM . Note that hotels can also be booked via this link, during your registration. If you need any changes in your registration or want to add a hotel reservation, please contact: congressoffice@tue.nl.

registration fees early late
Regular registration € 450.00 € 525.00
Student registration € 225.00 € 300.00

  • early: until October 16, 2005
  • late: from October 17 to November 28, 2005

Fees include:

Regular: proceedings, attendance of tutorial + main conference, lunches, coffee breaks, welcome reception, excursion + dinner banquet

Student: proceedings, attendance of tutorial + main conference, lunches, coffee breaks, welcome reception

Extra tickets to the excursion + dinner banquet may be ordered at € 95.00 each.

Cancellation policy

  • Before October 17: refund minus 10% administration costs.
  • Between October 17 and November 7: refund minus 50% administration costs.
  • After November 7: no refund.

Go to the University of Eindhoven's Home Page Hosted by Computer Science @ Eindhoven This page is maintained by Wieger Wesselink.