Rechercher

Typage, Sémantique et Preuves (TSP)

Menu

Projets

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)

Francois Barthelemy
Associé

Raphaël Cauderlier
Post-doc

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)