Section Dissemination - Inria
Mar 24, 2015 ... PhD in progress: Sajith Kalathingal, Université Rennes 1, Dec 2012, ..... Inria
Paris-Rocquencourt in March 2014, a seminar on ?Automatic Inference ... 2011,
Patrick Cousot and Jérôme Feret, École Normale Supérieure. ...... Gilles Chabert,
Member of the PhD committee of the thesis of Aymeric Bethencourt, ...