Members
Overall Objectives
Research Program
Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Dissemination

Teaching - Supervision - Juries

Teaching

Supervision

Juries

Benoît Caillaud has participated to the jury for the defense of Florent Avellaneda's PhD thesis, Verification of stateful Petri-nets under a partial order semantics, December 10th 2013, Aix-Marseille University. He has also served on the junior researcher hiring committee of Inria Sophia Antipolis - Méditerranée