AMAST Mail - April 1998
[Prev][Next][Index]

RealComp'98 - Call for Participation


                   Real Number Computation
                        (RealComp'98)

              Tutorial Workshop / Summer School

                    Call for Participation
              
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

    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 at the Indiana University Conference
Center 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. Local information is available
from the LICS'98 server at http://www.lics98.cs.indiana.edu.

  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

	The registration fee is $115 if payed until May 15 and $130
after that. It includes a registration package, lunches for the days
attended and food service 7:30 - 4:30 (including coffee breaks). To
register, please visit one of the conference urls.



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
[ AMAST Mail - April 1998 | March 1998 | May 1998 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1998 | AMAST ]