[kisoron-ml] CCA 2015: First Call for Papers

[Hajime Ishihara]

First 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

______________________________________________________________


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

      Authors are invited to submit 1-2 pages abstracts in PDF format
      by March 31st via https://easychair.org/conferences/?conf=cca2015


Conference Web Page

      http://cca-net.de/cca2015/