| 2008 | WoLLIC | One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. | Murdoch Gabbay, Dominic P. Mulligan |
| 2007 | WoLLIC | A Formal Calculus for Informal Equality with Binding. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | ICTAC | Capture-Avoiding Substitution as a Nominal Algebra. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | PPDP | One-and-a-halfth-order logic. | Murdoch Gabbay, Aad Mathijssen |
| 2005 | CONCUR | SOS for Higher Order Processes. | Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
| 2005 | PPDP | Nominal rewriting with name generation: abstraction vs. locality. | Maribel Fernndez, Murdoch Gabbay |
| 2005 | PPDP | A new calculus of contexts. | Murdoch Gabbay |
| 2004 | LICS | A Sequent Calculus for Nominal Logic. | Murdoch Gabbay, James Cheney |
| 2004 | PPDP | Nominal rewriting systems. | Maribel Fernndez, Murdoch Gabbay, Ian Mackie |
| 2003 | CSL | Nominal Unificaiton. | Christian Urban, Andrew M. Pitts, Murdoch Gabbay |
| 2003 | ICFP | FreshML: programming with binders made simple. | Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay |
| 2000 | MPC | A Metalanguage for Programming with Bound Names Modulo Renaming. | Andrew M. Pitts, Murdoch Gabbay |
| 1999 | LICS | A New Approach to Abstract Syntax Involving Binders. | Murdoch Gabbay, Andrew M. Pitts |