Automated Reasoning, Deduction, Theorem
Proving and Model-Checking
, the Network of Excellence in Computational Logic
Brief description of CologNet and Area VIII: Automated reasoning, deduction,
theorem proving, and model-checking.
A list of nodes in this area.
Supported meetings and other events in this area.
Some identified grand challenges for this area.
Links to important resources, including how to join
CologNet and benefit from the network.