WG16 program

Thursday July 25th, 2002


All sessions take place in room A101.

WG16's program is also available side by side with other meetings.

09:00-10:30  Session 1

09:00  Welcome
09:10  Jürgen Giesl, Aachen U of Techn., Germany
Modular termination proofs using dependency pairs
09:50  Bernhard Gramlich, Vienna U of Techn., Austria
Progress report on strategies in rewriting

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Maria Paola Bonacina, U Iowa, USA
Deciding satisfiability problems by rewrite-based deduction: Experiments in the theory of arrays
11:40  Nachum Dershowitz, Tel Aviv U, Israel
Progress report
12:20  Vincent van Oostrom, Utrecht U, The Netherlands
Term rewriting systems

12:30-14:00  Lunch

14:00-15:30  Session 3: Business meeting

15:30-16:00  Refreshments

16:00-17:00  Session 4

16:00  Salvador Lucas, Polytechnic U of Valencia, Spain
Computational restrictions of rewriting in functional programming
16:40  Discussion