IFIP-WG1.6 PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1E
Chair:
Location: Ullmann 306
| 09:00 | Inversion and Determinization in Term Rewriting (abstract)  |
| 10:00 | RLooP (the Rewriting List of open Problems) |
10:30-11:00Coffee Break
11:00-12:30 Session 10G
Chair:
Location: Ullmann 306
| 11:00 | Quantitative Weak Linearisation (abstract) |
| 12:00 | The International School on Rewriting (abstract) PRESENTER: Johannes Waldmann |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
15:30-16:00Coffee Break