This page is still under construction, so it is by no means complete. For a better service to the mecanized
Reasoning community I will need your help, so please contribute!. Send any links, suggestions, encouragement, or
donations by clicking
Click here (USA)
(Germany) for a general mechanized reasoning page.
There is also a collection of
that can be used as a backup on more up-to date information.
Conferences specializing on Deduction
For an overview on conferences with an overlap to logic see
WWW Virtual Library maintinas list of conferences on
Below, we have inserted some information on events of special interest to
the Conference on Automated Deduction is the
most important conference for classical automated theorem
proving. The first conference was held in 1974. Previous CADEs
have been mostly biennial, and annual conferences started in 1996.
the International Conference on Logic Programming and Automated Reasoning has
traditionally been held on a ship somewhere in the former east block. The series
terminated in 1994 and is restarting 1999 in
the Conference on Rewriting Techniques and Applications
an international conference that is concerned with tableau-based deduction
Joint European Workshop on Logic in Aritificial Intelligence.
Workshops specializing on Deduction
the annual Workshop on Unification Theory
the International Workshop on Theorem Proving in
Higher Order Logic meets anually.
Previous workshops were mainly concerned with theory and applications of the
HOL system. The conference has broadened its scope beyond HOL.
- CTRS, the Workshop on Conditional Term Rewriting Systems
Extended abstracts from CTRS'94 can be obtained via ftp
- The goal of the QED-Workshop is to determine whether it is possible to change
the QED Project from a fascinating concept into a practical cooperation.
A first QED Workshop
- FTP, is a workshop focusing on First-Order Theorem Proving as a core theme
of Automated Deduction. There have been two meetings:
FTP97 at Schloss Hagenberg,
Austria, and FTP98 at Wien.
Conferences and Workshops also covering Deduction Topics
the International Symposion on Logic in Computer Science is concerned with the logical foundations
of computer science. It is natural that deduction plays a significant role in this setting.
- IJCAI and
(International Joint - and European) Conference on
Artificial Intelligence, cover all of Artificial Intelligence, but
have an interesting section on deduction. They are alternating biennial conferences
- CCL, the international Conference on Constraints in Computational Logics is concerned with constraint
logic programming, but contraint techniques are also relevant for deduction.
CCL'94took place at Munich, Germany in September 1994
- DISCO, Symposium on Design and Implementation of Symbolic Computation Systems.
- PASCO, Symposium on Parallel Symbolic Computation.
This page comes to you courtesy of
Michael Kohlhase and
Last updated March 24, 1999.