Nodes associated with this Area

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

4C, University College Cork, Ireland (Toby Walsh).

Ecole Normale Superieure de Lyon, France (Pierre Lescanne).

Imperial College of Science, Technology and Medicine, United Kingdom (Simon Colton).

LORIA and INRIA, Nancy, France (Claude Kirchner).

RISC-Linz, Austria (Tudor Jebelean).

TU Dresden, Germany (Franz Baader).

TU Vienna, Austria (Bernhard Gramlich).

Universita di Trento, Italy (Fabio Massacci).

University of Birmingham, United Kingdom (Volker Sorge).

University of Edinburgh, United Kingdom (Alan Smaill).

We invite all interested sites to join CologNet.

Application forms are available online and membership entitles you to benefit from the technical and financial resources available to members of the Network.

Home

Outline

Nodes

Activities

Grand Challenges

Links

Nodes associated with this Area