IMDEA Software Institute News
Benedikt Schmidt, a postdoctoral researcher
at the IMDEA Software Institute has been awarded a medal for an
outstanding doctoral dissertation by ETH Zurich.
Five papers by IMDEA Software Institute researchers have been accepted
for publication at the
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014),
a top-ranked conference in the area of
programming languages and systems.
Jul 8, 2013: Official opening of the building of the Madrid Institute for Advanced Studies in Software Technologies
The president of the Autonomous Region of Madrid,
Ignacio González González,
chaired the official opening of the building of the IMDEA Software Institute,
which took place on Monday July 8, 2013, at noon...
The IMDEA Software Institute has become an associate member of EIT ICT Labs, one of the three Knowledge and Innovation Communities (KICs) within the European Institute of Innovation and Technology (EIT...
Jun 24, 2013: Industrial training day on ActionGUI technology
The IMDEA Software Institute has organized a one-day training course on the ActionGUI technology, with participation of representatives from Atos Research & Innovation...
Jun 10, 2013: Andrea Cerone best paper award at DisCoTec 2013
{{< person id="andrea.cerone" >}} wins the best paper award at The 8th International Federated Conference on Distributed Computing Techniques, for the article _Modeling Mac-layer Communications in Wireless Systems_.
Juan Caballero gives an invited talk at the 38th annual meeting of the "Messaging, Malware and Mobile Anti-Abuse Working Group" (M3AAWG) in Vienna, Austria.
May 15, 2013: 2012 Annual Report Published
The IMDEA Software Institute has published its 2012 Annual Report.
Apr 10, 2013: Joint Research Unit (JRU) with Telefónica Digital
Within its strategic framework for cooperation with industry, the IMDEA Software Institute has established together with...
Mar 20, 2013: Gilles Barthe gives Keynote address at ETAPS 2013
Gilles Barthe gives one of the two plenary Keynote addresses at ETAPS 2013, presenting his work on Computer-aided Cryptographic Proofs, developed at the IMDEA Software Institute...
Mar 6, 2013: 5 papers by IMDEA researchers accepted at CAV 2013
Researchers at the IMDEA Software Institute have 5 papers accepted for publication at the 25th International Conference ...
Mar 5, 2013: IMDEA Software joins 4Caast European project
The IMDEA Software Institute has recently joined 4Caast, a EU project in collaboration with Telefonica, SAP, France Telecom, Nokia, Bull, 2nd Quadrant, Flexiscale, Bonitasoft, and a number of academic institutions...
IMDEA Software researchers, win the best paper award at The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'2013), for their article _From Relational Verification to SIMD Loop Synthesis_...
The IMDEA Software Institute has completed the move to its recently finished new building, designed by prestigious archi...