2020
Activity report
Project-Team
LINKS
RNSR: 201321077H
Reseach center
In partnership with:
CNRS, Université de Lille
Team name:
Linking Dynamic Data
In collaboration with:
Centre de Recherche en Informatique, Signal et Automatique de Lille
Domain
Perception, Cognition and Interaction
Theme
Data and Knowledge Representation and Processing
Creation of the Team: 2013 January 01, updated into Project-Team: 2016 June 01

Keywords

  • 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
  • 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