Voir la description la description de Prim sur la page de Marc Plantevit.

Je propose deux sujets, tous les deux dans le cadre du projet de recherche KISS :

• Coq-semiring : formalisation en Coq de la théorie des semi-anneaux. Ce sujet assez fondamental est une découverte de Coq et propose application à la formalisation des travaux du projet KISS.
• Utilisation et comparaison de SGBDs gérant la provenance des données. Ce sujet plus pratique a pour objectif à évaluer la faisabilité technique de résultats du projet KISS et à les prototyper .