CCA 2014 CfP: Special Session on Implementation of Exact Real Number Arithmetic

______________________________________________________________

Special Session on Implementation of Exact Real Number Arithmetic

during the

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
______________________________________________________________

The scientific field of "Computable Analysis" gives a solid theoretical
foundation to numerical mathematics. However, there is still a big gap between
these theoretical results and practical applications thereof.

In a special session during CCA 2014, we want to bring together scientists
that work on realizing computable analysis. This includes, but is not
restricted to:

* software packages for "exact real computation"
* aspects of computational complexity and of efficiency in implementations
* novel algorithms for applications using exact real arithmetic
* comparisions of exact real arithmetic with double/multiple precision
algorithms

Submissions

Scientists working in these areas are invited to submit 1-2 pages abstracts
in PDF format, including references via the original web page of the CCA 2014
conference:

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.


Invited Speakers of CCA 2014

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


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/

______________________________________________________________