Members of the consortium

• M. Clausel, IECL (Lorraine University). Main coordinator

• S. Arlot, IMO/Celeste Team of INRIA Saclay (Paris Saclay University). Coordinator for the Celeste Team 

• E. Devijver, CNRS-LIG, (Grenoble-Alps University). Coordinator for the APTIKAL Team

• M. Sebag, CNRS-LISN/TAU Team of INRIA Saclay. Coordinator for the TAU Team

• E. Chzhen, CNRS-IMO/Celeste Team of INRIA Saclay (Paris Saclay University) 

• E. Gaussier, LIG, (Grenoble-Alps University)

• C. Giraud, IMO/Celeste Team of INRIA Saclay (Paris Saclay University) 

• A. Leite, LISN/TAU Team of INRIA Saclay 

• G. Stoltz, CNRS-IMO/Celeste Team of INRIA Saclay (Paris Saclay University) 

External members

• C. Assaad, (Easy Vista) 

• A. Meynaoui, (Rennes 2 University)

• G. Oppenheim, (Paris Est University)