Lecturers

• Andrei Arusoaie

  🇷🇴 Alexandru Ioan Cuza University, Romania
  From Rewriting to Matching Logic

• Christiano Braga

  🇧🇷 Universidade Federal Fluminense, Brasil
  Compiler Construction in Maude

• Paola Bruscoli

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

• Xiaohong Chen

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

• Santiago Escobar

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

• Maribel Fernandez

  🇬🇧 King’s College London, United Kingdom
  Nominal Rewriting

• Carsten Fuhs

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

• Robert Glück

  🇩🇰 University of Copenhagen, Denmark
  Inversion and Term Rewriting Systems

• Maja H. Kirkeby

  🇩🇰 Roskilde University, Denmark
  Inversion and Term Rewriting Systems

• Jean-Jacques Lévy

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

• Luigi Liquori

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

• Dorel Lucanu

  🇷🇴 Alexandru Ioan Cuza University, Romania
  From Rewriting to Matching Logic

• Vincent van Oostrom

  🇦🇹 University of Innsbruck, Austria
  Lambda calculi with patterns

• Jorge A. Pérez

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

• Grigore Rosu

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

• Carolyn Talcott

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