Évènement

Valentin Maestracci
I2M, AMU, Univ. Paris 13
https://www.i2m.univ-amu.fr/user/valentin.maestracci/

Date(s) : 03/11/2022   iCal
17h00 - 18h30

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
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)

Catégories

• Séminaire