12-15 Jul 2015
Tokyo, Japan
Final Call for Papers:
Twelfth International Conference on
Computability and Complexity in Analysis (CCA 2015)
http://cca-net.de/cca2015/
July 12-15, 2015, Tokyo, JAPAN
The conference topic includes many aspects of logic, such as
* Constructivism
* Computability
* Randomness
* Reverse analysis
* Proof Theory
* Effective Descriptive Set Theory
* Reduction and Degrees
______________________________________________________________
Invited Speakers
* Sicun Gao (Boston, USA)
* Alexander Kreuzer (Singapore)
* Vikram Sharma (Chennai, India)
* Kohei Suenaga (Kyoto, Japan)
* Katrin Tent (Münster, Germany; tbc)
Scientific Program Committee
* Andrej Bauer (Ljubljana, Slovenia)
* Stephen A. Cook (Toronto, Canada)
* Guido Gherardi (Munich, Germany)
* Daniel Graça (Faro, Portugal)
* Hajime Ishihara (Ishikawa, Japan)
* Ker-I Ko (Hsinchu, Taiwan)
* Timothy McNicholl (Ames, USA)
* André Nies (Auckland, New Zealand)
* Mariko Yasugi (Kyoto, Japan)
* Martin Ziegler, chair (Darmstadt, Germany)
Organizing Committee
* Naohi Eguchi (Chiba University, Japan)
* Kojiro Higuchi (Chiba University, Japan)
* Akitoshi Kawamura, chair (University of Tokyo, Japan)
* Kenshi Miyabe (Meiji University, Japan)
* Ryuhei Mori (Tokyo Institute of Technology, Japan)
* Hideki Tsuiki (Kyoto University, Japan)
Submissions
CCA2015 invites the submission of two-page extended abstracts
collected for distribution at the conference. Not considered as
formally reviewed proceedings, full and extended versions of
these short submissions may, and are in fact encouraged to,
appear on other occasions such as fully refereed conferences
or in the later journal post-proceedings.
Please upload your contribution in PDF format by March 31
to https://easychair.org/conferences/?conf=cca2015
Conference Web Page
http://cca-net.de/cca2015/
Co-located "Workshop on Theory and Practice of Real Computation"
on Sunday, July 12, jointly organized and with tutorials/talks by:
* Zin Arai
* Akitoshi Kawamura
* Shin'ichi Oishi
* Siegfried M. Rump
* Martin Ziegler