MRSEI V4 - Montage de Réseaux Scientifiques Européens et/ou Internationaux 2023 - v4

Social Good and Formal Verification – CONFORMATION

Project coordination

Laurent Perrussel (Institut de Recherche en Informatique de Toulouse)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


IRIT Institut de Recherche en Informatique de Toulouse

Help of the ANR 34,350 euros
Beginning and duration of the scientific project: - 24 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter