Atlas home || Conferences | Abstracts | about Atlas
Host: Schloss Dagstuhl
Homepage: http://uebb.cs.tu-berlin.de/ifm00/, http://www.dagstuhl.de/DATA/Events/00/#00442
Email: office@dagstuhl.de
Organizers: B. Stoddart (Teesside), W. Grieskamp and Th. Santen (TU Berlin)
Description:
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.
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.
Date received: March 21, 2000
© 2008 Atlas Conferences Inc.