Saturday, June 27, 2015

[DMANET] CCA 2015: Final call for participation

The schedule is now online for the

Twelfth International Conference on
Computability and Complexity in Analysis (CCA 2015)

from July 12 to 15, 2015, at Meiji University, Tokyo, JAPAN.

We strongly recommend to register and to book accommodation asap!


Invited Speakers

* Sicun Gao (Boston, USA)
* Alexander Kreuzer (Singapore)
* Vikram Sharma (Chennai, India)
* Kohei Suenaga (Kyoto, Japan)

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)

The financial support of various sponsors is gratefully acknowledged!

The first day of CCA 2015 is dedicated to the following co-located event:

"German-Japanese Workshop on Theory and Practice of Real Computation"
on Sunday, July 12, supported by DWIH Tokyo and jointly organized by

* Zin Arai
* Akitoshi Kawamura
* Norbert Mueller
* Shin'ichi Oishi
* Siegfried M. Rump
* Martin Ziegler
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.