24-27 Jul 2017
Daejeon, South Korea
______________________________________________________________ CALL FOR PARTICIPATION: Fourteenth International Conference on Computability and Complexity in Analysis (CCA 2017) http://cca-net.de/cca2017/ July 24-27, 2017, Daejeon, Republic of Korea (South Korea) ______________________________________________________________ * About CCA 2017 This conference is concerned with the theory of computability and complexity over real-valued data. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers. The conference CCA 2017 is preceded by the 15th Asian Logic Conference from July 10 to 14 and followed by the Workshop on Real Verification on Friday, July 28. * Invited Speakers - Hee-Kap Ahn (Pohang, Republic of Korea) - Verónica Becher (Buenos Aires, Argentina) - Anders Hansen (Cambridge, UK) - Takayuki Kihara (Berkeley, USA) - Amaury Pouly (Max Planck Institute, Germany) - Linda Brown Westrick (Connecticut, USA) * Registration Early bird registration is open until June 10th: http://kaist.kiwii.co.kr/ * Scientific Programme Committee - Johanna Franklin (Hempstead, USA) - Daniel Graça, chair (Faro, Portugal) - Vassilios Gregoriades (Turin, Italy) - Peter Hertling (Munich, Germany) - Gyesik Lee (Anseong, Republic of Korea) - Alexander Melnikov (Auckland, New Zealand) - Takako Nemoto (Ishikawa, Japan) - Arno Pauly (Brussells, Belgium) - Cristóbal Rojas (Santiago, Chile) - Frank Stephan (Singapore) - Klaus Weihrauch (Hagen, Germany) * Organising Committee - Sunyoung Kim (Yonsei University, Republic of Korea) - Sewon Park (KAIST, Republic of Korea) - Martin Ziegler, chair (KAIST, Republic of Korea) * A co-located "Workshop on Real Verification" will take place on Friday, July 28, jointly organized by: - Gyesik Lee (Hankyong National University, Republic of Korea) - Martin Ziegler (KAIST, Republic of Korea) https://complexity.kaist.edu/CCA2017/workshop.html -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam