Network of Excellence in Computational Logic

Objective

Computational Logic is of growing importance in many academic and commercial fields and is currently on the verge of becoming an academic discipline of its own via the International Federation of Computational Logic (IFCoLog).
Unfortunately the academic disciplines involved, e.g. information technology, computer science, artificial intelligence, cognitive science, electrical and mechanical engineering are spread rather widely and thus this network will try to unite and to provide an entry point for these separated communities. Computational Logic is of growing importance in many academic and commercial fields and is currently on the verge of becoming an academic discipline of its own via the International Federation of Computational Logic (IFCoLog). Unfortunately the academic disciplines involved, e.g. information technology, computer science, artificial intelligence, cognitive science, electrical and mechanical engineering are spread rather widely and thus this network will try to unite and to provide an entry point for these separated communities.

OBJECTIVES
Computational Logic is applied in many industrial and commercial fields, in particular in critical areas involving the environment, medicine and life sciences, pharmacological industry, management of scarce resources etc. This includes sewage control, traffic control, drug design, data management in medicine and many other areas. In addition, computational logic is significant for the verification of safety-critical software and hardware, the specification and verification of embedded systems and for security issues in the Internet. It is also of growing importance academically with more than ten thousand people working in research and development worldwide in logic related problems (see IFCoLog). The objective of this network is to combine the scattered communities into a virtual centre of excellence and to provide an entry point via website, email distribution lists as well as workshops and online documents and a newsletter

DESCRIPTION OF WORK
CologNet will be organised around nine major areas which are structured into the following topics:
1) Logic Methodology and Foundational Tools (Area 1);
2) Logic and Programming Languages:
2.1 Logic and Constraint Logic Programming (Area 2);
2.2 Implementation Technology for Computational Logic Systems(Area 3);
3) Logic as Information Processing:
3.1 Logic-based Data and Knowledge Systems (Area4);
3.2 Logic and Multiagent Systems (jointly with AgentLink) (Area 5);
3.3 Logic and Natural Processing (jointly with Elsnet) (Area6);
4) Formal Methods and Automated Reasoning:
4.1 Formal Methods, Specification and Verification (Area 7);
4.2 Automated Reasoning, Deduction, Theorem Proving and Model-Checking (Area 8);
5) Logic in Mechanical and Electrical Engineering (jointly with EUNITE)(Area 9).
CologNet will represent Computational Logic at a European level and promote the take-up of CL technologies in industry, provide a world-wide (internet) entry point to CL through its WWW site, provide the European entry point to the International Federation of CL, IFColog, promote exchange and co-operation between the different CL areas, promote education and training measures, interchange of students and researchers, developing CL curricula, contribute to standard debates, devolop technological roadmaps for various subareas of CL, promote exchange with other groups and NoEs, e.g. in natural language processing, multi-agent systems and computational intelligence.

Programme(s)

• FP5-IST - Programme for research, technological development and demonstration on a "User-friendly information society, 1998-2002"

Topic(s)

• IST-2001-8.1.2 - Networks of Excellence and working groups

Funding Scheme

THN - Thematic network contracts

Coordinator

DEUTSCHES FORSCHUNGSZENTRUM FUER KUENSTLICHE INTELLIGENZ GMBH

Address

Erwin-schroedinger-strasse 57
67663 Kaiserslautern
Germany

Participants (46)

CONSIGLIO NAZIONALE DELLE RICERCHE

Italy

Address

Piazzale Aldo Moro 7
00185 Roma

DANMARKS TEKNISKE UNIVERSITET

Denmark

Address

Anker Engelundsvej 1, Bygning 101A
2800 Kgs. Lyngby

DEIS - University of Bologna

Italy

Address

Viale Risorgimento 2
40136 Bologna

ECOLE NORMALE SUPERIEURE DE LYON

France

Address

46 Allee D'italie
Lyon

EUROPESE ASSOCIATIE VOOR LOGICA TAAL EN INFORMATIE (EUROPEAN ASSOCIATION FOR LOGIC LANGUAGE AND INFORMATION)

Netherlands

Address

Plantage Muidergracht 24
1018TV Amsterdam

FACULDADE DE CIENCIAS E TECNOLOGIA DA UNIVERSIDADE NOVA DE LISBOA

Portugal

Address

Ffct - Universidade Nova Lisboa, Quinta Da Torre
2829-516 Caparica

HASKOLI ISLANDS

Iceland

Address

Suourgoetu
101 Reykjavik

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

France

Address

Domaine De Voluceau
78153 Le Chesnay

INSTITUTE OF MATHEMATICS AND INFORMATICS

