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. 

Image

Aart Middeldorp. University of Innsbruck, Austria

Rewriting General Course for Beginners

Image

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.

marayar

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

Formalisation in PVS of Rewriting Properties

Image

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

Strategies

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

Implementation of Rewriting

Image

Camilo Rocha, Escuela Colombiana de Ingeniería, Colombia

Symbolic Reachability Analysis for Rewrite Theories

jwaldmann

Johannes Waldmann, HTWK Leipzig, Germany