Area VIII

Automated Reasoning, Deduction, Theorem Proving and Model-Checking
CologNet , the Network of Excellence in Computational Logic

Home:
This page.
Outline:
Brief description of CologNet and Area VIII: Automated reasoning, deduction, theorem proving, and model-checking.
Nodes:
A list of nodes in this area.
Activities:
Supported meetings and other events in this area.
Grand Challenges
Some identified grand challenges for this area.
Links:
Links to important resources, including how to join CologNet and benefit from the network.