compulog-logo COMPULOG area: Automated Deduction Systems

COMPULOG Area on Automated Deduction Systems

This page is under construction!

Activities of the Area

The COMPULOG net has sponsored the "Third Workshop on Automated Reasoning - Bridging the Gap between Theory and Practice" at the University of Sussex, Brighton, UK, 1.-2. April 1996. For a report click here.

First area meeting (Call for Participation, Minutes) in conjunction with the fourth Workshop on Automated Reasoning, 6-8 April 1997, University of Manchester, England.


Informations about the COMPULOG Net

You can find general informations about the COMPULOG Net here.

For the Research Areas of the COMPULOG Net click here.


Mailing lists of the area

If you want to subscribe to the area mailing list, please send e-mail to majordomo@cs.bham.ac.uk with the message body subscribe compulog-deduction.

For sending an e-mail to the mailing list, write to compulog-deduction@cs.bham.ac.uk.

Relevant sites

For a general overview on mechanised reasoning click here. There you can also find pointers to systems, activities, and conferences in the field.

Some conferences in the field are:
CADE, the International Conference on Automated Deduction, and
KR, the International Conference on Principles of Knowledge Representation and Reasoning.
International Conference on Theorem Proving in Higher Order Logics.

Further interesting links: (too be expanded)
Workshop Series on Automated Reasoning
British Logic Colloquium

Maintainer: Manfred Kerber - M.Kerber@cs.bham.ac.uk