1. TAPSOFT 1985: Berlin, Germany


Advanced Seminar on the Role of Semantics in Software Development

Colloquium on Software Engineering

Concepts and Methods in Software Development

Tools and Environments

Rigorous Approaches to Programming

Abstract Data Types in Software Development

Views of Concurrency

Industrial Experience

maintained by Schloss Dagstuhl LZI, founded at University of Trier