Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


2018 Team Activity Report
MOCQUA
Designing the Future of Computational Models
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: Nancy - Grand Est

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A2.3.2. - Cyber-physical systems
  • A2.4.1. - Analysis
  • A6.5. - Mathematical modeling for physical sciences
  • A7.1.4. - Quantum algorithms
  • A7.2. - Logic in Computer Science
  • A7.3. - Calculability and computability
  • A8.1. - Discrete mathematics, combinatorics
  • A8.3. - Geometry, Topology
  • A8.6. - Information theory
Other Research Topics and Application Domains:
  • B9.5.1. - Computer science
  • B9.5.2. - Mathematics
  • B9.5.3. - Physics