Innovating Works

IMC TOYS

Activa
Ngrave: The World s Most Secure Cryptocurrency Safeguarding Solution NGRAVE.IO tramitó un H2020: H2020-EIC-SMEInst-2018-2020 Blockchain technology is increasingly gaining traction. The total market cap of all cryptocurrencies combined stands at €177B and is conside...
2019-11-19 - 2020-03-31 | Financiado
LABOR: Lean robotized AssemBly and cOntrol of composite aeRostructures AEA s.r.l. tramitó un H2020: H2020-CS2-CFP06-2017-01 According to the Global Market Forecast, there is a strong need to ramp up the productivity in the aeronautic industry and to this aim, all...
2018-02-13 - 2021-06-30 | Financiado
Matryoshka: Fast Interactive Verification through Strong Higher Order Automation STICHTING VU tramitó un H2020: ERC-2016-STG Proof assistants are increasingly used to verify hardware and software and to formalize mathematics. However, despite the success stories, t...
2016-12-15 - 2022-02-28 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.