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

maintained by Schloss Dagstuhl LZI at University of Trier