Concurrent and distributed systems have gained increasing importance in numerous new application areas. The research areas covered by the workshop are:

• Formal specification and foundations of distributed systems
• Performance evaluation and dependability modeling
• Specification and analysis of communication protocols
• Reliability, security, and dependability in distributed systems
• Software development and concepts for distributed applications
• Computer network architecture and management

This international workshop is organized by the graduate program on communication-based systems, a common effort of the Berlin universities. It is meant as a forum for presenting the research results of its Ph.D students, putting them into perspective through invited talks of leading experts in the field. We invite scientists in the field of communication-based systems to participate in this workshop. More information can be found at the workshop's web page:

GRATRA: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (Contact: Hartmut Ehrig)

Graphical representations and graphs are extremely useful to model complex structures in many fields of computer science. Graph transformation is the rule-based manipulation of such graphs. The area of graph transformation is supported by the TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT working group APPLIGRAPH (Applications of Graph Transformation). The final workshop of APPLIGRAPH and GETGRATS is not restricted to members of the teams but open for everybody interested in graph transformation.
Major topics of interest include but are not limited to the following:

• Fundamentals: Node, edge and hyperedge replacement, algebraic and logical approaches, term graph rewriting, graph theoretical properties, concurrency, distributivity, and semantics, high-level replacement systems, structuring concepts and analysis techniques for graphs and graph transformation.


• Applications: languages and tools based on graph transformation, application of graph transformation to visual languages, database and information systems, concurrent and distributed systems, CSCW and distributed business process reengineering, design and implementation of programming languages, and software engineering.

Organizers: H. Ehrig and G. Taentzer (Berlin) in cooperation with A. Corradini (Pisa) and H.-J. Kreowski (Bremen)

Programme Committee: H. Ehrig (Chair), TU Berlin,
M. Bauderon (Univ. Bordeaux), A. Corradini(Univ. Pisa), G. Engels (Univ. Paderborn), D. Janssens (UIA Antwerpen), H.-J. Kreowski (Univ. Bremen), U. Montanari (Univ. Pisa), M. Nagl (RWTH Aachen), F. Parisi-Presicce (Univ. "La Sapienza" Rome). R. Plasmeijer (Kath.Univ. Nijmegen), D. Plump (Univ. Bremen), G. Rozenberg (Rijksuniv. Leiden), G. Taentzer (TU Berlin)

INT: Integration of Specification Techniques with Applications in Engineering (Contact: Martin Grosse-Rhode)

Scope: The use of different specification languages within a single software development project is nowadays supported by an increasing number of approaches, most prominently the unified modeling language UML. This prompts the question for the integration and the consistency checking of local specifications, a problem that becomes even more evident in engineering applications, where also formal or semi formal specification techniques specific to the particular application are used.

In 1998 the German research council DFG started the program ``Software Specification'' to support the research on the integration of such specification techniques, in particular with respect to the application domains of automated manufacturing systems and traffic control systems.

The INT workshop will consist of a number of invited presentations on the hot topics of this research area by members of the research projects within this program and further international experts in this field.

Organizers: W.Brauer (Munich), H.Ehrig, M.Grosse-Rhode (Berlin), E.Schnieder (Braunschweig), F.Orejas (Barcelona)

CoFI: Common Framework Initiative for algebraic specification and development of software (Contact: Don Sannella)

The aim of CoFI is to establish and promote a common framework for algebraic specification and development of software, building on 25 years of progress in this area. It is an open international collaboration, presently funded as an ESPRIT working group. CoFI participants have designed CASL, intended as a common language for formal specification of functional requirements and modular software design. Present topics include: extensions to CASL; development of proof techniques; formulation of methodological guidelines; tool support; use of CoFI in the specification and development of reactive systems; relationship between CASL and other specification languages; case studies.

This ETAPS 2000 satellite event will be a workshop for CoFI participants consisting mainly of technical working meetings rather than talks of general interest. Newcomers who wish to contribute to CoFI are welcome.

CMCS 2000:Workshop on Coalgebraic Methods in Computer Science (Contact: Horst Reichel )

State-based dynamical systems as found throughout computing science are traditionally described as transition systems or certain kinds of automata. During the last decade, it has become increasingly clear that such systems can be captured uniformly as so-called ``coalgebras'' (which are the formal dual of algebras). Coalgebra is beginning to develop into a field of its own, with its own proof-methods (involving bisimulations and invariants). This workshop will be devoted to both an introduction to basic coalgebraic notions and techniques, and also to some recent advances in the theory of coalgebras.

We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science.