Schedule

CAAG - Computability in Analysis, Algebra, and Geometry
CCT - Classical Computability Theory
CL - Computational Linguistics
NC - Natural Computing
RPW - Relations between the physical world and formal models of computability
TTC - Theory of transfinite computations

Download the PDF version of the schedule.

Download the PDF version of the full programme.