Arithmétique des Ordinateurs Certifiée
Action de Recherche Coopérative
Quoi de Neuf?
10-11 juin : Réunion finale AOC
Objectifs
La conception de logiciels numériques certifiés n'a de sens que si
l'arithmétique élémentaire utilisée par ces logiciels est, elle
aussi, certifiée. Des exemples récents montrent que ceci n'est pas
forcément évident et que de la recherche reste à faire dans ce
domaine. On désire faire collaborer des équipes travaillant dans
le domaine de la preuve et des équipes concevant et/ou implantant
des algorithmes arithmétiques.
Membres d'AOC
- Projet Lemme
- Projet Polka
- Projet Arénaire
- Secrétariat
Agenda
-
Nov. 99: Appel à la proposition d'Action de Recherche Coopérative
-
Fév. 00: Première réunion
-
Juin 00: Deuxième réunion
-
Nov 00: Groupe de travail
-
Juin 01: Troisième réunion
-
Juin 02: Réunion finale AOC
Coq contributions:
Pointeurs
Laurent Théry