CCA 2014: Second Call for Papers

______________________________________________________________

Second Call for Papers
Eleventh International Conference on

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

21-24 July 2014, Darmstadt, Germany

Submission deadline: April 7, 2014
______________________________________________________________


Invited Speakers

* Matthew de Brecht (Osaka, Japan)
* Martín Escardó (Birmingham, UK)
* Johanna Franklin (Storrs, USA)
* Timothy McNicholl (Ames, USA)
* Alexander Melnikov (Singapore)
* Arno Pauly (Cambridge, UK)


Scientific Programme 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)
* Norbert Müller (Trier, Germany)
* Daniel Roy (Cambridge, UK)


Organising Committee

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


Special Session on Implementation of Exact Real Number Arithmetic

Organised by Norbert Müller (Trier, 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/

______________________________________________________________