Mirrahimi, M (INRIA Paris - Rocquencourt) Friday 01 August 2014, 10:00-11:00