New H2020 project
Algos and SD research groups will partner with Barcelona Supercomputing Center and several other institutions in this new European project, with 3.9 M funding, to develop and deploy a production-ready parallel programming environment. This will turn future exascale supercomputers, which will be overwhelmingly heterogeneous, into…
First VMCAI Winter School – CALL FOR PARTICIPATION
VMCAI Winter School is a winter school on formal methods associated with VMCAI 2019 (VMCAI 2019 – 20th International Conference on Verification, Model Checking, and Abstract Interpretation) that took place in Lisbon, Portugal on January 9-12, 2019. In the vein of VMCAI, the school is…
INSIDE Project featured in DN Insider Magazine
The latest edition of DN Insider, a Diário de Notícias newspaper supplement, highlighted the world of robots “made in Portugal” and how they will change our lives. Special highlight to INESC-ID project, INSIDE, developed under the CMU Portugal Program and robot “ASTRO”, that explores the benefits that…
INSIDE Project featured in DN Insider Magazine
The latest edition of DN Insider, a Diário de Notícias newspaper supplement , highlighted the world of robots “made in Portugal” and how they will change our lives. Special highlight to INESC-ID project, INSIDE, developed under the CMU Portugal Program and robot “ASTRO”, that explores the benefits…
OPEN DAYS 2018 – SCIENCE AND TECHNOLOGY WEEK
What science is done in Portugal? Who are our scientists? How do they work? What do they research? What results do they get? In the scope of the SCIENCE AND TECHNOLOGY WEEK, INESC-ID ALAMEDA opened its doors on November 23rd to provide the opportunity for…