Tutorials

The Computal conferences are accompanied by tutorials giving Ph.D. and master students a quick and profound access to parts of the field. To allow for a broad education in the field, the intention of the tutorials is both, covering material necessary to work on the tasks but also to introduce into new subareas.

Tutorials during CCC 2012, Trier:

  • Effective Brownian Motion (Willem Fouché, Pretoria)
  • The proofs-as-programs paradigm in computable analysis (Ulrich Berger, Swansea)

Tutorials during CCC 2013, Swansea University/Gregynog :

  • Computability and Dynamical Systems (Pieter Collins, Maastricht)
  • Fast implementation of exact real number computation (Norbert Müller, Trier)
  • Weihrauch degrees of unsolvability (Arno Pauly, Cambridge)