Call for participation: Computability and complexity in analysis 2009

Call for participation: Computability and complexity in analysis 2009

[Andrej Bauer]

______________________________________________________________

Call for Participation
Sixth International Conference on

Computability and Complexity in Analysis 2009 (CCA 2009)

August 18-22, 2009, Ljubljana, Slovenia

Early registration deadline: July 31, 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)


Tutorials

 * Martín Escardó           (Birmingham, UK)
 * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands)


Venue

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


Registration Fees

 * Euro 100 until July 31, 2009 (standard fee)
 * Euro 120 after July 31, 2009 (late fee)


Schedule

The tentative schedule as well as further information on registration,
accommodation, and traveling is available here:

http://cca.fmf.uni-lj.si/


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.


Conference Web Page

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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]