European Researchers’ Night 2020
November 30, 2020
The team, made up of Domenico Giustiniano (Research Associate Professor), Borja Genovés Guzmán (Post-doc Researcher) and Muhammad Sarmad Shahab Mir...
[ Read More ]
On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021
November 30, 2020
Research Results The researchers František Farka, Aleksandar Nanevski, Anindya Banerjee (from the IMDEA Software Institute), Germán Andrés Delbianco (Nomadic Labs),...
[ Read More ]
On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021
November 30, 2020
This paper presents a novel, algebraic treatment of the assertion language of separation logics
[ Read More ]
Juega y participa en el proyecto europeo Curating Citizen Engagement: Food solutions for future generations
November 27, 2020
Friday, November 27, 2020 Este proyecto financiado por EIT Food, sitúa a las futuras generaciones como vector de cambio dentro...
[ Read More ]
Juega y participa en el proyecto europeo Curating Citizen Engagement: Food solutions for future generations
November 27, 2020
Friday, November 27, 2020 Juega y participa en el proyecto europeo Curating Citizen Engagement: Food solutions for future generations 27-29...
[ Read More ]
ITP Aero and IMDEA Materials develop a pioneer R&D program to simulate 3D manufacturing processes
November 27, 2020
ITP Aero and IMDEA Materials collaborate in an R&D program named ENVIDIA, whose goal is the development of software capable...
[ Read More ]
Composite photocatalysts for solar water treatment
November 25, 2020
Advanced Oxidation Processes (AOPs) emerged as feasible alternatives or complements to conventional water treatment processes for treating refractory compounds such...
[ Read More ]
The 3rd SFERA-III transnational access campaign to top research CST installations is launched!
November 25, 2020
The 3rd campaign of the H2020 SFERA-III project, in which IMDEA Energy is partner, offers free access for researchers to...
[ Read More ]
Talk by Dimitris Kolonelos: Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage
November 24, 2020
Vector commitments with subvector openings (SVC) [Lai-Malavolta, Boneh-Bunz-Fisch; CRYPTO’19] allow one to open a committed vector at a set of...
[ Read More ]
“Nanociencia to-go” goes online
November 24, 2020
“Nanociencia to-go” goes online 24.11.2020 The outreach project for seniors of IMDEA Nanociencia continues as an online event. The students...
[ Read More ]
