2016 Project-Team Activity Report

PI.R2

Design, study and implementation of languages for proofs and programs

Research centre:
Paris

In partnership with: CNRS, Université Denis Diderot (Paris 7)

In collaboration with: Institut de Recherche en Informatique Fondamentale

In collaboration with: Institut de Recherche en Informatique Fondamentale

Keywords:

Computer Science and Digital Science:

- 2.1.1. - Semantics of programming languages
- 2.1.3. - Functional programming
- 2.1.11. - Proof languages
- 2.4.3. - Proofs
- 7.2. - Discrete mathematics, combinatorics
- 7.4. - Logic in Computer Science
- 7.6. - Computer Algebra

Other Research Topics and Application Domains:

- 6.1. - Software industry
- 6.6. - Embedded systems