Logic List Mailing Archive

CfPart: CCA 2009

18-22 Aug 2009
Ljubljana, Slovenia

Call for Participation
Sixth International Conference on

Computability and Complexity in Analysis 2009 (CCA 2009)

August 18-22, 2009, Ljubljana, Slovenia

Early registration deadline: August 1st, 2008

IMPORTANT: book hotels before June 25th, 2009, see information below!
______________________________________________________________

Invited Speakers

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

Tutorial Speakers

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

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 (Ljubljana, Slovenia)
    * Iztok Kavkler (Ljubljana, Slovenia)
    * Davorin Lesnik (Ljubljana, Slovenia)
    * Matija Pretnar (Ljubljana, Slovenia)

Venue & Accommodation

The venue for CCA 2009 is the Faculty of Mathematics
and Physics, University of Ljubljana. Further information
on accommodation is available here:

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

IMPORTANT: special hotel room offers are available only
until June 25th, 2009. Please book your room early!

Registration Fees

    * Euro 100 until August 1st, 2009 (standard fee)
    * Euro 120 after August 1st, 2009 (late fee)

Further information on registration is available here:

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

Programme

The programme will start with a tutorial day in the
morning of August 18th and finish around lunch time of
August 22nd. The schedule will be fixed soon and will
then be available on the conference home page.

Proceedings

Fully accepted papers will be published as CCA 2009 proceedings
in the Dagstuhl Research Online Publication Server. In addition,
a printed version (as a technical report) will be available at
the conference.

It is customary to publish a special journal issue dedicated to
CCA 2009 after the conference.

Conference Web Page

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