Seminars Seminar Calendar Seminar Details
Please select your role
to obtain appropriate quick-links. I am... Organizer of a Dagstuhl Seminar Participant of a Seminar/Event Proposer of a Seminar/Event Editor of a LIPIcs/OASIcs volume Author of a LIPIcs/OASIcs paper looking for an Article/Report a dblp User a Journalist an Interested Citizen
As a LIPIcs/OASIcs author, you will be invited by e-mail to register at the Dagstuhl Submission Server. The server will guide you through the publication workflow. Preliminary information can be found here:
Research Meeting 00442
IFM'2000, the Second International Conference on Integrated Formal Methods
– Nov 03, 2000
Integrated formal methods : second international conference, Dagstuhl Castle, Germany, November 1 - 3, 2000, proceedings = IFM 2000 - Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill - Heidelberg : Springer, 2000. - X, 439 S - (Lecture notes in computer science; 1945). ISBN: 3-540-41196-8.