Valentin Maestracci
I2M, AMU, Univ. Paris 13
https://www.i2m.univ-amu.fr/user/valentin.maestracci/
Date(s) : 03/11/2022 iCal
17 h 00 min - 18 h 30 min
Computer science has historically been interested in comparing programs. One can define a notion of equivalence between them, such that two equivalent programs cannot be distinguished by their inputs/outputs (as if they were black boxes).
Unfortunately this notion is too strict in practice: when two programs might make errors, but do « almost the same thing », they cannot be equivalent in this sense. One might then ask whether there is a way to express mathematically the fact that they are « almost the same »?
By defining a notion of distance between programs we will propose an answer to that question.
Le séminaire des doctorant⋅es de l’I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d’un exposé plus ou moins (in)formel, dans un cadre convivial. Il est évidemment ouvert aux étudiant⋅es de master et aux doctorant⋅es d’autres laboratoires.
C’est au rez-de-chaussée du bâtiment de « l’ancienne BU », dans la salle « Séminaire 2 » (au fond à gauche en sortant de l’escalier si vous venez de l’étage, au fond à droite si vous entrez par le rez-de-chaussée). Attention : l’entrée dans le labo nécessite un badge. En cas de souci (de type : être bloqué⋅e dehors), appeler le 04 91 26 95 91.
Emplacement
Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)
Catégories