|
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.
|