Exploratory Action:DEDUCTEAM

Exploratory Action Deducteam

Members

Overall Objectives

Objectives
History
Highlights of the Year

Research Program

From proof-checking to Interoperability
Automated theorem proving
Models of computation

Application Domains

Safety of Aerospace systems
Tools for proofs in B

Software and Platforms

Dedukti
Coqine, Holide and Focalide
iProver Modulo
Super Zenon and Zenon Modulo
Zipperposition and Logtk
CoLoR
HOT
Moca
Rainbow

New Results

Dedukti
Embeddings in the λΠ-calculus modulo
Automated Theorem Proving
Proof theory
Safety of aerospace systems
Models of Computation
Constraint solving

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2013 | Exploratory Action


	PDF	e-Pub

Previous |

Home | Next next

Section: Overall Objectives

Highlights of the Year

The Version 2 of Dedukti has been released. Gilles Dowek has been invited speaker to CSR, Hapoc, and to the Colloquium of the University Pierre et Marie Curie. David Delahaye has been an invited speaker of PSATTT.

Previous |

Home | Next next