October 31 – November 3 , 2000, Event 00442

IFM'2000, the Second International Conference on Integrated Formal Methods


B. Stoddart (Teesside), W. Grieskamp (TU Berlin), Th. Santen (TU Berlin)

For support, please contact

Heike Clemens


External Homepage
Dagstuhl's Impact: Documents available

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.