Atlas home || Conferences | Abstracts | about Atlas
Host: Indiana University
Homepage: http://theory.doc.ic.ac.uk:80/~ps15/ws/
Email: lics98@cs.indiana.edu
Organizers: Abbas Edalat, Achim Jung, Dana Scott, Philipp Sünderhauf
Description:
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.
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: George Corliss, Abbas Edalat, Martín Escardó, Reinhold Heckmann, Ulrich Kulisch, David Matula, Jean-Michel Muller, Peter Potts, Marian Pour-El, Dana Scott, Philipp Sünderhauf, Jeffery Zucker
Mail Address:
LICS98 Computer Science Department Indiana University Bloomington, IN 47405, USA Fax: +1-812-855.4829
Submitted by: Philipp Sünderhauf
Date received: January 01, 1998
© 2008 Atlas Conferences Inc.