RealComp'98 - First Announcement RealComp'98 - First Announcement

[Among other subjects, the following tutorial workshop / summer school
will cover semantics of real number computation and extensions of PCF
with a real number data type.  Therefore, it might be of interest to
TYPES readers.]

                      First Announcement

                   Real Number Computation

              Tutorial Workshop / Summer School

June 19-20, 1998 Indianapolis, Indiana, USA, preceding the IEEE
Symposium on Logic in Computer Science (LICS)

Workshop url:  http://theory.doc.ic.ac.uk/~ps15/ws/


  The usual implementation of real numbers in today's computers as
floating point numbers has the well-known deficiency that most numbers
can only be represented up to some fixed accuracy. This means that
even the basic arithmetic operations can not be performed exactly,
leading to the ubiquitous round-off errors. This is a serious problem
in all disciplines where high accuracy calculations are required. Many
different disciplines deal with Real Number Computation in a broad
sense. One of the ultimate goals of the theoretical and practical
research in this area is to overcome the above mentioned problems by
improving the present implementations and algorithms or providing

Aims and Scope

  The meeting aims to present an introduction to the interdisciplinary
area of Real Number Computation. The subject is understood in a broad
sense and covers various different fields like Recursion Theory,
Interval Analysis, Computer Arithmetic, Semantics of Programming
Languages and Numerical Analysis.  All talks will be accessible to
graduate students in any area of computer science, logic and
mathematics.  The workshop is also meant to provide researchers from
the various different communities an opportunity to meet and exchange


    Douglas Bridges (University of Waikato, Hamilton, New Zealand)*
    George Corliss (Marquette University, Milwaukee, USA) 
    Abbas Edalat (Imperial College, London, UK) 
    Martin Escardo (University of Edinburgh, UK) 
    Reinhold Heckmann (Universitaet des Saarlandes, Saarbruecken, Germany) 
    Ker-I Ko (SUNY at Stony Brook, USA)*
    Ulrich Kulisch (Technical University of Karlsruhe, Germany) 
    David Matula (Southern Methodist University, Dallas, USA) 
    Jean-Michel Muller (Ecole Normale Superieure, Lyon, France) 
    Peter Potts (Imperial College, London, UK) 
    Marian Pour-El (University of Minnesota, Minneapolis, USA)*
    Dana Scott (Carnegie Mellon University, Pittsburgh, USA) 
    Alex Simpson (University of Edinburgh, UK)*
    Philipp Sunderhauf (Imperial College, London, UK) 
    John Tucker (University of Wales, Swansea, UK)*
    Klaus Weihrauch (University of Hagen, Germany) 

 * = to be confirmed

Time and Place

  The workshop will take place in Indianapolis, Indiana (USA) on
Friday and Saturday, 19-20 June, 1998, just before the Symposium on
Logic in Computer Science (LICS), which will be on 21-24 June.

  RealComp'98 is in parallel with a Workshop on Probabilistic Methods
in Verification (PROBMIV'98). Participants of either workshop will be
able to attend the other.


  Registration information will be available soon on the workshop
homepage at the url 

There will be a discounted registration fee for those attending both
RealComp'98 and the LICS symposium.  It will also be possible to
register for RealComp'98 and just one day of LICS.


  Abbas Edalat
  Dept of Computing
  Imperial College
  180 Queen's Gate
  London SW7 2BZ, UK

  Achim Jung
  School of Computer Science
  University of Birmingham
  Edgbaston, B15 2TT, UK

  Dana Scott
  Computer Science Department
  Wean Hall
  Carnegie Mellon University
  Pittsburgh, PA 15213-3890, USA

  Philipp Sunderhauf 
  Dept of Computing
  Imperial College
  180 Queen's Gate
  London SW7 2BZ, UK

Philipp S"underhauf
Department of Computing
Imperial College, London SW7 2BZ
P.Sunderhauf@doc.ic.ac.uk    http://theory.doc.ic.ac.uk/~ps15