Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 15-19 September 2014
Location: 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/

Please note that this newsitem has been archived, and may contain outdated information or links.