GdT programmation / séminaire IRILL
More details here
Joint work with Gregor Richards, Caleb Rouleau and Jan Vitek (Purdue U.).
Emmanuel.Chailloux (at) nulllip6.fr