IMDEA Water develops an analytical method to monitor contaminants of emerging concern
April 7, 2022
Article published in the Journal of Chromatography A
[ Read More ]
Secondary school students carry out an educational training at IMDEA Networks
April 7, 2022
On April 5 and 6, 19 students from four different high schools in Madrid (IES Isaac Albéniz, IES León Felipe,...
[ Read More ]
IMDEA Energy researchers devise a new strategy to improve the transformation of plastic waste into sustainable fuels
April 7, 2022
Within the current problem of plastic residues management, waste from electrical and electronic equipment (WEEE) are becoming one of the...
[ Read More ]
Talk by Gerardo Schneider: Towards a Framework for Specifying and Realizing Correct–by–Construction Contextual Robotic Missions
April 6, 2022
In this talk I will present some initial ideas (a first proposal) on how to define a framework to define...
[ Read More ]
Towards a Framework for Specifying and Realizing Correct–by–Construction Contextual Robotic Missions
April 6, 2022
In this talk I will present some initial ideas (a first proposal) on how to define a framework to define...
[ Read More ]
Formal Verification of Neural Networks?
April 6, 2022
Machine learning is a popular tool for building state of the art software systems. It is more and more used...
[ Read More ]
Talk by Hannews Kallwies: Aggregate Update Problem for Multi-clocked Dataflow Languages
April 5, 2022
Dataflow languages have, as well as functional languages, immutable semantics, which is often implemented by copying values. A common compiler...
[ Read More ]
Talk by Antonio Faonio: Continuously Non-Malleable Secret Sharing in the Plain Model
April 5, 2022
In this talk I will present a paper published at TCC’21 together with Gianluca Brian and Daniele Venturi from Sapienza...
[ Read More ]
Aggregate Update Problem for Multi-clocked Dataflow Languages
April 5, 2022
Dataflow languages have, as well as functional languages, immutable semantics, which is often implemented by copying values. A common compiler...
[ Read More ]
Continuously Non-Malleable Secret Sharing in the Plain Model
April 5, 2022
In this talk I will present a paper published at TCC’21 together with Gianluca Brian and Daniele Venturi from Sapienza...
[ Read More ]
