Links

Below are some pointers to other sites with information on automated deduction. More specified reference to papers and implementations can be found among the handouts.

Conferences

• CADE-17, the 17th International Conference on Automated Deduction to be held at Carnegie Mellon University in Pittsburgh, June 17-20, 2000

Organizations

• Conference on Automated Deduction
• Association for Automated Reasoning
• Computational Logic Network of Excellence

Home Pages

• Mechanized Reasoning (including a database of mechanized reasoning systems)
• Logical Frameworks