ISR 2008

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
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
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