From August 31 to September 4, 2020 the online workshop "Continuity, Computability, Constructiveness - From Logic to Algorithms" (CCC 2020) will take place.
You will find the call for participation on the website of the CID Trier.
CCC is a series of workshops that brings together researchers who use logical methods to develop algorithms, with a special focus on computations with infinite data, where questions of continuity, computability and constructivity play an important role. Specific topics include exact computation of real numbers, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall goal is to apply logical methods in these disciplines to provide a solid foundation for obtaining accurate and demonstrably correct algorithms for calculations with real numbers and other continuous data, which are of increasing importance for safety-critical applications and scientific computing.
Due to the COVID 19 pandemic and its consequences in terms of travel and meeting, the workshop will be held online.
Previous workshops have already taken place in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018 and Ljubljana 2019.
The workshop is open to all researchers in the region and particularly invites contributions in the following areas:
- Precise calculation of the real number,
- Correctness of algorithms on infinite data,
- Calculable analysis,
- Complexity of real numbers, real-valued functions, etc.
- Effective descriptive set theory,
- Domain theory,
- Constructive analysis,
- Category theoretical approaches to calculation on infinite data,
- Incense degrees,
- and related areas.
Invited speakers:
- Holger Boche (Munich)
- Elvira Mayordomo (Zaragoza)
- Eike Neumann (Oxford)
- Hideki Tsuiki (Kyoto)
Tutorial speaker:
- Hongseok Yang (KAIST)
Programme Committee:
- Matthew de Brecht (Kyoto)
- Daniel Graça (Faro) (Co-Chairman)
- Michal Konečný (Aston)
- Monika Seisenberger (Swansea)
- Alex Simpson (Ljubljana)
- Dieter Spreen (Siegen) (Co-Chairman)
- Holger Thies (Kyushu)
- Martin Ziegler (Daejeon)
Organizing Committee:
- Daniel Graça (Faro)
- Dieter Spreen (Victory)