5th International School on Rewriting (brochure)

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

Part of Summerschool Utrecht 2010 (Registration)

Basic Track

Introduction to Term Rewriting – Exercises

	Saturday 3	Sunday 4	Monday 5	Tuesday 6	Wednesday 7	Thursday 8
	arrival
9:00 – 10:30		Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting, Exam Aart Middeldorp and Femke van Raamsdonk
10:30 – 11:00		coffee break
11:00 – 12:30		Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	Room 109: Introduction to Term Rewriting – Advanced Topics Aart Middeldorp and Femke van Raamsdonk
12:30 – 13:45		lunch break
13:45 – 15:15		Room 109: Introduction to Term Rewriting Aart Middeldorp and Femke van Raamsdonk	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 109: Introduction to Term Rewriting – Exercises TA1	Room 109: Introduction to Term Rewriting – Exercises TA2	Room 109: Introduction to Term Rewriting – Exercises TA3	Room 109: Introduction to Term Rewriting – Exercises TA4	Room 109: Introduction to Term Rewriting – Advanced Topics Aart Middeldorp and Femke van Raamsdonk