| 2018 | EuroPLop | Patterns of Design. | Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill |
| 2018 | IC3K | ABC Repair System for Datalog-like Theories. | Xue Li, Alan Bundy, Alan Smaill |
| 2014 | AISC | Algorithmic Aspects of Theory Blending. | Maricarmen Martnez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Khnberger, Markus Guhe, Alison Pease |
| 2012 | CADE | Theory Exploration: a role for Model Theory? | Alan Smaill |
| 2009 | KI | A Formal Cognitive Model of Mathematical Metaphors. | Markus Guhe, Alan Smaill, Alison Pease |
| 2006 | ECAI | MAMA: An Architecture for Interactive Musical Agents. | David Murray-Rust, Alan Smaill, Michael Edwards |
| 2005 | CADE | Proof Planning for First-Order Temporal Logic. | Claudio Castellini, Alan Smaill |
| 2005 | CCGRID | Deductive synthesis of workflows for e-Science. | Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon |
| 2002 | ISAIM | Proof planning Non-standard Analysis. | Ewen Maclean, Jacques D. Fleuriot, Alan Smaill |
| 2002 | LPAR | Proof Planning for Feature Interactions: A Preliminary Report. | Claudio Castellini, Alan Smaill |
| 2000 | ECAI | Local Search on Random 2+p-SAT. | Josh Singer, Ian P. Gent, Alan Smaill |
| 1998 | CADE | System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. | Julian Richardson, Alan Smaill, Ian Green |
| 1996 | FMCAD | Experiments in Automating Hardware Verification Using Inductive Proof Planning. | Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |
| 1994 | AISC | A Proof Environment for Arithmetic with the Omega Rule. | Siani Baker, Alan Smaill |
| 1994 | CADE | Mollusc: A General Proof-Development Shell for Sequent-Based Logics. | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins |
| 1993 | AIED | Music Representation - Between the Musician and the Computer. | Alan Smaill, Geraint A. Wiggins, Eduardo Reck Miranda |
| 1993 | AIED | Automatic Characterisation of Musical Style. | Martin D. Westhead, Alan Smaill |
| 1992 | CADE | Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. | Jane Hesketh, Alan Bundy, Alan Smaill |
| 1992 | LPAR | On the Use of the Constructive Omega-Rule within Automated Deduction. | Siani Baker, Andrew Ireland, Alan Smaill |
| 1991 | ICLP | An Algebraic Semantics of Prolog Program Termination. | Brian J. Ross, Alan Smaill |
| 1990 | CADE | The Oyster-Clam System. | Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill |
| 1990 | CADE | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. | Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland |
| 1989 | IJCAI | A Rational Reconstruction and Extension of Recursion Analysis. | Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens |