Nodes associated with this Area
Automated Reasoning, Deduction, Theorem
Proving and Model-Checking
, 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
Application forms are available
online and membership entitles you to benefit
from the technical and financial resources available
to members of the Network.