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 ]
Curbing climate change, restoring our oceans, getting healthier food, fighting cancer or working towards smarter and more sustainable cities are the five EU missions that some IMDEA researchers told us about at the European Researchers’ Night in Madrid 2022.
October 5, 2022
The European Researchers’ Night in Madrid 2022 The 5 EU missions as seen by IMDEA researchers (I) Last Friday, September...
[ 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 ]
