9th International School on Rewriting (ISR 2017)

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


sponsored by

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, logic, and theorem proving, 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 school ISR 2017 is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

Earlier ISRs were organized in Nancy (2006), Nancy (2007), Obergurgl (2008), Brasilia (2009), Utrecht (2010), Valencia (2012), Valparaiso (2014), Leipzig (2015). ISR has been initiated and is promoted by the IFIP Working Group 1.6 on Term Rewriting.

There is also general information on ISR, including the Bylaws. The rewriting home page provides some general information on rewriting.

Just like earlier instances of ISR, the 9th International School on Rewriting (ISR 2017) will consist of two tracks: a basic track an an advanced track.

Basic Track

The basic track is an extensive introductory course in (term) rewriting, not assuming particular knowledge of rewriting. It consists of a combination of lectures and exercises. The opportunity is offered to conclude this track by an examination of 3EC.

Teachers of the Basic Track: Aart Middeldorp and Sarah Winkler.

Advanced Track

The advanced track consists of the following 8 courses, typically filled by a combination of lectures and practical exercises. The intended audience for this track consists of master students, PhD students and others that already have basic knowledge in rewriting.

Preliminary Program Advanced Track

date 9:00-10:30 11:00-12:30 14:00-15:30 16:00-17:30
Monday, July 3 Fuhs: Proving Program Termination via Term Rewriting 1/2 Sternagel and Thiemann: Formalizing Rewriting in Isabelle 1/4 Accatoli: The Complexity of Beta-Reduction 1/2 Kutsia: Solving Equational Problems: Matching and Unification 1/2
Tuesday, July 4 Accatoli: The Complexity of Beta-Reduction 2/2 Genet: Tree Automata for Reachability in Rewriting 1/2 Kutsia: Solving Equational Problems: Matching and Unification 2/2 Fuhs: Proving Program Termination via Term Rewriting 2/2
Wednesday, July 5 Genet: Tree Automata for Reachability in Rewriting 2/2 Sternagel and Thiemann: Formalizing Rewriting in Isabelle 2/4 Poster Presentations Excursion, followed by dinner
Thursday, July 6 Waldmann: Weighted Automata and Rewriting 1/2 Sternagel and Thiemann: Formalizing Rewriting in Isabelle 3/4 Nagele and van Oostrom: Commutation 1/2 Mimram and Malbos: Two-Dimensional Rewriting and Applications 1/2
Friday, July 7 Nagele and van Oostrom: Commutation 2/2 Waldmann: Weighted Automata and Rewriting 2/2 Mimram and Malbos: Two-Dimensional Rewriting and Applications 2/2 Sternagel and Thiemann: Formalizing Rewriting in Isabelle 4/4

Registration

For both the basic track and the advanced track the registration fee will be 250 euros, if registration is done no later than May 15, 2017. After that the registration fee will be 300 euros. This registration includes online access to all material, coffee and lunches, and an excursion and dinner on Wednesday, July 5.
A hotel should be arranged by yourself; possible hotels in the centre of Eindhoven on walking distance to the university include Sandton, La Reine and Budget hotel De Zwaan.
Registration for ISR is done by sending an email to h.zantema@tue.nl, containing name, institution with full address, and the track for which you register. Apart from these basic data, some background and motivation is appreciated, like whether you are a master or PhD student, your topic of interest and who is your supervisor. After sending this email you will get a confirmation and further instructions.

Important dates

Organizing Committee




Last update: April 19, 2017