Logic List Mailing Archive

2nd CfP: CCA 2009: Computability and Complexity in Analysis

18-22 August 2009
Ljubljana, Slovenia

______________________________________________________________
Second 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
______________________________________________________________


Invited Speakers

    * Mark Braverman           (Cambridge, USA)
    * Vladik Kreinovich        (El Paso, USA)
    * Dana Scott               (Pittsburgh, USA)
    * Ning Zhong               (Cincinnati, USA)


Scientific Program Committee

    * Andrej Bauer             (Ljubljana, Slovenia)
    * Vasco Brattka            (Cape Town, South Africa)
    * Mark Braverman           (Cambridge, USA)
    * Pieter Collins           (Amsterdam, The Netherlands)
    * Peter Hertling, co-chair (Munich, 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)


Organizing Committee

    * Andrej Bauer, chair      (Ljubljana, Slovenia)
    * Iztok Kavkler            (Ljubljana, Slovenia)
    * Davorin Le?nik           (Ljubljana, Slovenia)
    * Matija Pretnar           (Ljubljana, Slovenia)


Venue

Faculty of Mathematics and Physics, University of Ljubljana, and
Institute of Mathematics, Physics, and Mechanics, Slovenia


Tutorials

    * Martn Escard           (Birmingham, UK)
    * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands)


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

These extended abstracts should be prepared using
the LNCS stylefile of Springer Verlag; see

http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0


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/