Logic List Mailing Archive

Call for Informal Presentations: CCA 2013 (Computability and Complexity in Analysis)

8-10 July 2013
Nancy, France

______________________________________________________________

First Call for Informal Presentations
Tenth International Conference on

     Computability and Complexity in Analysis (CCA 2013)
     http://cca-net.de/cca2013/

July 8-10, 2013, Nancy, France

Submission deadline: May 20, 2013 (Abstracts only!)
______________________________________________________________


Invited Speakers

    * Ulrich Berger (Swansea, UK)
    * Takayuki Kihara (JAIST, Japan)
    * Cristbal Rojas (Santiago, Chile)
    * Daniel Roy (Cambridge, UK)
    * Martin Ziegler (Darmstadt, Germany)


Scientific Program Committee

    * Andrej Bauer (Ljubljana, Slovenia)
    * Arno Pauly (Cambridge, UK)
    * Hannes Diener (Siegen, Germany)
    * Cameron Freer (MIT, USA)
    * Laurent Bienvenu (Paris, France)
    * Akitoshi Kawamura (Tokyo, Japan)
    * Ker-I Ko, co-chair (Stony Brook, USA)
    * Matthias Schrder (Vienna, Austria)
    * Robert Rettinger (Hagen, Germany)
    * Ning Zhong, co-chair (Cincinnati, USA)


Organizing Committee

    * Anne-Lise Charbonnier (Nancy, France)
    * Hugo Fre (Nancy, France)
    * Emmanuel Hainry (Nancy, France)
    * Mathieu Hoyrup, chair (Nancy, France)
    * Emmanuel Jeandel (Nancy, France)
    * Romain Pchoux (Nancy, France)


Submissions

Authors are invited to submit a PDF abstract (typically
1-2 pages) as "informal presentation" via the following web page:

     https://www.easychair.org/conferences/?conf=cca2013

No full papers will be required and informal presentations
can be based on ongoing research.


Dates

Submission deadline for informal presentations: May 20, 2013
Registration deadline: May 20, 2013


Conference Web Page

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