Talk by Ignacio Fabregas: Logics for Process Semantics
March 9, 2017
In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed in...
[ Read More ]
Logics for Process Semantics
March 9, 2017
In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed in...
[ Read More ]
IMDEA Software participates in the 7th edition of Con ciencia en la escuela
March 8, 2017
The IMDEA Software Institute participates in “Con ciencia en la escuela”, a divulgative event aimed at bringing science nearer to...
[ Read More ]
IMDEA Software participates in the 7th edition of Con ciencia en la escuela
March 8, 2017
IMDEA participates in an event to bring computer science nearer to the public at large.
[ Read More ]
Parikh Image of Pushdown Automata
March 7, 2017
There exist two main formalisms to describe context-free languages: context-free grammars and pushdown automata. In fact, there exists a standard...
[ Read More ]
Talk by Alfredo Pironti: 15 Years of Broken Encrypted Emails… and We’re Still Doing It Wrong
March 3, 2017
Starting from a research paper of 2001, we show how OpenPGP encryption of emails is fundamentally broken. We show how...
[ Read More ]
15 Years of Broken Encrypted Emails… and We’re Still Doing It Wrong
March 3, 2017
Starting from a research paper of 2001, we show how OpenPGP encryption of emails is fundamentally broken. We show how...
[ Read More ]
EIT Digital new node opening at IMDEA
March 2, 2017
EIT Digital has today opened a node in Madrid to strengthen development of digital innovation in Spain. Tibor Navracsics, Commissioner...
[ Read More ]
EIT Digital new node opening at IMDEA
March 2, 2017
IMDEA hosts the opening of the new EIT Digital node in Madrid
[ Read More ]
