15-19 September 2014, Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2014), Ljubljana, Slovenia

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.

To view the programme and to register please visit http://ccc2014.fmf.uni-lj.si/