Logic List Mailing Archive

CCA 2009: Computability and Complexity in Analysis 2009

18-22 August 2009
Ljubljana, Slovenia

______________________________________________________________

First Call for Papers and Announcement
Sixth International Conference on

Computability and Complexity in Analysis 2009 (CCA 2009)

August 18-22, 2009, Ljubljana, Slovenia

Submission deadline: May 11, 2009
______________________________________________________________


Scientific Program Committee

    * Andrej Bauer          (Ljubljana, Slovenia)
    * Vasco Brattka           (Cape Town, South Africa)
    * Mark Braverman          (Microsoft Research New England, USA)
    * Pieter Collins           (Amsterdam, The Netherlands)
    * Peter Hertling, co chair    (Neubiberg, Germany)
    * Hajime Ishihara          (Ishikawa, Japan)
    * Ker-I Ko, co chair         (Stony Brook, USA)
    * Robert Rettinger         (Hagen, Germany)
    * Victor Selivanov          (Novosibirsk, Russia)
    * Alex Simpson          (Edinburgh, Great Britain)
    * Dieter Spreen          (Siegen, Germany)
    * Frank Stephan          (Singapore)
    * Xizhong Zheng          (Glenside, USA)


Local Organizer

    * Andrej Bauer              (Ljubljana, Slovenia)


Venue

The University of Ljubljana, Slovenia


Tutorials

It is planned to have a tutorial session with an emphasis
on the relation between computable analysis and practical
real number computing.


Submissions

Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the
following web page:

http://www.easychair.org/conferences/?conf=cca2009


Proceedings

Accepted papers will be published in an electronic proceedings
volume in the DROPS series of Schloss Dagstuhl.
In addition, a technical report containing the accepted
papers will be available at the conference.
It is planned to publish a special issue of some journal
dedicated to CCA 2009 after the conference.


Dates

Submission deadline:     May 11,  2009
Notification of authors: June 15, 2009
Final Version:           July 13, 2009


Conference Web Page

http://cca-net.de/cca2009/
______________________________________________________________