You are here

Programme

Track Beginners

For newcomers in the field, or just for people who want to obtain a new, updated exposure.
 
  Aug 25th Aug 26th Aug 27th Aug 28th Aug 29th
Location Room A2

09:00

10:30

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

10:30 - 11:00 COFFEE BREAK (@ CENTER HALL OF "A" BUILDING)

11:00

12:30

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Exercises

A. Middledorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

12:30 - 14:00 LUNCH (@ DINING ROOM OF "P1" BUILDING)

14:00

15:30

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Exercises

A. Middledorp & S. Winkler

 

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Test

A. Middledorp & S. Winkler

15:30 - 16:00 COFFEE BREAK (@ CENTER HALL OF "A" BUILDING)

16:00

17:30

Exercises

A. Middledorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

 

Exercises

A. Middledorp & S. Winkler

Rewriting General Course for Beginners

A. Middeldorp & S. Winkler

Track Advanced

For those who want to get deeper in the most recent developments 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.
  Aug 25th Aug 26th Aug 27th Aug 28th Aug 29th
Location Room A1

09:00

10:30

Termination and Complexity

J. Waldmann

Termination and Complexity

J. Waldmann

Termination and Complexity

J. Waldmann

Formalisation in PVS of Rewriting Properties

M. Ayala-Rincón

Formalisation in PVS of Rewriting Properties

M. Ayala-Rincón

10:30 - 11:00

COFFEE BREAK (@ CENTER HALL OF "A" BUILDING)

11:00

12:30

Strategies

H. Kirchner

Strategies

H. Kirchner

Strategies

H. Kirchner

Formalisation in PVS of Rewriting Properties

M. Ayala-Rincón

Formalisation in PVS of Rewriting Properties

M. Ayala-Rincón

12:30 - 14:00

LUNCH (@ DINING ROOM OF "P1" BUILDING)

14:00
15:30

Rewriting Calculi for Computation and Logic

C. Kirchner

Rewriting Calculi for Computation and Logic

C. Kirchner

 

Standardisation in Rewriting

E. Bonelli

Standardisation in Rewriting

E. Bonelli

15:30 - 16:00

COFFEE BREAK (@ CENTER HALL OF "A" BUILDING)

16:00

17:30

Implementation of Rewriting

P. -E. Moreau

Implementation of Rewriting

P. -E. Moreau

 

Symbolic Reachability Analysis for Rewrite Theories

C. Rocha

Symbolic Reachability Analysis for Rewrite Theories

C. Rocha