• 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

DEDUCTEAM
  • PDF version
  • ePub version
  • PDF version
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
DEDUCTEAM - 2014
DEDUCTEAM - 2014
Inria
Exploratory Action Deducteam
Members
Overall Objectives
  • Objectives
  • History
Research Program
  • From proof-checking to Interoperability
  • Automated theorem proving
  • Models of computation
Application Domains
  • Safety of aerospace systems
  • B-set theory
  • Termination certificate verification
New Software and Platforms
  • Dedukti
  • Coqine, Holide, Focalide and Sigmaid
  • iProver Modulo
  • Super Zenon and Zenon Modulo
  • Zipperposition (and extensions) and Logtk
  • CoLoR
  • HOT
  • Moca
  • Rainbow
  • mSAT
New Results
  • Highlights of the Year
  • Termination
  • Proof and type theory modulo rewriting
  • Automated theorem proving
  • Algebraic λ-calculus
Partnerships and Cooperations
  • National Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Major publications
  • Publications of the year
  • References in notes
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • PDF version
  • ePub version
  • PDF version
Inria
Exploratory Action Deducteam
Members
Overall Objectives
  • Objectives
  • History
Research Program
  • From proof-checking to Interoperability
  • Automated theorem proving
  • Models of computation
Application Domains
  • Safety of aerospace systems
  • B-set theory
  • Termination certificate verification
New Software and Platforms
  • Dedukti
  • Coqine, Holide, Focalide and Sigmaid
  • iProver Modulo
  • Super Zenon and Zenon Modulo
  • Zipperposition (and extensions) and Logtk
  • CoLoR
  • HOT
  • Moca
  • Rainbow
  • mSAT
New Results
  • Highlights of the Year
  • Termination
  • Proof and type theory modulo rewriting
  • Automated theorem proving
  • Algebraic λ-calculus
Partnerships and Cooperations
  • National Initiatives
  • International Research Visitors
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
  • Popularization
Bibliography
  • Major publications
  • Publications of the year
  • References in notes


up Home | Next next


2014 Exploratory Action Activity Report
DEDUCTEAM
Deduction modulo, interopérabilité et démonstration automatique
Research centre: Paris - Rocquencourt


Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords: Type Systems, Proof Theory, Automated Theorem Proving, Model Of Computation, Safety
  • Site map
  • Legal notice
  • Accessibilité : partiellement conforme

version 2.6.2