Tuesday 8 August 
08:3009:30 Invited Talk 
F. Cucker: "Solving Polynomial Systems: a Complexity
Theory Viewpoint."

09:3010:20 Session: Languages,
Interfaces, Systems 
A. C. Norman: "Further Evaluation of Java for Symbolic Computation."

J. Harris: "Advanced Notations in Mathematica."

10:2010:50 Coffee Break /
Poster Session* 
10:5012:05 Session: Arithmetic

N. Hur and J. H. Davenport: "An Exact Real Arithmetic with Equality Determination."

H. Cheng and E. Zima: "On Accelerated Methods to Evaluate Sums of
Products of Rational Numbers."

G. E. Collins and W. Krandick: "Multiprecision Floating Point Addition."

12:0513:35 Lunch Break 
13:3515:15 Session: Algebraic Geometry

B. Mourrain and Ph. Trebuchet: "Solving Projective Complete Intersection
Faster."

G. Bodnar and J. Schicho: "An Improved Algorithm for the Resolution
of Singularities."

F. Binder, E. Aichinger, J. Ecker, P. Mayr, and Ch. Nobauer: "Algorithms
for Nearrings of Nonlinear Transformations."

G. Lecerf: "Computing an Equidimensional Decomposition of an Algebraic
Variety by Means of Geometric Resolutions."

15:1515:45 Coffee Break /
Poster Session* 
15:4516:35 Session: Parametrizations

J. Schicho: "Proper Parametrization of Surfaces with a Rational Pencil."

G. Landsmann, E. Hillgarter, J. Schicho and F. Winkler: "Symbolic
Parametrization of Pipe and Canal Surfaces."

16:3517:25 Session: Complexity

D. Grigoriev and N. Vorobjov: "Bounds on Numbers of Vectors of Multiplicities
for Polynomials which are Easy to Compute."

M. Noecker: "Some Remarks on Parallel Exponentiation."

17:2518:00 ISSAC Business
Meeting

18:0018:30 SIGSAM Business
Meeting

18:3019:30 Demo Session II

Waterloo Maple

Numerical Algorithms Group

20:00 Banquet
