IMDEA and OCaml Labs partner with Tezos Foundation for the advancement of its cryptographic ledger and smart contracts technologies
May 14, 2018
The IMDEA Software Institute and OCaml Labs partners with the Tezos Foundation to further maintain and advance the Tezos codebase...
[ Read More ]
Talk by Itsaka Rakotonirina: The DEEPSEC Prover
May 11, 2018
Automated verification has become an essential part in the security evaluation of cryptographic protocols. Recently, there has been a considerable...
[ Read More ]
The DEEPSEC Prover
May 11, 2018
Automated verification has become an essential part in the security evaluation of cryptographic protocols. Recently, there has been a considerable...
[ Read More ]
IMDEA Energy participates in the ENGIE Innovation Week 2018
May 10, 2018
On May 22nd, 2018, IMDEA Energy Institute will receive the technical visit of a group of professionals of ENGIE, activity...
[ Read More ]
Desarrollo sostenible de nuevos imanes permanentes “Made in Europe” con un reducido impacto medioambiental
May 10, 2018
Desarrollo sostenible de nuevos imanes permanentes “Made in Europe” con un reducido impacto medioambiental El proyecto NEXMAG, coordinado desde Madrid...
[ Read More ]
Meeting of scientific journalists and researchers in IMDEA Water
May 9, 2018
The objective was to highlight the social, environmental and economic impact of water research
[ Read More ]
Low frequency assists high frequency in millimeter-wave networks
May 8, 2018
This video shows two technical demonstrations of current research work on mobile technologies by the Wireless Networking Group at IMDEA...
[ Read More ]
Open position. Doctor Laboratoy Technician.
May 4, 2018
El plazo de presentación de las solicitudes finalizará el día 17 de mayo de 2018.
[ Read More ]
