Grand Challenges

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

CADE-19
Proceedings of the Challenges and Novel Applications for Automated Reasoning workshop.


CADE-18
Simon Colton's report of the panel on "Challenge problems for automated deduction (with special emphasis on mathematics)". The panel was held jointly by the RADM and PaPS workshops.


Calculemus-2002:
Volker Sorge's report of the panel on "Challenging Mathematical Problems".


Grand Challenges for Computing Research:
Toby Walsh's position statement proposing a powerful mathematical assistant as a grand challenge for research in AI to this UK Computing Research Committee sponsored workshop.