Reasoning Programme


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

Home : Research : Programmes 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh