Innovating Works

IMC TOYS
Active

Ngrave: The World s Most Secure Cryptocurrency Safeguarding Solution IMC TOYS participó en 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 | financed
LABOR: Lean robotized AssemBly and cOntrol of composite aeRostructures IMC TOYS participó en 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 | financed
Matryoshka: Fast Interactive Verification through Strong Higher Order Automation IMC TOYS participó en 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 | financed
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.