Automated Reasoning, Deduction, Theorem
Proving and Model-Checking
, the Network of Excellence in Computational Logic
the Challenges and Novel Applications
for Automated Reasoning workshop.
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
Volker Sorge's report of
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.