\n

CCC is a workshop series bringing together researchers from exact real number computation, computable analysi s, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to pro vide a sound foundation for obtaining exact and pr ovably correct algorithms for computations with re al numbers and related analytical data, which are of increasing importance in safety critical applic ations and scientific computation.

\n\n

URL:https://members.loria.fr/MHoyrup/CCC/home.html
END:VEVENT
END:VCALENDAR
The workshop specifically invites contribu tions in the areas of Exact real number computatio n, Correctness of algorithms on infinite data, Com putable analysis, Complexity of real numbers, real -valued functions, etc. Effective descriptive set theory Scott's domain theory, Constructive analysi s, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, And related are as. Extended abstracts (1-2 pages) of original wor k are welcome.

\n