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.
Fields of science
- natural sciencescomputer and information sciencessoftware
- natural sciencescomputer and information sciencesinternet
- natural sciencescomputer and information sciencesdata sciencenatural language processing
- natural sciencescomputer and information sciencesdata sciencedata processing
- natural sciencescomputer and information sciencesartificial intelligencecomputational intelligence
Call for proposal
Data not availableFunding Scheme
THN - Thematic network contractsCoordinator
67663 KAISERSLAUTERN
Germany
See on map
Participants (46)
00185 ROMA
See on map
2800 KGS. LYNGBY
See on map
40136 Bologna
See on map
LYON
See on map
1018TV AMSTERDAM
See on map
2829-516 CAPARICA
See on map
101 REYKJAVIK
See on map
78153 LE CHESNAY
See on map
2600 VILNIUS
See on map
01-237 WARSZAWA
See on map
WC2R 2LS LONDON
See on map
581 83 LINKOEPING
See on map
15773 ATHENS
See on map
61-542 POZNAN
See on map
AACHEN
See on map
260 ROSKILDE
See on map
164 29 KISTA
See on map
TALLINN
See on map
GRAZ
See on map
1040 WIEN
See on map
01062 DRESDEN
See on map
KY16 9AJ ST ANDREWS
See on map
BIRMINGHAM
See on map
G12 8QQ GLASGOW
See on map
L69 3BX LIVERPOOL
See on map
M13 9PL MANCHESTER
See on map
170000 TVER
See on map
28040 MADRID
See on map
See on map
44100 FERRARA
See on map
16126 GENOVA
See on map
MILANO
See on map
35122 PADOVA (PD)
See on map
43100 PARMA
See on map
TORINO
See on map
See on map
33100 UDINE
See on map
00173 ROMA
See on map
4040 LINZ
See on map
44035 NANTES
See on map
3584 CS UTRECHT
See on map
See on map
1678 NICOSIA
See on map
2 DUBLIN
See on map
HD1 3DH HUDDERSFIELD
See on map
751 05 UPPSALA
See on map