Link to Swansea University Link to Computer Science
Logo for Swansea University and Computer Science

Professor Dieter Spreen
University of Siegen

Dr Ulrich Berger
Dr Monika Seisenberger
Swansea University
t: +441792 513380 or 602131
f: (+44) (0)1792 295708

Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2015)

Schloss Aspenstein, Kochel am See, near Munich, 14-18 September 2015

CCC is a conference series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

Previous conferences have been held in Cologne CCC 2009, Trier CCC 2012, Gregynog/Swansea CCC 2013, and Ljubljana CCC2014. The conference series is linked to the EU-funded FP7-research project COMPUTAL (Computable analysis - theoretical and applied aspects) which constitutes a research network between Europe, Russia, South-Africa,and Japan. This conference is the forth COMPUTAL event, but is open to all researchers in the area.