5th International School on Rewriting (brochure)

3 – 8 July 2010, Drift 21, Utrecht, The Netherlands

Part of Summerschool Utrecht 2010 (Registration)

Advanced Track

	Saturday 3	Sunday 4	Monday 5	Tuesday 6	Wednesday 7	Thursday 8
	arrival
9:00 – 10:30		Room 005: Tree Automata and Rewriting Ralf Treinen	Room 105: Tree Automata and Rewriting Ralf Treinen	Room 005: Tree Automata and Rewriting Ralf Treinen	Room 005: Complexity Analysis of Term Rewrite Systems Georg Moser	Room 105: Complexity Analysis of Term Rewrite Systems Georg Moser
10:30 – 11:00		coffee break
11:00 – 12:30		Room 005: Termination of Programs Peter Schneider-Kamp	Room 105: Termination of Programs Peter Schneider-Kamp	Room 005: Termination of Programs Peter Schneider-Kamp	Room 005: Productivity Joerg Endrullis, Dimitri Hendriks, Clemens Grabmayer	Room 105: Complexity Analysis of Term Rewrite Systems Georg Moser
12:30 – 13:45		lunch break
13:45 – 15:15		Room 005: SAT Solving for Term Rewriting Hans Zantema	Room 032: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari	Room 005: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari	Room 005: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari	Room 105: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari
15:15 – 15:45		tea break
15:45 – 17:45		Room 005: SAT Solving for Term Rewriting Hans Zantema	Room 032: Coq and Rewriting Adam Koprowski	Room 005: Coq and Rewriting Adam Koprowski	Room 005: Coq and Rewriting Adam Koprowski	Room 105: Productivity Joerg Endrullis, Dimitri Hendriks, Clemens Grabmayer