Section: Partnerships and Cooperations

National Initiatives

• Thomas Chatain, Stefan Haar, Serge Haddad and Stefan Schwoon are participating in the ANR Project ALGORECELL.

• Matthias Függer participates in the ANR project FREDDA on verification and synthesis of distributed algorithms.

• Laurent Fribourg participates in Digicosme Emergence Project “CODECSY” in collaboration with Antoine Girard (CentraleSupelec).