The second Irish Workshop in formal methods (IWFM'98) takes place at
National University of Ireland, Cork
in July '98.
Thursday a.m., 2nd. July 1998 Registration and Main meeting.
Friday a.m. 3rd. July 1998 Main meeting.
The following invited speakers will give presentations at the workshop.
Prof. Dines Bjorner (Technical University of Denmark)
Dr. Jan Rutten (Centrum voor Wiskunde en Informatica, Netherlands)
Pre-prints of the proceedings will be available as part of the registration
pack. To attend, please complete and return the booking form with the
appropriate fee. We look forward to seeing you at the meeting.
The workshop is being organised by the Irish Formal Methods Special
Interest Group (IFMSIG) . The first workshop was held in Dublin Ireland
in
July 1997, and the proceedings
are available as part
of the electronic Workshops
in Computing series, published by Springer.
For detailed information see: