Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2014)
University of Ljubljana, 15-19 September 2014
Second call for papers
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, Trier CCC 2012, and Gregynog 2013. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis – theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the third COMPUTAL workshop, but is open to all researchers in the area.
The workshop will take place in Ljubljana, Slovenia.
Scope: The workshop specifically invites contributions in the areas of
Invited Speakers:
Tutorial Speakers:
Abstract submission deadline:
10 June 2014
Upload your submission via EasyChair
https://www.easychair.org/conferences/?conf=ccc20140
Programme Committee:
Organizing Committee: