The IMDEA Institutes present the European Researchers’ Night in Gestiona Radio
September 14, 2017
The IMDEA Institutes participated in the radio show Primera Hora, hosted by Javier García Mateo in Gestiona Radio. During one...
[ Read More ]
Talk by Gregory Chockler: The Space Complexity of Reliable Storage Services
September 12, 2017
Although reliable distributed and cloud storage systems have attracted significant attention over the past decade, until recently, relatively little has...
[ Read More ]
The Space Complexity of Reliable Storage Services
September 12, 2017
Although reliable distributed and cloud storage systems have attracted significant attention over the past decade, until recently, relatively little has...
[ Read More ]
Talk by Filippo Bonchi: Full Abstraction for Signal Flow Graphs
September 11, 2017
Signal Flow Graphs (SFGs) were introduced in the 1940s by Shannon as a formal circuit model of a class of...
[ Read More ]
Full Abstraction for Signal Flow Graphs
September 11, 2017
Signal Flow Graphs (SFGs) were introduced in the 1940s by Shannon as a formal circuit model of a class of...
[ Read More ]
Talk by Monir Azraoui: Secure Operations in the Cloud
September 6, 2017
Cloud computing is perceived as the “holy grail” to cope with the handling of tremendous amounts of data collected every...
[ Read More ]
Secure Operations in the Cloud
September 6, 2017
Cloud computing is perceived as the “holy grail” to cope with the handling of tremendous amounts of data collected every...
[ Read More ]
Boris Koepf panelist at the final event of the DFG priority program “Reliably Security Software Systems”
September 5, 2017
Boris Köpf, researcher at the IMDEA Software Institute, has participated in the paner entitled “Formal Methods for Reliable Software Security”...
[ Read More ]
Alessandra Gorla invited speaker at the 2nd International Workshop on App Market Analytics
September 5, 2017
Alessandra Gorla, researcher at the IMDEA Software Institute, has been invited speaker at the 2nd International Workshop on App Market...
[ Read More ]
Boris Koepf panelist at the final event of the DFG priority program “Reliably Security Software Systems”
September 5, 2017
Boris Köpf, researcher at the IMDEA Software Institute, has participated in the paner entitled “Formal Methods for Reliable Software Security”...
[ Read More ]
