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


Dagstuhl's Impact: Documents available
External Homepage

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.