Talk by Nicolas Mazzocchi: FORQ-based Language Inclusion Formal Testing
November 30, 2021
We provide a simple and efficient in practice algorithm to decide the language inclusion between (nondeterministic) Büchi automata, a PSpace-complete...
[ Read More ]
eGHOST and SH2E win the ‘Hydrogen Week Best Success Story Award’
November 30, 2021
eGHOST and SH2E projects coordinated by IMDEA Energy have been awarded in the ‘Best Success Story’ category of the Hydrogen...
[ Read More ]
Arturo Azcorra has been elevated to IEEE Fellow in the category of “Technical Leader”
November 30, 2021
Arturo Azcorra, founding director of IMDEA Networks and professor in the Department of Telematics Engineering at the University Carlos III...
[ Read More ]
FORQ-based Language Inclusion Formal Testing
November 30, 2021
We provide a simple and efficient in practice algorithm to decide the language inclusion between (nondeterministic) Büchi automata, a PSpace-complete...
[ Read More ]
Two former PhD students of the Institute, awarded with the UPM’s 2019-2020 Outstanding Thesis Award
November 29, 2021
Pepe Vila and Joaquín Arias, two former PhD students of the IMDEA Software Institute, have won the 2019-2020 Outstanding Thesis...
[ Read More ]
Two former PhD students of the Institute, awarded with the UPM’s 2019-2020 Outstanding Thesis Award
November 29, 2021
Pepe Vila and Joaquín Arias, two former PhD students of the IMDEA Sofwtare Institute, have won the 2019-2020 Extraordinary Doctoral...
[ Read More ]
Héctor Hernando, researcher at IMDEA Energy, receives the “Intelligent Energy” International Campus of Excellence Award
November 26, 2021
Héctor Hernando, Postdoctoral Researcher at the Thermochemical Processes Unit of IMDEA Energía, has been awarded the CEI Campus of International...
[ Read More ]
La gran infraestructura europea XFEL y el instituto IMDEA Nanociencia firman un acuerdo de colaboración que contribuirá a un futuro brillante para la ciencia de rayos-X en España
November 25, 2021
La gran infraestructura europea XFEL y el instituto IMDEA Nanociencia firman un acuerdo de colaboración que contribuirá a un futuro...
[ Read More ]
Seminar of Prof. Bianchi Mendez from the Materials Physics Department of “Universidad Complutense Madrid”, entitle “Nano-heterostructures based on wide bandgap semiconducting oxides: Synthesis and optical properties ” – 26th of November, at 11:00 am in the Auditorium.
November 24, 2021
Abstract: Wide band gap (WBG) oxides are currently attracting a lot of attention due to both their versatility in achieving...
[ Read More ]
European solar fuel research project recognized as one of the world’s best environmental projects: SUN-to-LIQUID receives the 22nd Energy Globe World Award
November 24, 2021
The transition from fossil to renewable fuels is one of the most important energy challenges of the future. The SUN-to-LIQUID...
[ Read More ]
