Partenaires


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Actualités > Soutenances > ScalSem : Model checking et graphes sémantiques

ScalSem : Model checking et graphes sémantiques

Gueffaz Mahdi

par Dounia Radi - 23 novembre 2012

Gueffaz Mahdi soutiendra sa thèse intitulée "ScalSem : Model checking et graphes sémantiques", Mardi 11 décembre 2012 à 09h00 dans l’amphithéâtre Recoura, bâtiment Mirande

Le jury sera composé de :
- Christophe Nicolle, professeur au LE2i (directeur de thèse)
- Sylvain Rampacek, maitre de conférence au LE2i
- Patrice Moreaux, professeur au LISTIC (rapporteur)
- Hacène Fouchal, professeur, Université de Reims (rapporteur)
- Pablo Gruer, professeur, Université de Technologie de Belfort
- Guillaume Doyen, maître de conférences, Université de Technologie de Troyes

Dans la même rubrique :


LE2I - Laboratoire Electronique, Informatique et Image | webmestre : Antoine Trapet | info légales | logo SPIP 2