IWFM'01 Home Page

5th. Irish Workshop in Formal Methods

Organized by IFMSIG

Trinity College Dublin.

16th - 17th July 2001.

The Fifth Irish Workshop in Formal Methods (IWFM'01) will take place in Trinity College Dublin

• Monday a.m., 16th July 2001 Registration and Main meeting.
• Tuesday a.m., 17th July 2001 Main meeting.

The workshop is being organised by the Irish Formal Methods Special Interest Group (IFMSIG). Confirmed speakers at this time include Joe Morris of Dublin City University and Oege de Moor of Oxford University.

The venue for the workshop is the Hamilton building at the East end of Trinity College. There are directions and maps to assist you if you are unsure of the location.

Important dates

Paper Submission

Saturday 31st March 2001 Extended to 13th April

Authors Informed

Monday 7th May 2001

Final Version of Papers

Monday 18th June 2001

Early registration ends

Friday 6th July 2001

Early arrivals informal meeting

Sunday 15th July 2001

Workshop Opens

Monday 16th July 2001

• IWFM'01 Call for Papers.
• IWFM'01 Programme Committee.
• Call for Participation, which includes:
  • Draft timetable
  • Information about Dublin
  • Accomodation information
  • Booking information and a Booking Form
• If you will be in Dublin the day before the conference you can meet us in O'Neills of Pearse Street.
• To locate the conference facilities and register on Monday morning you need to find the Hamilton building in TCD. These directions should help.
• Contacts:
  • Program: Andrew Butterfield (TCD)
  • Local:Glenn Strong (TCD)

The proceedings of previous workshops were published electronically by electronic Workshops in Computing (BCS).

• IWFM'99 - the 3rd. Irish Workshop in Formal Methods, National University of Ireland, Galway, 1-2 July 1999
• IWFM'98 - the 2nd. Irish Workshop in Formal Methods, National University of Ireland, Cork, 2-3 July 1998
• IWFM'97 - the 1st. Irish Workshop in Formal Methods, University College Dublin, 3-4 July 1997