International School on Rewriting ISR 2015

August 10-14, Leipzig, Germany

Program | Posters | Registration | Local Information | Lecture Notes

© LTM - Michael Bader

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) Rewriting techniques play a relevant role in computing research, education, and industry.

The 8th International School on Rewriting (ISR 2015) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks:

  • Basic: aimed at students that enter the field.
  • Advanced: several shorter courses, showing different areas of rewriting research, with applications.

Also, we encourage participants to submit a presentation of their research, in the form of a poster. These posters will be reviewed by experts in rewriting, and will be displayed and discussed during the school.

Local organisation: Alfons Geser, Christine Klöden, and Johannes Waldmann.

The International School on Rewriting is promoted by the IFIP Working Group 1.6 Term Rewriting

General information: International Schools on Rewriting, Rewriting home page.

ISR 2015 will take place at HTWK Leipzig, August 10 - 14. This is the week after CADE You can go from Berlin to Leipzig in 1 hour by train.

ISR 2015, August 10-14, F-IMN, HTWK Leipzig, Germany. | Legal Note (Impressum)