Lecturers

Basic track

	Rewriting theory Aart Middeldorp (Innsbruck University)
	λ-calculus Femke van Raamsdonk (VU University Amsterdam)
	Rewriting theory Sarah Winkler (Innsbruck University)

Advanced track

	Automated complexity analysis of term rewrite systems Martin Avanzini (Inria)
	Reachability in logically constrained term rewriting systems Ștefan Ciobâcă (Alexandru Ioan Cuza University, Romania)
	Deduction modulo rewriting Gilles Dowek (INRIA and ENS Paris-Saclay)
	Introduction to graph rewriting Rachid Echahed (CNRS, LIG Grenoble)
	Rewriting and music Florent Jacquemard (INRIA and IRCAM)
	Picturing quantum processes, rewriting quantum pictures Aleks Kissinger (Radboud University)
	Stochastic graph rewriting and (executable) knowledge representation for molecular biology Jean Krivine (CNRS and Université Paris Diderot)
	Higher-order term rewriting Cynthia Kop (Radboud University)
	Homotopy and homology of rewriting Yves Lafont (Université d’Aix-Marseille)
	Rewriting in theorem proving Christopher Lynch (Clarkson University, USA)
	Formal specification and analysis of real-time systems in Real-Time Maude Peter Csaba Ölveczky (University of Oslo)
	Infinitary rewriting and streams Hans Zantema (Eindhoven University of technology)