• Logique Compétence 2 expertes
Serenella Cerrito

Serenella Cerrito

Recherche - France
Université d'Évry Val d'Essonne Professeure
Informatique Déduction automatique Logique
Sylvie Boldo

Sylvie Boldo

Recherche - France
Institut national de recherche en informatique et en automatique (Inria) Chargée de recherche
Informatique Logique