1. Symposium on Programming 1974: Paris, France

Structured Programm

Program Correctness

Proving Properties of Programs

Specific Applications of Programming Languages

Control Structures

Schematology

Theory of Programming

System Design

Parallel Processing

Formal Semantics

maintained by Schloss Dagstuhl LZI at University of Trier