Universiteit van Amsterdam


Institute for Logic, Language and Computation

3 - 7 July 2017, 9th International School on Rewriting (ISR 2017), Eindhoven, The Netherlands

Date: 3 - 7 July 2017
Location: Eindhoven, The Netherlands

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) 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. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

For more information, see http://www.win.tue.nl/~hzantema/isr.html or contact .