Alexandru Ioan Cuza University, Romania
From Rewriting to Matching Logic

Universidade Federal Fluminense, Brasil
Compiler Construction in Maude

University of Bath, United Kingdom
An Introduction to Deep Inference Methodology in Proof Theory

University of Illinois at Urbana-Champaign, USA
From Rewriting to Matching Logic

Universitat Politècnica de València, Spain
Unification and Narrowing in Maude 3.0

King’s College London, United Kingdom
Nominal Rewriting

University of London, United Kingdom
Automated Complexity Analysis for Term Rewriting

University of Copenhagen, Denmark
Inversion and Term Rewriting Systems

Roskilde University, Denmark
Inversion and Term Rewriting Systems

Université Paris-Diderot - Paris 7 & École Polytechnique, France
Lambda Calculus: the Generalized Finite Development Theorem

INRIA Sophia Antipolis - Méditerranée, France
Lambda calculi with patterns

Alexandru Ioan Cuza University, Romania
From Rewriting to Matching Logic

University of Innsbruck, Austria
Lambda calculi with patterns

University of Groningen, The Netherlands
Session Types for Message-Passing Concurrency

University of Illinois at Urbana-Champaign, USA
From Rewriting to Matching Logic

SRI International, USA
Pathway Logic: Using Rewriting Logic to Understand How Cells Work