Part of the CLAS 2022 |
| Sandra Alves | University of Porto | λ-calculus |
| Aart Middeldorp | University of Innsbruck | Rewriting theory |
| Sarah Winkler | Free University of Bolzano-Bozen | Rewriting theory |
| Martin Avanzini | INRIA Sophia Antipolis Méditerranée | Probabilistic term rewriting |
| Santiago Escobar | Universitat Politècnica de València | Protocol analysis using Maude-NPA |
| Carsten Fuhs | Birkbeck, University of London | Automated termination analysis of term rewriting |
| Raúl Gutiérrez | Universidad Politécnica de Madrid | On the confluence of rewrite systems |
| Christopher Lynch | Clarkson University | Theorem proving with applications |
| Mircea Marin | West University of Timisoara | Rule-based programming with Rholog |
| Aart Middeldorp | University of Innsbruck | Tree automata techniques for term rewriting |
| Peter Csaba Ölveczky | University of Oslo | Modeling and analysis of real-time systems in Rewriting Logic |
| Caterina Urban | INRIA and École Normale Supérieure | Formal methods for machine learning |
| Johannes Waldmann | HTWK Leipzig | Constraint programming for analysis of rewriting |