Logic List Mailing Archive

CCA 2017: Computability & Complexity in Analysis

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