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.


Contributed Talks




Special Sessions


Thuesday 28.06.11

Special Sessions 3

Wednesday 29.06.11

Special Sessions 4

Thursday 30.06.11

Special Sessions 2

Friday 01.07.11

Special Sessions1