Ziel
The aim of the network is to support all phases of technological change associated with the research, development and application of logic-based techniques and methods in all areas of computing.
The research fields of Compulog Net encompass every aspect of computational logic, though special emphasis is currently placed on: Knowledge Representation and Reasoning; Concurrent and Constraint Logic Programming; Logic-Based Databases; Program Development; Language Design, Semantics and Verification Methods; Implementation Technology and Parallelism; Automated Deduction Systems; (Computational Logic and) Machine Learning; (Computational Logic and) Natural Language Processing; Spatial and Temporal Reasoning.
Logic-based approaches to computing have a vast potential for industrial exploitation and are currently applied in such diverse sectors as manufacturing, engineering, transportation, distribution, telecommunications, banking, finance, insurance, data management and medicine, as witnessed by numerous case-studies presented at the network's industrial seminars, at network sponsored conferences such as the Practical Applications of Prolog (PAP), the Practical Applications of Constraint Technology (PACT), as well as at the Japanese Symposium and Exhibition on Industrial Applications of Prolog (INAP).
The network is structured into three distinct but interrelated frameworks:
- Research Co-ordination;
- Industrial Action;
- Education and Training;
together with a fourth framework supporting each of the others:
- Information and Infrastructure.
- Research Co-ordination is supported by the activities of Research Area Coordinators for each of the Areas mentioned above. These include the organisation of technical meetings and workshops, support for related events and conferences, and information collection and dissemination. The number of Research Areas has been increased, to give the network a broader scope and to promote newly-emerging areas with high potential for industrial exploitation. Some of the new Areas are to be jointly coordinated with other Networks of Excellence.
- Within the framework of Industrial Action a programme of activities is carried out jointly with industrial nodes, software developers and vendors, and includes conferences, workshops and special industrial seminars. Industrial Task Forces and Special Industrial Interest Groups help to identify industrial needs and to focus reactive research and technological development.
- Education and Training coordinates and promotes the training and mobility of researchers within the network using schemes such as TMR. It is planned to set-up distributed Masters and PhD programmes in Computational Logic, which will make use of both advanced distance-teaching methods and equipment as well as student visits to network nodes. A section of the annual European Summer School in Logic, Language and Information is co-organised and supported by the network, to provide further opportunities for acquiring skills and training.
- Infrastructure and Information provides the essential communication frameworks for rapid information dissemination and exchange, efficient co-ordination, as well as environments to sustain remote computer supported cooperative work (CSCW) between nodes of the network. Major nodes will be equipped with advanced CSCW workstations to enable video conferencing, advanced communication, cooperative work and information exchange.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Datenbank
- Naturwissenschaften Informatik und Informationswissenschaften Datenwissenschaften Verarbeitung natürlicher Sprache
- Naturwissenschaften Informatik und Informationswissenschaften Wissensverarbeitung
- Naturwissenschaften Informatik und Informationswissenschaften künstliche Intelligenz maschinelles Lernen
- Technik und Technologie Elektrotechnik, Elektronik, Informationstechnik Informationstechnik Telekommunikation
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
67663 Kaiserslautern
Deutschland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.