Workshop on Termination 1997

Tuesday
May 20
Wednesday
May 21
Thursday
May 22
Friday
May 23
8:30 OPENING P. Lescanne S. Decorte and D. De Schreye
8:40


N. Dershowitz
9:20 BREAK
9:30 BREAK
9:40 R. Di Cosmo and D. Kesner N. Dershowitz, N. Lindenstrauss, Y. Sagiv
9:50


B. Gramlich
10:20 J. Waldmann A. Geser
10:30


M. Ferreira
11:00 BREAK
11:10 BREAK
11:20 T. Arts J. Brauburger
11:30
J-P. Jouannaud and A. Rubio
11:50 J. Giesl
12:00 T. Genet
12:10
A. Rubio
12:30 LUNCH
12:40 LUNCH
12:50 LUNCH
13:30

H. Zantema
14:00
D. Plump
14:20

U. Martin EXCURSION
14:50
J. Frank and D. Hofbauer
15:10
J. Müller
15:30
BREAK
15:50
BREAK Adam Cichon
16:10

F. Monin
16:30
16:50


A. Weiermann
17:10
Buffet
18:30
Diner

Tutotial





Program committee