BCS is a registered charity: No 292786
Maynooth, Ireland. 5th-6th July 2000
IWFM'00 is the Forth 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 Maynooth, Ireland on 5-6 July, 2000.