Nbr pers.	Acronyme	Nom	Site web
1	Airbus CRT	Airbus Central Research & Technology	http://www.airbus.com
2	CALMIP	CALMIP	https://www.calmip.univ-toulouse.fr/
2	CEA LIST	Laboratoire d'Intégration de Systèmes et de Technologies	https://list.cea.fr/
1	EDF R&D/PERICLES	Performance et Prévention des Risques Industriels du Parc par la Simulation et les Études	None
2	INRIA Bordeaux	INRIA Bordeaux	https://www.inria.fr/fr/centre-inria-de-luniversite-de-bordeaux
1	INRIA Paris	INRIA Paris	https://www.inria.fr/fr/centre-inria-de-paris
1	INRIA Rennes	INRIA Rennes	https://www.inria.fr/fr/centre-inria-universite-rennes
1	INRIA Saclay	INRIA Saclay	https://www.inria.fr/fr/centre-inria-de-saclay
2	IRIF	Institut de Recherche en Informatique Fondamentale	https://www.irif.fr/
1	IRIT	Institut de Recherche en Informatique de Toulouse	https://www.irit.fr
4	LaBRI	Laboratoire Bordelais de Recherche en Informatique	https://www.labri.fr
2	LIP6	LIP6	https://www.lip6.fr
4	LMF	Laboratoire Méthodes Formelles	https://lmf.cnrs.fr
3	Non académique	Laboratoire non académique	None
2	ONERA	Office Nationale Étude et Recherche en Aérospatiale	None
Nbr pers.	Acronyme	Nom	Site web

Nom	Statut	Employeur	Labo
BABOULIN Marc	Professeur de l'enseignement supérieur	Université Française	LMF
MARY Théo	Chargé de recherche	CNRS	LIP6
GUERMOUCHE Abdou	Maitre de conférences ou assimilé	Université Française	LaBRI
RAMET Pierre	Professeur de l'enseignement supérieur	Université Française	LaBRI
BUTTARI Alfredo	Directeur de recherche	CNRS	IRIT
VILMART Renaud	Autre	INRIA	INRIA Saclay
BARDIN Sébastien	Autre	Recherche publique autre	CEA LIST
POINTAL Brice	Ingénieur	INRIA	LMF
APERS Simon	Chargé de recherche	CNRS	IRIF
GAZDA Arnaud	Ingénieur	Recherche privée autre	Non académique
ALLOUCHE Cyril	Autre	Recherche privée autre	Non académique
SASSOLAS Tanguy	Ingénieur	Recherche publique autre	CEA LIST
CAINO-LORES Silvina	Chargée de recherche	INRIA	INRIA Rennes
HAMOUDI Yassine	Chargé de recherche	CNRS	LaBRI
REMAUD Maxime	Ingénieur	Recherche privée autre	Non académique
NICOLIS Michel	Ingénieur	INRIA	LMF
THIBAULT Samuel	Professeur de l'enseignement supérieur	Université Française	LaBRI
MENDOZA Samuel	Autre	INRIA	INRIA Bordeaux
SYLVAND Guillaume	Ingénieur	Recherche privée autre	Airbus CRT
RENAC Florent	Autre	Recherche publique autre	ONERA
RENON Nicolas	Ingénieur	Université Française	CALMIP
MOHAMMAD Sulaiman	Ingénieur	Université Française	CALMIP
GRAILLAT Stef	Professeur de l'enseignement supérieur	Université Française	LIP6
BOITEAU Olivier	Ingénieur	Recherche privée autre	EDF R&D/PERICLES
FAUCHER Florian	Chargé de recherche	INRIA	INRIA Bordeaux
HUERGA Daniel	Ingénieur	Recherche publique autre	ONERA
Nom	Statut	Employeur	Labo

Nom	Statut	Employeur	Labo
BRAIDA Arthur	Post Doctorant	CNRS	IRIF
CLÉMENT Alexandre	Post Doctorant	Université Française	LMF
NOVÁK Samo	Doctorant	INRIA	INRIA Paris
Nom	Statut	Employeur	Labo