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.