Radio interview with the participation of Manuel Carro, IMDEA Software Director
September 28, 2018
Manuel Carro, director of the IMDEA Software Institute, will be interviewed in the Spanish National Radio (RNE) program “Por tres...
[ Read More ]
Radio interview with the participation of Manuel Carro, IMDEA Software Director
September 28, 2018
Manuel Carro, director of the IMDEA Software Institute, will be interviewed in the Spanish National Radio.
[ Read More ]
Entrevista a Pablo Salcedo Fernández con motivo de la Noche Europea de los Investigadores e Investigadoras 2018
September 26, 2018
El investigador predoctoral de la Unidad de Materiales Porosos Avanzados de IMDEA Energía, Pablo Salcedo Fernández, nos cuenta su opinión...
[ Read More ]
Scientific event organized at the IMDEA Software Institute
September 25, 2018
The IMDEA Software institute hosted the third International Workshop on Dynamic Software Documentation (DySDoc3), and the pre-reception of the 34th...
[ Read More ]
New researcher at IMDEA Energy
September 25, 2018
Postdoctoral researcher: Anna Skorek-Osikowska IMDEA Energy Unit: System Analysis Date: 10/09/2018
[ Read More ]
A deep look to the SYMBIOSIS Project
September 25, 2018
Researchers from the University of Haifa and two teams from the IMDEA Networks Institute have developed a new autonomous system...
[ Read More ]
Scientific event organized at the IMDEA Software Institute
September 25, 2018
The IMDEA Software institute hosted the third International Workshop on Dynamic Software Documentation (DySDoc3), and the pre-reception of the 34th...
[ Read More ]
Talk by Radu Iosif: The Impact of Alternation
September 24, 2018
Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication...
[ Read More ]
The Impact of Alternation
September 24, 2018
Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication...
[ Read More ]
IMDEA director as guest of a technology podcast
September 21, 2018
Manuel Carro, the director of the IMDEA Software Institute, contributed again to the Spanish podcast “1BIT de memoria”, focused on...
[ Read More ]
