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)
http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/

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

http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-workshop/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************