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
here.
Click here (USA)
or here
(Germany) for a general mechanized reasoning page.
There is also a collection of
conference announcements
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
here.
Furthermore, the
WWW Virtual Library maintinas list of conferences on
Logic
and
Reasoning.
Below, we have inserted some information on events of special interest to
deduction.
- CADE,
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.
- LPAR,
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
Tbilisi.
- RTA,
the Conference on Rewriting Techniques and Applications
- Tableaux
an international conference that is concerned with tableau-based deduction
systems.
- JELIA
Joint European Workshop on Logic in Aritificial Intelligence.
Workshops specializing on Deduction
- UNIF,
the annual Workshop on Unification Theory
- TPHOL,
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
- LICS,
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
ECAI,
(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
Carolyn Talcott.
Last updated March 24, 1999.