Atlas home || Conferences | Abstracts | about Atlas

4th Irish Workshop on Formal Methods

July 5-6, 2000

Maynooth, Ireland

Mathematics

Host: National University of Ireland, Maynooth
Homepage: http://www.cs.may.ie/IWFM00/

Organizers: Dr. J. Paul Gibson

Description:
The workshop is being organised by the Irish Formal Methods Special Interest Group.

Date received: April 22, 2000

© 2008 Atlas Conferences Inc.