6th International School on Rewriting

July 16th - 20th, 2012. Valencia, Spain

Lecturers

Track A: Introductory courses

• José Meseguer. University of Illinois at Urbana-Champaign.
  • ITR: Introduction to Term Rewriting (17 hours)
• Albert Rubio. Universitat Politècnica de Catalunya.
  • TFA: Termination of Rewriting: Foundations and Automation (5.5 hours)
• Santiago Escobar. Universitat Politècnica de València.
  • MAU: A Rewriting-Based Specification and Programming Language: Maude (4 hours)
• Beatriz Alarcón. Universitat Politècnica de València and Raúl Gutiérrez. University of Illinois at Urbana-Champaign.
  • ETR: Exercises on Term Rewriting (7.5 hours)

Track B: Advanced courses

• María Alpuente. Universitat Politècnica de València.
  • NTA: Narrowing Techniques and Applications (4 hours)
• Temur Kutsia. Johannes Kepler Universität Linz.
  • MUG: Matching, Unification, and Generalizations (3.5 hours)
• Pierre Lescane. École Normale Supérieure de Lyon.
  • LCA: Lambda Calculus: Extensions and Applications (4 hours)
• Georg Moser. University of Innsbruck.
  • ACA: Automated Complexity Analysis of Term Rewriting Systems (4 hours)
• Narciso Martí-Oliet. Universidad Complutense de Madrid.
  • RLA: Rewriting Logic and Applications (4 hours)
• Albert Oliveras. Universitat Politècnica de Catalunya.
  • SAV: SAT and SMT Techniques in Proof and Verification (3.5 hours)
• Sophie Tison. Université des Sciences et Technologies de Lille.
  • TAT: Tree Automata, Turing Machines and Term Rewriting (4 hours)
• Xavier Urbain. École Nationale Supérieure D'Informatique pour L'Industrie et L'Entreprise.
  • CER: Certification of Rewriting Properties (3.5 hours)
• Andrei Voronkov. University of Manchester.
  • ARP: Automated Reasoning and Theorem Proving (4 hours)