The second Irish Workshop in formal methods (IWFM'98) takes place at
National University of Ireland, Cork
in July '98.
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)
For detailed information see: