\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\nInv ited Speakers: Vasco Brattka (Munich, Germany), Ak itoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsal a, Sweden). Tutorial Speaker: Martin Ziegler (Daej eon, South Korea).

\n\n

URL:http://cid.uni-trier.de/ccc-2018-continuity-co
mputability-constructivity-from-logic-to-algorithm
s-faro-portugal-september-24-28-2018/
END:VEVENT
END:VCALENDAR
Extended abstracts (1-2 pages) of original work are welcom e. 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, Effective descriptive set theo ry, Scott's domain theory, Constructive analysis, Category-theoretic approaches to computation on in finite data, Weihrauch degrees, and related areas.

\n