News

Best Paper Award at ICGI 2018

André Silvestre won the Best Paper Award for a Young Researcher at the ICGI 2018 conference, with the paper "A Real-Time Terrain Ray-Tracing Engine", with co-authors João Pereira and Vasco Costa.

Article about managing long-term digital information in Expresso newspaper

“Managing long-term digital information” in Expresso newspaper

INESC-ID Reseacher José Borbinha was interviewed for an article about managing digital information in the long term.

Projects “iLU” and “Data2Help” in the press

INESC-ID Researchers apply artificial intelligence to medical emergencies and mobility.

New Essay on Artificial Intelligence

This new essay by Arlindo Oliveira describes, in an approachable way, what artificial intelligence is and how it relates to human intelligence, as well as possible societal and economic applications and implications.

Talks on Model Driven Engineering & Artificial Intelligence Approaches

We want to invite students, teachers, researchers and professionals in the fields of engineering and management to participate in this event that will take place January 18th, between 1PM and 2PM at Pavilhão de Informática II, Sala 0.17, IST Alameda.

Evaluation INESC-ID

As Associate Laboratory since 2004,  INESC-ID is periodically evaluated by the Foundation for Science and Technology (FCT).

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 manageable platforms for application developers in different domains.

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 meant to facilitate interaction, cross-fertilization, and advancement of hybrid methods that combine Verification, Model Checking, Abstract Interpretation, etc.