You are here

The School

Now that the school is over we would like to share a photo gallery of the classes and the lecturers.

Moreover, we have pictures of our lunch and the official photos.


Two tracks are offered, including the lectures and the courses:

Track Beginners: for newcomers in the field, or just for people who want to obtain a new, updated exposure. 


Aart Middeldorp. University of Innsbruck, Austria

Rewriting General Course for Beginners


Sarah Winkler, University of Innsbruck, Austria

Rewriting General Course for Beginners


Track Advanced: for those who want to get deeper in the most recent developments and applications of rewriting. We assume that a participant to the advanced track should be already familiar with the following notions: abstract reduction systems, universal algebras, equational problems, confluence, termination and completion. All these notions are introduced in the chapters 1-7 of the standard textbook "Rewriting and All That" by Franz Baader and Tobias Nipkow.


Mauricio Ayala-Rincón, Universidade de Brasília, Brazil

Formalisation in PVS of Rewriting Properties


Eduardo Bonelli, Universidad de Quilmes, Argentina

Standardisation in Rewriting

Claude Kirchner, INRIA, France

Rewriting Calculi for Computation and Logic

Hélène Kirchner, INRIA, France


Pierre-Etienne Moreau, Université de Lorraine, Mines de Nancy, France

Implementation of Rewriting


Camilo Rocha, Escuela Colombiana de Ingeniería, Colombia

Symbolic Reachability Analysis for Rewrite Theories


Johannes Waldmann, HTWK Leipzig, Germany