IMDEA Researcher Gives Invited Talk at Conference on Mathematical Foundations of Program Semantics (MFPS)
June 23, 2015
IMDEA Software Institute researcher Aleks Nanevski gave an invited tutorial at the 2015 Conference on Mathematical Foundations of Program Semantics...
[ Read More ]
IMDEA Software Institute researchers publish in top Embedded Systems Conference
June 16, 2015
IMDEA Software Institute researcher Pavithra Prabhakar and her student Ratan Lal have published their work on analyzing parameterized linear systems...
[ Read More ]
