Applying formal methods may involve the modelling of different aspects of a
system that are expressed through different paradigms. This motivates us to
research the combination of different viewpoints of a system, either by the
creation of hybrid notations, by extending existing notations, by
translating between notations, or by incorporating a wider perspective by
innovative use of an existing notation.
The integration of formal methods promises great benifits for systems
modelling and software development. Whichever approach is taken,
significant issues can arise in areas such as semantic integration,
the tractability of our notations, the integration of tool support,
the integration of proof systems, consistency and completeness. Issues
arise equally in our conceptualisation of systems at different levels
of abstraction and the development of these conceptualisations through
the process of refinement.
The stated theme of IFM99 was the integration of state based and behavioural
formalisms. For IFM2000 this has been widened to include all aspects
pertaining to the integration of formal methods and formal notations.
The conference also welcomes contributions in related areas such as: hybrid
systems, the embedding of one formalism within another, and the integration
of formal methods with informal or semi-formal diagram notations and
structuring techniques.
Invited talks will be given by:
- Tony Hoare, Microsoft Research, Cambridge, UK
- Wolfram Schulte, Microsoft Research, USA
Schloss Dagstuhl is a beautiful
18th century chateau converted for dedicated use as a computer science
conference centre but retaining many original features including a
chapel and music room. It is set in the wooded hills of Saarland,
Germany, close to the French border. Its many facilities include a
world class computer science library, extensive computing facilities,
and accomodation for conference participants. For further details and
travel information see the Dagstuhl
Web Site.
Submissions should be original work, not published or submitted
elsewhere. Submissions may be up to 20 pages in length and should be
prepared with LaTeX, preferably using the Springer lncs style
package. Conference proceedings will be published by Springer
Verlag in the series "Lecture Notes in Computer Science".
Completed submissions should be emailed to
IFMPapers@tees.ac.uk.
Each submission should have two attachments, these being the draft paper
and a cover sheet. They should be in postscript format. The cover sheet
should contain the title, abstract, and key words, the postal and email
addresses of all authors, and the telephone and fax numbers of the contact
author.
| May 22th | (extended) submission deadline |
| July 7th | (extended) notification of acceptance |
| July 27th | (extended) submission of final copy |
| Nov 1st | Conference |
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (for further
questions please contact the organizers via
IFMOrg@uebb.cs.tu-berlin.de).