Friday, April 3, 2015

[DMANET] CCA 2015: deadline extension

Due to several requests in view of the spring break/Easter Holiday,
the submission deadline to CCA 2015 has been extended to April 10.

Twelfth International Conference on

Computability and Complexity in Analysis (CCA 2015)

July 12-15, 2015, Tokyo, JAPAN

The conference topic combines discrete and continuous
aspects of mathematics and computer science.


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)


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 April 10

Conference Web Page

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
* 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.