Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
May 31, 2023
In this talk, we give a brief introduction to probabilistic programming and present Zar: a formally verified compiler pipeline from...
[ Read More ]
IMDEA Software and IMDEA Networks work to deploy in Madrid “MadQCI”: Europe’s largest quantum network
May 31, 2023
The network will connect data centers of the universities of the Community of Madrid and the IMDEA Software and IMDEA...
[ Read More ]
Seminar of Dr. Guangyin Yuan, from Shanghai Jiao Tong University, “Research & Development of biodegradable Mg-based vascular stent”. June 30, at 10:30 am in the Seminar Room.
May 29, 2023
Abstract: Biodegradable magnesium-based stents (BMgS) present outstanding potential to revolutionize the treatment of coronary artery diseases, in which full recovery...
[ Read More ]
Get to know a BIOMET4D researcher with…Nourhan Hassan from the University Hospital of Cologne
May 28, 2023
The incredible work being done as part of the BIOMET4D project to create next-generation 4D biodegradable implants for tissue regeneration...
[ Read More ]
Pedro Navarrete y el futuro de la regeneración cardiaca en Falling Walls Lab Madrid, 2023
May 25, 2023
Este viernes, 26 de mayo, el investigador del Instituto IMDEA Materiales, Pedro J. Navarrete Segado, presentará sobre futuras aplicaciones clínicas...
[ Read More ]
Pedro Navarrete to showcase the future of cardiac regeneration at Falling Walls Lab Madrid, 2023
May 25, 2023
This Friday, May 26, IMDEA Materials Institute researcher, Pedro J. Navarrete Segado, will present on future clinical applications in the...
[ Read More ]
Seminar of Dr. Mark Flores, from the Air Force Research Laboratory, Wright-Patterson AFB, (USA), “Multiscale Performance Characterization of PMCs and AM-PMCs”. May 29, at 12:00 am in the Seminar Room.
May 22, 2023
Abstract: Developing a multiscale paradigm requires careful investigation of composite materials at the microscale. Experimental approaches that capture progressive damage...
[ Read More ]
Konstantinos Papaioannou wins the Distinguished Artifact Evaluator Award at EuroSys 2023
May 22, 2023
Researcher Konstantinos Papaioannou, PhD Student of the IMDEA Software Institute (advised by Thaleia Dimitra Doudali), won the Distinguished Artifact Evaluator...
[ Read More ]
Nanociencia para llevar (“to-go”) para la Universidad de Mayores UAM
May 22, 2023
Nanociencia para llevar (“to-go”) para la Universidad de Mayores UAM 19.05.2023 Los estudiantes de la Universidad de Mayores de la...
[ Read More ]
Konstantinos Papaioannou wins the Distinguished Artifact Evaluator Award at EuroSys 2023
May 22, 2023
EuroSys is a premier conference on various aspects of systems software research and development, including its ramifications for hardware and...
[ Read More ]
