Sites Inria

Il y a 4 Résultats avec le mot clé : "ACM SIGPLAN"

Carte colorée en quatre couleurs. Coq a permis de prouver en 2004 le théorème des quatre couleurs. - Photo Sarasan (modifiée) - CC BY-SA 3.0

Distinction

Un prix pour Coq

8/01/2014

Le logiciel Coq est récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014. Cet assistant de preuve 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, il séduit désormais les mathématiciens.

Mots-clés :

Accueil > Actualité > Actualités Inria > Un prix pour Coq

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

Haut de page

Suivez Inria