corner   corner

Schedule of Talks

Here is the schedule of talks. All talks take place in Lecture Room N4 (N0013). For abstracts of the talks consult the Programme page.

Thursday March 25

TimeProgramme
8:30-9:00Registration, Coffee 
9:00-9:15Opening 
9:15-10:15Invited Lecture Dongming Wang
Automated Handling and Proving of Geometric Theorems
 Coffee 
10:45-11:15Differential EquationsHa Le & Ziming Li
11:20-11:50Sergei Abromov & Denis E. Khmelnov
11:55-12:25E. Hubert & N. le Roux
 Lunch 
14:00-14:30RepresentationsA.N. Prokopenya*
14:35-15:05Bruce W. Westbury
15:10-15:40Sergei Haller
 Tea 
16:10-16:40Systems & PackagesScott Murray
16:45-17:15J. Abbott et al
17:20-17:50Jos Vermaseren
 Dinner 
20:00-21:30Evening Presentation Bart de Smit
Escher's Print Gallery and the Droste Effect

Friday March 26

TimeProgramme
9:15-10:15Invited Lecture Henk Barendregt
The Quest for Correctness
 Coffee 
10:45-11:15GeometryDan Roozemond
11:20-11:50F. Botana & T. Recio
11:55-12:25Reinier Bröker
 Lunch 
14:00-14:30Symbolic-NumericThomas Bayer*
14:35-15:05Hitoshi Yanami & Hirokazu Anai
15:10-15:40Wen-shin Lee & Mark Giesbrecht & George Labahn
15:45Close 

Talks by Bayer and Prokopenya have been swapped (and so they appear outside their own session) because of scheduling restrictions.

corner   corner