IWFM'01 Program Committee

5th. Irish Workshop in Formal Methods

Organized by IFMSIG

Trinity College Dublin.

16th - 17th July 2001.

• Programme Co-Chairs:
  • Andrew Butterfield (TCD)
  • Claus Pahl (DCU)
• Organisation Chair:
  • Glenn Strong (TCD)
• Committee:
  • Andrew Butterfield (TCD)
  • Anthony Seda (UCC)
  • Claus Pahl (DCU)
  • David Sinclair (DCU)
  • Gerard O'Regan (SQC Consulting)
  • Henry McLoughlin (UCD)
  • Joe Morris (DCU)
  • Klemens Haegele (IBM Unternehmensberatung GmbH)
  • Micheal Mac an Airchinnigh (TCD)
  • Norah Power (UL)
  • Paul Gibson (NUI, Maynooth)
  • Peter Kilpatrick (QUB)
  • Richard Lawlor (DIT)
  • Sharon Flynn (NUI, Galway)
  • Arthur Hughes (TCD)