Conférence Formal Methods – FM 2018 – Oxford

Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan

Projet LCHIP et architecture double processeur: premier starter kit

Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie

ABZ 2014 – Toulouse du 2 au 5 juin

Séminaire INRIA “Ingénierie des Modèles”

Séminaire DGA “Ingénierie des Systèmes Complexes”

Séminaire technique à l’Université de Newcastle