IWFM'98

 

  2nd. Irish Workshop in Formal Methods.

 
 

   Organized by IFMSIG.

 

   National University of Ireland, Cork.

   2nd. - 3rd. July 1998.

 

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: