Jul 29 2013

A Machine-Checked Proof of the Odd Order Theorem

http://hal.inria.fr/hal-00816699/en/

Jul 17 2013

Séminaire Marelle : Automatisation de preuves en Coq par traduction en logique du premier ordre

Sorry, this entry is only available in French.

Jul 08 2013

Séminaire Marelle : Le théorème des trois cercles

Sorry, this entry is only available in French.

Jun 11 2013

Séminaire Marelle : Vérification formelle de certificats fondés sur le lemme de Hensel

Sorry, this entry is only available in French.

Apr 30 2013

Séminaire Marelle : Introduction to homotopy type theory

On Tuesday 30/04/2013, at 10h, in room Byron Blanc.

Speaker: Yves Bertot.

Title: Introduction to homotopy type theory.

Abstract:
Homotopy theory is an offspring of algebraic topology that makes it possible to sort topological spaces in equivalence classes and to study their algebraic properties. Since 2006, connections have been discovered between this theory and type theory, more precisely with respect types used to represent equality.

In this talk, I will describe some of these connection and show how new kinds of data-structures, called higher inductive types start to have a meaning in this context, and how they can be simulated in a simple extension of the Coq system.

Mar 19 2013

Séminaire Marelle : Ordinaux et récursivité

Sorry, this entry is only available in French.

Feb 18 2013

Séminaire Marelle : Du lemme de Hensel aux certificats ISValP

Sorry, this entry is only available in French.

Jan 29 2013

Séminaire Marelle : Forme normale de Frobenius et de Jordan d’une matrice

Sorry, this entry is only available in French.

Aug 09 2012

Séminaire Marelle : Vérification automatique de propriétés de “differential privacy”

Sorry, this entry is only available in French.

Mar 12 2012

MAP 2012 – International Spring School on Formalization of Mathematics

Event: International Spring School on Formalization of Mathematics – MAP 2012.

Date: March 12–16, 2012.

Location: Sophia Antipolis, France.

Website: http://www-sop.inria.fr/manifestations/MapSpringSchool/