Welcome to the 7th International School on Rewriting

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, which are taught at the universitary level in many countries. 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.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry.

The International School on Rewriting is promoted by the IFIP Working Group 1.6 Term Rewriting. The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

21st Workshop on Logic, Language, Information and Computation

The 21st Workshop on Logic, Language, Information and Computation, WoLLIC2014, will be also held at the Universidad Técnica Federico Santa María, Valparaíso, Chile, from September 1st to 4th, 2014. 

Previous Editions

The ISR2014 is the 7th version of this International School, the next are the previous versions:

  • ISR2012: July 16-20 at Valencia, Spain.
  • ISR2010: July 3-8 at Utrecht, The Netherlands.
  • ISR2009: June 22-26 at Brasilia, Brazil.
  • ISR2008: July 21-26 at Obergurgl, Austria.
  • ISR2007: July 2-6, at Nancy, France.
  • ISR2006: July 3-7, at Nancy, France.


Next Edition

The ISR2015 will be the 8th version of this International School and it will take place in Leipzig, Germany  

Subscribe to 7th International School on Rewriting. RSS