Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Full Synopsis

    5th Irish Workshop on Formal Methods

    Dublin, Ireland. 16-17 July 2001

    IWFM'01 is the Fifth International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Dublin City University on 16-17 July, 2001.

    The workshop has traditionally been an occasion for scholars and industry experts from Europe and further a field to share knowledge and develop ideas within the general scope of the workshop, which covers a wide range of topics related to formal methods and foundations of computing.

    Conference Introduction