A symposium held to bring together researchers who have been influenced
by the long-term research contributions and impact due to Alan Bundy.
Alan Bundy has contributed since the 1970s to the progress in Artificial Intelligence in general and the use of computers to find mathematical proofs
in particular. This work has proved influential both in the UK, and internationally,
and has involved collaboration with many researchers across the world.
This event allowed those who are interested in the area to get together
for three days, and to hear presentations and discussions from those
involved in this international research experience.
This short meeting highlighted the long-term research lines pursued by
the community of those interested in the area between machine proof and
machine processing of natural language. It permitted in that time to see
some long-term trends, and directions that did not work out so well;
in particular there is a trend towards working with data which is known
to be flawed and inconsistent, rather than hopeng to build idealised