1. TAPSOFT 1985: Berlin, Germany

Introduction

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