Call for Participation
AREA MEETING OF THE COMPULOG AREA
"AUTOMATED DEDUCTION SYSTEMS"

in conjunction with the Fourth Workshop on AUTOMATED REASONING: Bridging the Gap between Theory and Practice

April 7-8, 1997

University of Manchester, England

Compulog Net is the European Network of Excellence in Computation Logic, it comprises over 100 nodes from 20 European countries. One of its areas, recently created, is on Automated Deduction Systems. This area should be understood as a possibility for promoting the cross-fertilisation between automated deduction and other areas of computational logic like logic programming.

Our first Area Meeting will be mainly devoted to the connections between automated reasoning and logic programming, but also all other aspects of automated deduction may be discussed. In general we don't want to compete with existing workshops and conferences (the field is well-established and there are plenty of opportunities to meet), so we try to organise the area meetings in conjunction with existing events. This time it will be held in form of one session of the Fourth Workshop on Automated Reasoning. In case there are to many wishes to give presentations we can also use the afternoon of 6 April (immediately before the workshop).


The meeting will start with an invited talk by

Uli Furbach: "Theorem Proving and Logic Programming"

When you want to participate, please send me an e-mail (M.Kerber@cs.bham.ac.uk) as soon as possible, preferably no later than 8th of February. In the case you want to give a presentation, please tell me as well together with a tentative title.

For students there is a modest amount of travel money available.

For discussion in the area we have set up an e-mail list compulog-deduction@cs.bham.ac.uk.
You can join the list by sending e-mail to majordomo@cs.bham.ac.uk with the message body: subscribe compulog-deduction.

Further informations:
Compulog Net in general
Workshop Automated Reasoning in Manchester
Compulog Area on Automated Deduction Systems

Hope to see you in Manchester
Manfred Kerber
Computer Science, The University of Birmingham