Launch of the 4th SFERA-III transnational access campaign: call open and submission of the project proposals
November 9, 2021
The 4th SFERA-III access campaign has been launched on 1st November 2021. This call for projects provides free access to 43 installations of 14 state-of-art research infrastructures in Concentrated...
[ Read More ]
New open positions: laboratory technicians
November 8, 2021
Deadline: November 23 and 25, 2021
[ Read More ]
New open position: laboratory technician for the Nat4Health project
November 8, 2021
Deadline: November 23, 2021
[ Read More ]
The IMDEA Materials Institute holds the first meeting of its Industrial Advisory Board
November 8, 2021
On the 3rd of November, the IMDEA Materials Institute held the first meeting of its Industrial Advisory Board (IAB) at...
[ Read More ]
We have created our first spin-off to manufacture revolutionary battery electrodes for electric vehicles.
November 4, 2021
With the centre’s support, researchers from our group on Multifunctional Nanocomposites have launched a company to produce silicon electrodes for...
[ Read More ]
Madrid Science and Innovation Week at IMDEA Materials 2021
November 4, 2021
One more year, IMDEA Materials will be present at the Madrid Science and Innovation Week, which will be held from...
[ Read More ]
IMDEA Energy, awarded with the Energy Globe World Award 2021 for its participation in the SUN-to-LIQUID project
November 3, 2021
Institute IMDEA Energy, together with Bauhaus Luftfahrt e. V. and ETH Zurich, has been awarded the Energy Globe World Award...
[ Read More ]
The SUN-to-LIQUID project receives the National Energy Globe Award Spain 2021
November 3, 2021
The IMDEA Energy Institute, supported in the candidature by Bauhaus Luftfahrt e. V. and ETH Zurich, has been awarded the...
[ Read More ]
Talk by Sandro Stucky: Gray-Box Monitorability of Hyperproperties
November 3, 2021
Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtime verification is an appealing alternative....
[ Read More ]
Talk by Gerardo Schneider: Monitor-Triggered Temporal Logic
November 3, 2021
This talk is concerned with the combination of monitoring techniques and reactive synthesis based on temporal logic (LTL). We explore...
[ Read More ]
