Please note that this newsitem has been archived, and may contain outdated information or links.
14-18 September 2015, Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2015), Kochel am See, Germany
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.
For more information, see http://www.cs.swan.ac.uk/ccc2015/ <http://www.cs.swan.ac.uk/ccc2015/>
The workshop specifically invites contributions in the areas of exact real number computation, effective topology, Scott's domain theory, Weihrauch's type two theory of effectivity category-theoretic approaches to computation on infinite data. hierarchies of unsolvability and related areas. Abstract submission deadline: 15 June 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.