Skip to main content

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.

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