[FOM] CCA 2014: Third Call for Papers
Vasco Brattka
Vasco.Brattka at cca-net.de
Thu Apr 3 17:06:43 EDT 2014
______________________________________________________________
Third 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/
______________________________________________________________
More information about the FOM
mailing list