Rechercher

Typage, Sémantique et Preuves (TSP)

Evenements

ICFEM 2015 - The 17th International Conference on Formal Engineering Methods

Since 1997, ICFEM has been serving as an international forum for researchers and practitioners...
03-11-2015 au 07-11-2015 - Cnam

1st International Workshop about Sets and Tools (SETS 2014)

Affiliated to ABZ 2014 international conference The workshop aims at bringing together...
03-06-2014 - Toulouse, France

Membres de l'équipe ( permanents)


Messaoud Abbas

Doctorant(e)

Maria-Virginia Aponte

Maître de Conférences

Youssef Bakouny

Doctorant(e)

Pierre Courtieu

Maître de Conférences

Tristan Crolard

Responsable
Professeur

Julien Forest

Maître de conférences exterieur

Nicole Levy

Professeur

Thi kim Dung Pham

Doctorant(e)

Olivier Pons

Maître de Conférences

Matthias Puech

Maître de Conférences

Renaud Rioboo

Professeur extérieur

Xavier Urbain

Maître de conférences exterieur

Steven Varoumas

Doctorant(e)

Anciens membres ( permanents)