Sorbonne Université – LIP 6 Laure Soulier (Coordinator) Ludovic Denoyer Vincent Guigue INRIA Lille – Projet SequeL Université de Montréal – DIRO Philippe Preux Jiean-Yun Nie