1. FCT 1977: Poznan-Kórnik, Poland

Algebraic & Constructive Theory of Machines, Computations and Languages

Computation Theory in Category

Computability, Decidability & Arithmetic Complexity