Logic List Mailing Archive

CCA 2015: Computability and Complexity in Analysis

12-15 Jul 2015
Tokyo, Japan

First Call for Papers (with apologies in case of duplicates):

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

______________________________________________________________


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/