Home
2018 Project-Team Activity Report
LINKS
Linking Dynamic Data
Research centre:
Lille - Nord Europe
In partnership with: CNRS, Université Charles de Gaulle (Lille 3), Université des sciences et technologies de Lille (Lille 1)
In collaboration with: Centre de Recherche en Informatique, Signal et Automatique de Lille
In collaboration with: Centre de Recherche en Informatique, Signal et Automatique de Lille
Keywords:
Computer Science and Digital Science:
- A2.1. - Programming Languages
- A2.1.1. - Semantics of programming languages
- A2.1.4. - Functional programming
- A2.1.6. - Concurrent programming
- A2.4. - Formal method for verification, reliability, certification
- A2.4.1. - Analysis
- A2.4.2. - Model-checking
- A2.4.3. - Proofs
- A3.1. - Data
- A3.1.1. - Modeling, representation
- A3.1.2. - Data management, quering and storage
- A3.1.3. - Distributed data
- A3.1.4. - Uncertain data
- A3.1.5. - Control access, privacy
- A3.1.6. - Query optimization
- A3.1.7. - Open data
- A3.1.8. - Big data (production, storage, transfer)
- A3.1.9. - Database
- A3.2.1. - Knowledge bases
- A3.2.2. - Knowledge extraction, cleaning
- A3.2.3. - Inference
- A3.2.4. - Semantic Web
- A4.7. - Access control
- A4.8. - Privacy-enhancing technologies
- A7. - Theory of computation
- A7.2. - Logic in Computer Science
- A9.1. - Knowledge
- A9.2. - Machine learning
- A9.7. - AI algorithmics
- A9.8. - Reasoning
Other Research Topics and Application Domains:
- B6.1. - Software industry
- B6.3.1. - Web
- B6.3.4. - Social Networks
- B6.5. - Information systems
- B9.5.1. - Computer science
- B9.5.6. - Data science
- B9.10. - Privacy