Logic List Mailing Archive

CCA 2014: Computability and Complexity in Analysis

21-24 Jul 2014
Darmstadt, Germany

______________________________________________________________

First Call for Papers
Eleventh International Conference on

      Computability and Complexity in Analysis (CCA 2014)
      http://cca-net.de/cca2014/

July 21-24, 2014, Darmstadt, Germany

Submission deadline: April 7, 2014
______________________________________________________________


Invited Speakers

     * Matthew de Brecht (Kyoto, Japan)
     * Martn Escard (Birmingham, UK)
     * Johanna Franklin (Storrs, USA)
     * Timothy McNicholl (Ames, USA)
     * Alexander Melnikov (Singapore)
     * Arno Pauly (Cambridge, UK)


Scientific Program Committee

     * Vasco Brattka, chair (Munich, Germany and Cape Town, South Africa)
     * Mathieu Hoyrup (Nancy, France)
     * Zvonko Iljazovic (Zagreb, Croatia)
     * Joseph S. Miller (Madison, USA)
     * Takayuki Kihara (JAIST, Japan)
     * Ulrich Kohlenbach (Darmstadt, Germany)
     * Elvira Mayordomo (Zaragoza, Spain)
     * Nobert Mller (Trier, Germany)
     * Daniel Roy (Cambridge, UK)


Organizing Committee

     * Ulrike Brandt (Darmstadt, Germany)
     * Vassilis Gregoriades (Darmstadt, Germany)
     * Martin Ziegler, chair (Darmstadt, Germany)


Submissions

Authors are invited to submit 1-2 pages abstracts in PDF format,
including references via the following web page:

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

If full versions of papers are already available as technical report
or arXiv version, then corresponding links should be added to the
reference list. Final versions of abstracts might be distributed to
participants in hardcopy and/or in electronic form.


Dates

     * Submission deadline: April 7, 2014
     * Notification of authors: May 12, 2014
     * Final version: June 2, 2014


Conference Web Page

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

______________________________________________________________