| Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani and Mojtaba Mojtahedi | About the unification type of modal logic K5 and its extensions |
| Franz Baader, Oliver Fernandez Gil and Maryam Rostamigiv | Restricted Unification in the Description Logic FL0 |
| Richard Waldinger | What, Again? Automatic Deductive Synthesis of the Unification Algorithm |
| Hai Lin and Christopher Lynch | Checking Symbolic Security of Cryptographic Modes of Operation |
| Hai Lin and Christopher Lynch | Formal Analysis of Symbolic Authenticity |
| Leonardo Batista, Maribel Fernandez, Daniele Nantes-Sobrinho and Deivid Vale | Nominal Disunification via Fixed-Point Constraints |
| Wei Du, Paliath Narendran and Bharvee Acharya | A Polynomial-time Algorithm for the Common Left Multiplier Problem for Forward-closed String Rewriting Systems |
| Manfred Schmidt-Schauss | Nominal Anti-Unification with Atom-Variables |
| David Cerna | When First-order Unification Calls itself |
