How to join

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

We encourage all interested sites to join CologNet. If you are involved in any area of automated reasoning, deduction, theorem proving or model checking, please take the 5 minutes needed to fill in the application form to become a formal node of CologNet and send it to me, Toby Walsh.


Here is a pdf application form, Word application form, and the Network membership policy (pdf).


Membership entitles you to benefit from the technical and financial resources available to members of the Network. For example, we may be able to support travel to a CologNet sponsored event.