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