Empresas y entidades asociadas

• Barcelogic.
• Botium.
• Espadaysantacruz Studio.
• Ethereum Madrid.
• IBM.
• IFMA Spain.
• IncQuery Labs.
• Montimage.
• UGROUND GLOBAL.

Grupos asociados a FORTE-CM

Los siguientes grupos de investigación extranjeros han mostrado su interés en participar como investigadores asociados de FORTE-CM.

• AnSyMo: Hans Vangheluwe.
• Formal Description of Programming Concepts: Einar Broch Johnsen.
• GIDIS_Web: Luis Olsina.
• HADAS: Genoveva Vargas.
• ISCM: Michael Papazoglou.
• MCSCERT: Richard Paige.
• Modeling: Marsha Chechik.
• Optimization and Constraint Solving: Peter Stuckey.
• SEL: Joerg Kienzle.
• SMAL: Steffen Zschaler.
• Testing: Robert M. Hierons.
• VTP: Ana Rosa Cavalli.
• Zilliqa: Ilya Sergey.