\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\nInvited Speakers: Hannes Diener (Chr istchurch, New Zealand) , Fabian Immler (Pittsburg h, USA), Florian Steinberg (Paris, France), Thomas Streicher (Darmstadt, France) and Holger Thies (F ukuoka, Japan). Tutorial Speaker: Helmut Schwichte nberg (Munich, Germany).

\n\n

URL:https://www.fmf.uni-lj.si/~simpson/ccc2019
END:VEVENT
END:VCALENDAR
Ex tended abstracts (1-2 pages) of original work are welcome. The workshop specifically invites contrib utions in the areas of Exact real number computati on, Correctness of algorithms on infinite data, Co mputable analysis, Complexity of real numbers, rea l-valued functions, etc., Effective descriptive se t theory, Domain theory, Constructive analysis, Ca tegory-theoretic approaches to computation on infi nite data, Weihrauch degrees, and related ar eas.

\n