3. MFCS 1974: Jadwisin near Warsaw, Poland

Automata Theory

Computing Systems

Cooperating Processes and Simulation

Formal Languages

Mathematical Aspects of Application Methodology

Theory of Programs

a service of Schloss Dagstuhl - Leibniz Center for Informatics