[FOM] CCA 2009: Second Call for Papers and Announcement

Peter Hertling peter.hertling at unibw.de
Sun Mar 15 16:50:34 EDT 2009


______________________________________________________________

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

   * Martín 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/
______________________________________________________________


More information about the FOM mailing list