Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Research Meeting 00442

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

( Oct 31 – Nov 03, 2000 )

Please use the following short url to reference this page:

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