Logic List Mailing Archive

CCA 2012: Computability and Complexity in Analysis

24-27 June 2012
Cambridge, U.K.

First Call for Papers and Announcement

      Nineth International Conference on
     Computability and Complexity in Analysis (CCA 2012)

            June 24 - 27, 2012, Cambridge, UK

Submission deadline: April 1, 2012
_____________________________________________________

The conference takes place immediately after the

     *Centenary of Alan Turing's birth on 23 June 2012 and following the
     *Turing Centenary Conference CiE 2012 from 18-23 June 2012.

Invited Speakers:
     Vasco Brattka (Cape Town, South Africa)
     Akitoshi Kawamura (Tokyo, Japan)
     Robert Lubarsky (Boca Raton, FL, US)
     Elvira Mayordomo (Zaragoza, Spain)
     Andre Nies (Auckland, New Zealand)
     Lawrence C. Paulson (Cambridge, UK)
     Helmut Schwichtenberg (Munich, Germany)

Scientific Program Committee:
     Rod Downey (Wellington, New Zealand)
     Martn Escard (Birmingham, UK)
     Guido Gherardi (Bologna, Italy)
     Jack H. Lutz (Ames, USA)
     Peter Schuster (Leeds, UK)
     Victor Selivanov (Novosibirsk, Russia)
     Klaus Weihrauch, chair (Hagen, Germany)
     Ning Zhong (Cincinnati, USA)

Organizing Committee:
     Anuj Dawar (Cambridge, UK)
     Martn Escard (Birmingham, UK)
     Bjarki Holm (Cambridge, UK)
     Arno Pauly, chair (Cambridge, UK)

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

https://www.easychair.org/conferences/?conf=cca2012

Proceedings:
No proceedings will be published before the conference. A booklet with 
abstracts will be made available at the conference. It is planned to publish 
post-conference proceedings in a special issue of some journal afterwards.

Dates:
Submission deadline:             April 1, 2012
Notification of authors:        May 6, 2012
Final version of abstract:      May 27, 2012

Conference Web Page: http://cca-net.de/cca2012/