Conferences relevant for Mechanized Reasoning

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.

Workshops specializing on Deduction

Conferences and Workshops also covering Deduction Topics

This page comes to you courtesy of Michael Kohlhase and Carolyn Talcott.

Last updated March 24, 1999.