Link to Swansea University Link to Computer Science
Logo for Swansea University and Computer Science
Photo of Gregynog
Gregynog, Main Hall

Contact:

U. Berger, M.Seisenberger
Dept. of Computer Science
College of Science
Swansea University
Singleton Park
Swansea SA28PP, UK

t: (+44) (0)1792 513380 or 602131
f: (+44) (0)1792 295708
e: m.seisenberger@swansea.ac.uk


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

Swansea University/Gregynog, 26-30, June 2013



CCC is a workshop 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 workshops have been held in Cologne CCC 2009 and Trier CCC 2012. One outcome of the 2009 workshop series is the creation of the EU funded research project COMPUTAL (Computable analysis - theoretical and applied aspects) which is a research network between Europe, Russia, South-Africa,and Japan. This workshop will at the same time be the second COMPUTAL workshop, but is open to all researchers in the area.