Term Rewriting is a simple but powerful model of computation with countless applications to computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification.

The 12th International School on Rewriting is aimed at MSc students, PhD students, and researchers in general. It provides an introductory course on lambda calculus, but also more advanced courses covering specific areas, such as compiler construction, deep inference, narrowing, complexity analysis, inversion, patterns in lambda calculi, matching logic, session types, and pathway logic.