\n

CCC i s a workshop series bringing together researchers from\n real analysis, computability theory, a nd constructive\n mathematics. The overall ai m is to apply logical methods in\n these disc iplines to provide a sound foundation for obtainin g\n exact and provably correct algorithms for computations with real\n numbers and related analytical data, which are of increasing\n i mportance in safety critical applications and scie ntific\n computation.\n

\n \n \nFor more information, see\n http://www.cs.swan.ac.uk/ccc2015/ < http://www.cs.swan.ac.uk/ccc2015/> ;\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/684
9/14-18-September-2015-Continuity-Computability-Co
nstructivity-From-Logic-to-Algorithms-CCC-2015-Koc
hel-am-See-Germany
END:VEVENT
END:VCALENDAR
The w orkshop specifically invites contributions in the areas of \n exact real number computation, effective topology, Scott's domain theory,\n Weihrauch's type two theory of effectivity categ ory-theoretic approaches \n to computation on infinite data. hierarchies of unsolvability and related \n areas.\n Abstract submis sion deadline:\n 15 June 2015.\n

\ n