Useful Links

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

How to join:
We encourage all interested sites to join CologNet. Membership entitles you to benefit from the technical and financial resources available to members of the Network. To join, follow these simple instructions. It will take no more than 5 minutes.


Related workshops:
A number of related workshops have been held including the Grand Challenges in Computer Algebra (held at the 1997 IMACS Conference on Applications of Computer Algebra), the CRA Conference on Grand Challenges in Computer Science and Engineering and the UK Computing Research Committee's Workshop on Grand Challenges for Computing Research.