[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
(RealComp'98)
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/
Motivation
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
alternatives.
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
ideas.
Speakers
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
Registration information will be available soon on the workshop
homepage at the url
http://theory.doc.ic.ac.uk/~ps15/ws/
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.
Organisers
Abbas Edalat
Dept of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ, UK
A.Edalat@doc.ic.ac.uk
Achim Jung
School of Computer Science
University of Birmingham
Edgbaston, B15 2TT, UK
A.Jung@cs.bham.ac.uk
Dana Scott
Computer Science Department
Wean Hall
Carnegie Mellon University
Pittsburgh, PA 15213-3890, USA
Dana.Scott@cs.cmu.edu
Philipp Sunderhauf
Dept of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ, UK
P.Sunderhauf@doc.ic.ac.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