Lithuania

Address

Akademijos 4
2600 Vilnius

INSTYTUT PODSTAW INFORMATYKI POLSKIEJ AKADEMII NAUK (IPI PAN)

Poland

Address

Ul. Ordona 21
01-237 Warszawa

KING'S COLLEGE LONDON

United Kingdom

Address

Strand
WC2R 2LS London

LINKOEPINGS UNIVERSITET

Sweden

Address

Campus Valla
581 83 Linkoeping

NATIONAL TECHNICAL UNIVERSITY OF ATHENS

Greece

Address

9, Heroon Polytechniou Str.
15773 Athens

POZNAN UNIVERSITY OF TECHNOLOGY

Poland

Address

Pl. Marii Sklodowskiej - Curie 5
61-542 Poznan

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany

Address

Templergraben 55
Aachen

ROSKILDE UNIVERSITETSCENTER

Denmark

Address

Universitetsvej 1
260 Roskilde

SWEDISH INSTITUTE OF COMPUTER SCIENCE

Sweden

Address

Isafjordsgatan 22
164 29 Kista

TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT

Estonia

Address

Akadeemia Tee, 21
Tallinn

TECHNISCHE UNIVERSITAET GRAZ

Austria

Address

Rechbauerstrasse 12
Graz

TECHNISCHE UNIVERSITAET WIEN

Austria

Address

Karlsplatz 13
1040 Wien

TECHNISCHE UNIVERSITAT DRESDEN

Germany

Address

Helmholtzstrasse 10
01062 Dresden

THE UNIVERSITY COURT OF THE UNIVERSITY OF ST ANDREWS

United Kingdom

Address

College Gate North Street
KY16 9AJ St Andrews

THE UNIVERSITY OF BIRMINGHAM

United Kingdom

Address

Edgbaston
Birmingham

THE UNIVERSITY OF GLASGOW

United Kingdom

Address

University Avenue
G12 8QQ Glasgow

THE UNIVERSITY OF LIVERPOOL

United Kingdom

Address

Abercromby Square
L69 3BX Liverpool

THE VICTORIA UNIVERSITY OF MANCHESTER

United Kingdom

Address

Oxford Road
M13 9PL Manchester

TVERSKOJ GOSUDARSTVENNYJ UNIVERSITET

Russia

Address

Ul. Zeljabova 33
170000 Tver

UNIVERSIDAD POLITECNICA DE MADRID

Spain

Address

Avenida Ramiro De Maeztu 7
28040 Madrid

UNIVERSIDAD POLITECNICA DE VALENCIA

UNIVERSITA DEGLI STUDI DI FERRARA

Italy

Address

Via Savonarola 9
44100 Ferrara

UNIVERSITA DEGLI STUDI DI GENOVA

Italy

Address

Via Balbi 5
16126 Genova

UNIVERSITA DEGLI STUDI DI MILANO

Italy

Address

Via Festa Del Perdono 7
Milano

UNIVERSITA DEGLI STUDI DI PADOVA

Italy

Address

Via Viii Febbraio 2
35122 Padova (Pd)

UNIVERSITA DEGLI STUDI DI PARMA

Italy

Address

Via Universita 12
43100 Parma

UNIVERSITA DEGLI STUDI DI TORINO

Italy

Address

Via Giuseppe Verdi 8
Torino

UNIVERSITA DEGLI STUDI DI TRENTO

UNIVERSITA DEGLI STUDI DI UDINE

Italy

Address

Via Palladio 8
33100 Udine

UNIVERSITA' DEGLI STUDI DI ROMA "TOR VERGATA"

Italy

Address

Via Orazio Raimondo 18
00173 Roma

UNIVERSITAET LINZ

Austria

Address

Altenbergerstrasse 69
4040 Linz

UNIVERSITE DE NANTES

France

Address

Quai De Tourville 1
44035 Nantes

UNIVERSITEIT UTRECHT

Netherlands

Address

Heidelberglaan 8
3584 CS Utrecht

UNIVERSITY COLLEGE CORK, NATIONAL UNIVERSITY OF IRELAND, CORK

Ireland

UNIVERSITY OF CYPRUS

Cyprus

Address

Kallipoleos Street 75
1678 Nicosia

UNIVERSITY OF DUBLIN, TRINITY COLLEGE

Ireland

Address

College Green
2 Dublin

UNIVERSITY OF HUDDERSFIELD

United Kingdom

Address

Canalside West
HD1 3DH Huddersfield

UPPSALA UNIVERSITET

Sweden

Address

751 05 Uppsala