2016 Team Activity Report
POSET
Modèles pour la Programmation Structurée de l'Espace et du Temps
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre:
Bordeaux - Sud-Ouest
Keywords:
Computer Science and Digital Science:
- 1.2.5. - Internet of things
- 1.3. - Distributed Systems
- 1.5.2. - Communicating systems
- 2.1. - Programming Languages
- 2.1.1. - Semantics of programming languages
- 2.1.10. - Domain-specific languages
- 2.2.1. - Static analysis
- 2.3.3. - Real-time systems
- 2.5. - Software engineering
- 2.5.1. - Software Architecture & Design
- 2.5.2. - Component-based Design
- 5.1.1. - Engineering of interactive systems
- 5.1.7. - Multimodal interfaces
- 5.2. - Data visualization
- 5.4.4. - 3D and spatio-temporal reconstruction
- 5.5.1. - Geometrical modeling
- 5.5.4. - Animation
- 5.7.2. - Music
- 5.7.4. - Analysis
- 5.7.5. - Synthesis
- 6.1.3. - Discrete Modeling (multi-agent, people centered)
- 7.4. - Logic in Computer Science
- 7.5. - Geometry, Topology
- 7.6. - Computer Algebra
- 7.14. - Game Theory
Other Research Topics and Application Domains:
- 6.1.1. - Software engineering
- 6.4. - Internet of things
- 6.6. - Embedded systems
- 9.1.1. - E-learning, MOOC
- 9.2.1. - Music, sound
- 9.4.1. - Computer science
- 9.4.2. - Mathematics
- 9.5.10. - Digital humanities
- 9.6. - Reproducibility
- 9.7. - Knowledge dissemination
- 9.7.1. - Open access