\n

CCC is a workshop series that brings together researchers a pplying logical methods to the development of algo rithms, with a particular focus on computation wit h infinite data, where issues of continuity, compu tability and constructivity play major roles. Spec ific topics include exact real number computation, computable analysis, effective descriptive set th eory, constructive analysis, and related areas. Th e overall aim is to apply logical methods in these disciplines to provide a sound foundation for obt aining exact and provably correct algorithms for c omputations with real numbers and other continuous data, which are of increasing importance in safet y critical applications and scientific computation .

\n\nThe workshop was planned to take pla ce in Faro, Portugal. However, due to the COVID-19 pandemic, the workshop will now be online.

\n< /div>\n

URL:http://cid.uni-trier.de/ccc-2020
END:VEVENT
END:VCALENDAR
Extended abstracts (1-2 pages) of original work are welcome. The workshop specifica lly invites contributions in the areas of Exact re al number computation, Correctness of algorithms o n infinite data, Computable analysis, Complexity o f real numbers, real-valued functions, etc. Effect ive descriptive set theory, Domain theory, Constru ctive analysis, Category-theoretic approaches to c omputation on infinite data, Weihrauch degrees, An d related areas.

\n