apps clear

IMDEA Software will be part of the four digitization clusters in the Madrid region

May 31, 2022

The Madrid Regional Government culminates the opening of the last of the four digitization clusters in the region dedicated to...

[ Read More ]

Talk by Patrick Cousot: Asynchronous Correspondences Between Hybrid Trajectory Semantics

May 31, 2022

We study abstraction correspondences between hybrid trajectory semantics for verification and refinement, including discretization and state-based homomorphisms, simulations, bisimulations, preservations...

[ Read More ]

IMDEA Software will be part of the four digitization clusters in the Madrid region

May 31, 2022

The thematic areas of the four innovation spaces will be: Artificial Intelligence, Digital Transformation, Blockchain and Internet of Things.

[ Read More ]

Asynchronous Correspondences Between Hybrid Trajectory Semantics

May 31, 2022

We study abstraction correspondences between hybrid trajectory semantics for verification and refinement, including discretization and state-based homomorphisms, simulations, bisimulations, preservations...

[ Read More ]

Prof. Alberto Bollero presents the PASSENGER project during the Raw Materials Summit in Berlin

May 30, 2022

Prof. Alberto Bollero presents the PASSENGER project during the Raw Materials Summit in Berlin 30.05.2022 Alberto Bollero during the debate...

[ Read More ]

MSCA Postdoctoral Fellowship 2022 – EOI

May 30, 2022

IMDEA Energy Institute is looking for talented postdoctoral researchers to apply for Marie Sklodowska-Curie  (MSCA) Postdoctoral Fellowships 2022  (HORIZON-MSCA-2022-PF-01). Promising...

[ Read More ]

5TONIC takes a further step towards Network as a Service

May 27, 2022

5TONIC, the open research and innovation laboratory focused on 5G technologies, founded by Telefónica and IMDEA Networks, takes a further step towards Network as...

[ Read More ]

Prof. Rodolfo Miranda receives the National Nanotechnology Award

May 27, 2022

Prof. Rodolfo Miranda receives the National Nanotechnology Award 27.05.2022 Prof. Rodolfo Miranda, Professor at Condensed Matter Physics Department at the...

[ Read More ]

IMDEA Software sponsors and participates in the AdaByron programming contest in Madrid

May 27, 2022

The last decade has seen a dramatic growth in cloud-based Internet services. Websites such as Amazon and Facebook process hundreds...

[ Read More ]

Archivos