Outline

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

This Network of Excellence aims to help unify and integrate the separate sub-communities in Europe working in computational logic.

The Network promotes the uptake of computational logic and related technologies by industry, provides a single entry point to the field, encourages interaction between the different subfields, promotes education and training measures, helps the exchange of researchers, contributes to standards debates, and develops technological roadmaps.

The Network is organised around nine major areas. One of these areas is "Automated Reasoning, Deduction, Theorem Proving and Model-Checking". Toby Walsh is in charge of this section. Please feel free to approach him with ideas about ways to promote computational logic, meetings to support, iniatives to undertake.

The main workpackage listed in the Network proposal for this area is identifying grand challenges. The purpose of such challenges is to fire the imaginations of both new researchers arriving into the area as well those already long established. If you have any suggestions that fit into this broad theme, we will be pleased to hear from you and may be able to offer support.