• Main content
  • Site map
  • Accessibility
EN FR
Inria scientific annual reports
  • 2022
  • 2021
  • 2020
  • Archives
Log in to access more tools Inria
Inria scientific annual reports Inria
  • Log in to access more tools
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • 2022 2021 2020 2019 2018
    All archives
  • Site map
  • Legal notice
  • Accessibility - non conforme
  • FRENCH

    |

    ENGLISH

GALLINETTE
  • PDF version
  • ePub version
  • PDF version
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
GALLINETTE - 2018
GALLINETTE - 2018
Inria
Project-Team Gallinette
Team, Visitors, External Collaborators
Overall Objectives
Research Program
  • Scientific Context
  • Enhance the computational and logical power of proof assistants
  • Semantic and logical foundations for effects in proof assistants based on type theory
  • Language extensions for the scaling of proof assistants
  • Practical experiments
Highlights of the Year
New Software and Platforms
  • Coq
  • Math-Components
  • Ssreflect
  • Ltac2
New Results
  • Logical Foundations of Programming Languages
  • Type Theory and Proof Assistants
  • Program Certifications and Formalisation of Mathematics
Partnerships and Cooperations
  • Regional Initiatives
  • National Initiatives
  • European Initiatives
  • International Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Publications of the year
  • References in notes
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • PDF version
  • ePub version
  • PDF version
Inria
Project-Team Gallinette
Team, Visitors, External Collaborators
Overall Objectives
Research Program
  • Scientific Context
  • Enhance the computational and logical power of proof assistants
  • Semantic and logical foundations for effects in proof assistants based on type theory
  • Language extensions for the scaling of proof assistants
  • Practical experiments
Highlights of the Year
New Software and Platforms
  • Coq
  • Math-Components
  • Ssreflect
  • Ltac2
New Results
  • Logical Foundations of Programming Languages
  • Type Theory and Proof Assistants
  • Program Certifications and Formalisation of Mathematics
Partnerships and Cooperations
  • Regional Initiatives
  • National Initiatives
  • European Initiatives
  • International Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Publications of the year
  • References in notes


previous Previous | up Home | Next next


Section: Partnerships and Cooperations

Regional Initiatives

  • Vercoma (Atlanstic 2020/Attractivity grant)

  • Goal: Verified comupter mathematics.

  • Coordinator: A. Mahboubi.

  • Duration: 08/2018 - 08/2021.



previous Previous | up Home | Next next


  • Site map
  • Legal notice
  • Accessibilité : partiellement conforme

version 2.6.2