Sites Inria

Il y a 15 Résultats avec le mot clé : "Preuve"

© Photo Bernard Lachaud

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria-Microsoft Research.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

Lire la suite

1984

Coq : 7 dates clefs

Mathilde De Vos -

Le logiciel Coq reçoit le 23 janvier 2014 le SIGPLAN Programming Languages Software Award. Ce prix récompense chaque année un logiciel ayant eu un impact significatif dans la recherche ou le développement des langages de programmation. Le projet en 7 dates.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > Chronologie

Lire la suite

Coq : 30 années de travail d’équipe

Julien Thèves, Citizen Press -

Conçu il y a trente ans dans le laboratoire de Paris-Rocquencourt de l'INRIA, l’assistant de preuve Coq continue de mobiliser les équipes de recherche. Son développement continu témoigne de l’intérêt que lui porte la communauté scientifique, et maintenant le secteur économique.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > 30 ans de travail d’équipe

Lire la suite

Coq : la preuve par le logiciel

Julien Thèves, Citizen Press -

Récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014, le logiciel Coq constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. Très performant, cet assistant de preuve séduit désormais les mathématiciens.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > La preuve par le logiciel

Lire la suite

Théorie de la réécriture

École internationale d'été en réécriture

1/07/2019 au 6/07/2019

La 11e édition de l’École internationale en réécriture se tiendra du 1er eu 6 juillet 2019 à Paris. Organisée par Inria et les MINES ParisTech, elle s’adresse aux étudiantes et étudiants en master, doctorantes et doctorants, et chercheurs et chercheuses intéressé.e.s par les concepts de la théorie de la réécriture et leurs applications.

Lieu : MINES ParisTech

Mots-clés :

Accueil > Centre > Saclay > Agenda > École internationale d'été en réécriture

lire la suite

Haut de page

Suivez Inria