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.

Companies specializing in Mechanized Reasoning

Kestrel Institute
ORA Canada

Industrial Research groups specializing in Mechanized Reasoning

The European Community Research Center (ECRC) has some activities in deduction.
Hitachi's Advanced Research Laboratory

SRI International Computer Science Laboratory's Formal Methods and Dependable Systems Group

This page comes to you courtesy of Michael Kohlhase and Carolyn Talcott.
Last updated 2 September 1996.