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

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
For detailed information see:

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


Back to IFMSIG home page
Modified: "20010531:1141 IST"