CfP - special issue of JLAP: exact real number computation

[Norbert Mueller]

---------------------Third (and last) call for papers-----------------------

The
                 Journal of Logic and Algebraic Programming

is preparing a 

                             Special issue on
        the practical development of exact real number computation.

You may find the Call for Papers at:

             http://www.informatik.uni-trier.de/~mueller/JLAP/

Attached please find the ASCII-Version of the CfP.
       
Deadline for submissions: December 31, 2002.

         ------------------------------------------
         I am sorry if you receive multiple copies!
         ------------------------------------------

Kind regards

-- 
Dr. Norbert Mueller
FB IV - Abteilung Informatik   * Universitaet Trier * D-54286 Trier (Germany)
email: mueller at uni-trier.de    * http://www.informatik.uni-trier.de/~mueller/
Tel: ..49-(0)651-201-2845/2848 * Fax: ..49-(0)651-201-3805
-------------- next part --------------
------------------------------------------------------------------------
                 Journal of Logic and Algebraic Programming


                               Special issue on 
	the practical development of exact real number computation



        Web Page: http://www.informatik.uni-trier.de/~mueller/JLAP

                Deadline for submissions: December 31, 2002
------------------------------------------------------------------------


Exact real number computation addresses the gap between the practice and
theory  of working  with real numbers.  On the practical side,  floating
point numbers with fixed precision (being a finite set... ) dominate the
daily use of real numbers on computers.  On the theoretical side, models
of computability and computational complexity in analysis  have grown in
parallel. We seek to close the gap by e.g. 

- research on programming languages for non denumerable data sets
- algorithms of approximate nature but with unrestricted precision

Here 'unrestricted precision' denotes the possibility to achieve results
with an arbitrary high precision,  usually combined  with a strict error
analysis or with the use of interval methods.

The  Journal of  Logic  and  Algebraic  Programming  is an international
journal  whose aim is to publish  original work  in the areas of logical
and  algebraic  methods and techniques  for programming  in its broadest
sense.
The Journal of  Logic  and  Algebraic Programming complements Elsevier's
Science of Computer Programming and  Theoretical Computer Science by its
focus  on the foundations of  logical, algebraic and categorical methods
for programming.
For more information, visit http://www.elsevier.com/locate/jlap.

This  special issue  covers  the spectrum  from  theoretical results  to
concrete applications of exact real number computation, with an emphasis
on programming languages and implementations.

Submissions are sollicited on topics including, but not limited to:

- abstract models of computation for non denumerable sets
- programming languages for exact real arithmetic
- data structures for exact real numbers or for `large` subsets
  of the reals
- algorithms for exact arithmetic on real numbers
- algorithms for approximate arithmetic or interval arithmetic,
  but with unrestricted precision
- complexity theory related to arithmetic on real numbers
- symbolic or algebraic computations on real numbers
- survey articles or case studies on the area

We look for original, unpublished contributions of high quality that are
not submitted elsewhere.   All submissions  will be evaluated on the the
ususal criteria  (like technical content, originality... ),  but also on
how they  "bridge the gap",  i.e.  having both   theoretical aspects and
practical experiments will be a bonus.

Deadline for submissions is December 31, 2002.
Authors will be notified of acceptance or rejection before May 1, 2003.
We anticipate publication of the special issue about end of 2003.

Authors are requested to submit their paper (in either Postscript or PDF)
electronically to the chief editor indicated below. We encourage the use
of the Elsevier style file with LaTeX
(see http://www.elsevier.com/locate/latex). 

In order to speed up the review process,  authors are strongly encouraged
to send (tentative)  title and  abstract to the  chief editor  as soon as
available.


Chief editor:

  Norbert Mueller       mueller at uni-trier.de
                        Fachbereich IV - Abteilung Informatik
                        Universitaet Trier
                        D-54286 Trier
                        Germany

Guest editors:

  Martin Escardo        m.escardo at cs.bham.ac.uk
                        School of Computer Science
                        University of Birmingham
                        Birmingham B15 2TT
                        England


  Paul Zimmermann       Paul.Zimmermann at loria.fr
                        INRIA Lorraine
                        Technopole de Nancy-Brabois
                        615 rue du Jardin Botanique, BP 101 
                        F-54600 Villers-les-Nancy
                        France