[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)

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)


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


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.


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

Conference Web Page



More information about the FOM mailing list