3rd International School on Rewriting

21 – 26 July 2008, Obergurgl, Austria

Program

Track A

Introduction to Term Rewriting – Exercises

	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
9:00 – 10:30	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk
10:30 – 11:00	coffee break
11:00 – 12:30	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk
12:30 – 14:00			lunch
12:30 – 14:00			lunch	excursion
14:00 – 15:30	Introduction to Term Rewriting Pierre Lescanne and Femke van Raamsdonk	Resolution Theorem Proving Andrei Voronkov	Resolution Theorem Proving Andrei Voronkov		Resolution Theorem Proving Andrei Voronkov	Resolution Theorem Proving Andrei Voronkov
15:30 – 16:00	tea break				tea break
16:00 – 17:30	Introduction to Term Rewriting – Exercises Harald Zankl	Introduction to Term Rewriting – Exercises Martin Korp	Introduction to Term Rewriting – Exercises Christian Sternagel		Introduction to Term Rewriting – Exercises Sarah Winkler	Introduction to Term Rewriting – Exercises Final Test

Track B

	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
9:00 – 10:30	Security Protocols and Term Rewriting Hubert Comon-Lundh	Security Protocols and Term Rewriting Hubert Comon-Lundh	Security Protocols and Term Rewriting Hubert Comon-Lundh	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow
10:30 – 11:00	coffee break
11:00 – 12:30	Advanced Topics in Termination Dieter Hofbauer	Advanced Topics in Termination Dieter Hofbauer	Advanced Topics in Termination Dieter Hofbauer	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow	A Practical Introduction to Theorem Proving with Isabelle Tobias Nipkow
12:30 – 14:00			lunch
12:30 – 14:00			lunch	excursion
14:00 – 15:30	An Infinitary Rewriting Primer Jan Willem Klop	Resolution Theorem Proving Andrei Voronkov	Resolution Theorem Proving Andrei Voronkov		Resolution Theorem Proving Andrei Voronkov	Resolution Theorem Proving Andrei Voronkov
15:30 – 16:00	tea break				tea break
16:00 – 17:30	Abstract Rewriting Vincent van Oostrom	An Infinitary Rewriting Primer Jan Willem Klop	Abstract Rewriting Vincent van Oostrom		Theory and Application of Interaction Nets Ian Mackie	Theory and Application of Interaction Nets Ian Mackie