IWFM'99 Home Page

The third Irish Workshop in formal methods (IWFM'99) took place at
National University of Ireland, Galway in July '99.

Thursday a.m., 1st July 1999 Registration and Main meeting.
Friday a.m. 2nd. July 1999 Main meeting.

The workshop was organised by the Irish Formal Methods Special
Interest Group (IFMSIG) . The proceedings of this and the previous two workshops are published electronically by electronic Workshops in Computing (BCS).

Important Dates:

• Paper Submission: Fri. 26th March 1999
• Authors Informed by: Mon. 3rd May. 1999
• Final Version of Papers: Fri. 18th June 1999
• Workshop Opens: Thu. 1st July 1999

 For detailed information see:

• IWFM'99 Call for Papers.
• IWFM'99 Programme Committee.
• Contacts:
• Program: Andrew Butterfield (TCD)
• Local: Sharon Flynn (NUI, Galway).
• IWFM'99 Programme.
• IWFM'99 Abstracts.
• IWFM'99 Local Information.
• IWFM'99 Registration.
• IWFM'99 Accommodation.