Combining Abstract Interpretation and Constraint Programming
25-28 September, 2018

Vers une combinaison de l’interprétation abstraite et de la programmation par contraintes
25-28 Septembre, 2018

François BOBOT CEA, LIST
David CACHERA ENS Rennes
Patrick COUSOT New York University
Remy GARCIA Université Côte d'Azur
Khalil GHORBAL Inria
Laure GONNORD Université Claude Bernard Lyon 1
Eric GOUBAULT Ecole Polytechnique
Arie GURFINKEL University of Waterloo
Nicolas HALBWACHS CNRS/Verimag
Maxime JACQUEMIN CEA LIST
Bibek KABI Ecole Polytechnique
Alexandre MARÉCHAL Sorbonne Université, LIP6
Claude MICHEL Université de Nice-Sophia Antipolis
Antoine MINÉ Sorbonne Université, LIP6
David MONNIAUXCNRS VERIMAG Grenoble
Justin PEARSON Uppsala Univeristy
Marie PELLEAU I3S
Sylvie PUTOT Ecole Polytechnique
Michel RUEHER Université Côte d'Azur
Christian SCHULTE KTH Royal Institute of Technology
Pierre TALBOT Université de Nantes
Charlotte TRUCHET Université de Nantes
Franck VEDRINE CEA LIST
Ghiles ZIAT Sorbonne Université
Heytem ZITOUN Université Côte d'Azur