Predicting plasticity and its benefits for industry
October 10, 2022
Visiting researcher Dr. Douglas Spearot is hopeful that his collaboration with IMDEA Materials will result in improved simulation techniques to...
[ Read More ]
October 19th seminar “Chemical tools and nanoparticles for the fight against neurodegenerative diseases”
October 10, 2022
Monday, October 10, 2022 Next October 19th, Valle Palomo Ruiz, head of the Lab of Biosensors in Neuroscience at IMDEA...
[ Read More ]
Mobile network data, an efficient method for assessing the spread of epidemics
October 10, 2022
The onset of the COVID-19 pandemic in March 2020 forced governments around the world to take measures to prevent its...
[ Read More ]
First Year Assessment of Yuyao Liu, entitled “Development of biodegradable polymers for tissue engineering» –October 14th, 2022 – 12:00 pm
October 7, 2022
Abstract: Tissue engineering and regenerative medicine are currently seen as excellent alternatives for the rehabilitation or replacement of damaged tissues...
[ Read More ]
Multi: a Formal Playground for Multi-Smart Contract Interaction
October 6, 2022
Blockchains are maintained by a network of participants, miner nodes, that run algorithms designed to maintain collectively a distributed machine...
[ Read More ]
Multi: a Formal Playground for Multi-Smart Contract Interaction
October 6, 2022
Blockchains are maintained by a network of participants, miner nodes, that run algorithms designed to maintain collectively a distributed machine...
[ Read More ]
Frenar el cambio climático, restaurar nuestros océanos, obtener alimentos más saludables, luchar contra el cáncer o trabajar para tener ciudades más inteligentes y sostenibles son las cinco misiones de la UE de las que nos hablaron algunos investigadores de IMDEA en la Noche Europea de los Investigadores e Investigadoras de Madrid 2022.
October 5, 2022
Noche Europea de los Investigadores e investigadoras de Madrid 2022 Las 5 Misiones de la UE vistas por los Investigadores...
[ Read More ]
Talk by Nico Lehmann: Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
Talk by Nico Lehmann: Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
Flux: Liquid Types for Rust
October 4, 2022
Low-level pointer-manipulating programs are hard to verify, requiring complex spatial program logics that support reasoning about aliasing and separation. Worse,...
[ Read More ]
