\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 .

\nInvited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-M ichel Muller (ENS Lyon). With other names to be an nounced.

\n

URL:https://www.lix.polytechnique.fr/CCC2024/
END:VEVENT
END:VCALENDAR
The workshop invites all contributions relating to computation where i ssues of continuity, computability and constructiv ity play major roles. Specific areas of interest i nclude: Exact real number computation, Correctness of algorithms on infinite data, Computable analys is Complexity (of real numbers, real-valued functi ons, etc.), Effective descriptive set theory, Doma in theory, Constructive analysis and topology, Con structive foundations, Category-theoretic approach es to computation on infinite data, Weihrauch degr ees, Other related areas