Reasoning Programme
Aim
The aim of the Reasoning Programme is to promote interaction between all
the researchers in the
School
of Informatics at
the University of
Edinburgh who are studying reasoning. This covers both automated and
interactive work on the mechanisation of reasoning and investigations into
the reasoning of human and other animals. Here is
the
original proposal (pdf).
Seminar Programme
We run an internal seminar series in which members of the Programme describe
their current research interests and activities. These seminars take place
monthly at 4.00-5.30pm on the first Friday of the month. The venue varies.
To promote interaction between reasoning researchers on different sites
the venue is different from the home site of the speaker. Speakers are
encouraged to give short talks (approx 45 mins) to leave plenty of time
for discussion. Here is
the
current programme of seminars.
Email List
To receive notification of seminars and other relevant information about
the Reasoning Programme, please subscribe to the reasoning-members email list.
This can be done by going to
the
reasoning-members web page and filling in your details. All enquiries
about the Reasoning Programme should be directed to
the
Director of the Programme.
Reasoning Research Projects
Members of the Programme carry out
a
wide variety of research projects into different aspects of reasoning.
Alan Bundy
20.6.03
