best student paper award @SAT2017
Miguel Terra-Neves, Inês Lynce and Vasco Manquinho received the best student paper award for: Introducing Pareto Minimal Correction Subsets, @ the SAT2017 conference.
RELATED ARTICLES
-
20th July 2026 UncategorizedINESC-ID joins AISHA to help build Europe’s AI Skills Academy
INESC-ID is a partner in AISHA – Artificial Intelligence Skills Hub Academy, a Digital Europe Programme initiative to build a pan-European ecosystem…
read more › -
10th July 2026 UncategorizedINESC-ID joins PRECISE, a pan-European initiative to predict cancer vulnerabilities
INESC-ID is a partner in PRECISE, a new pan-European initiative to predict, rather than simply catalogue, cancer vulnerabilities, formally launched today with…
read more › -
12th June 2026 UncategorizedINESC-ID joins the INESC Brussels Hub Summer Meeting 2026
For two days the INESC Brussels Hub Summer Meeting gathered key European and national policymakers, Portuguese authorities, the European Commission, academia, industry…
read more › -
12th June 2026 UncategorizedCall for Expressions of Interest: MSCA Postdoctoral Fellowships 2026 at INESC-ID
INESC ID is currently inviting Expressions of Interest from researchers interested in applying for the Marie Skłodowska-Curie Actions Postdoctoral Fellowships (MSCA PF 2026), with INESC-ID as their…
read more › -
9th June 2026 UncategorizedClosing the circuit: EV4EU showcases final results at TRA2026
After 48 months, EV4EU concluded its journey on 19 May with a final session led by INESC-ID at the Transportation Research Arena…
read more › -
8th June 2026 UncategorizedINESC-ID and DEEC celebrate the “Dia da Energia 2026” and the new Energy Dream Lab
INESC‑ID and the Department of Electrical and Computer Engineering (DEEC) of Instituto Superior Técnico marked the Dia da Energia (Energy Day) 2026…
read more › -
20th May 2026 UncategorizedThe INESC-ID Annual Report 2025 is out!
Inside, you will find the Directors' message, key facts and figures about our community, research highlights, including standout publications and funded projects,…
read more › -
14th May 2026 Uncategorized16th International Conference on Scientific Computing in Electrical Engineering (SCEE 2026)
The 16th International Conference on Scientific Computing in Electrical Engineering (SCEE 2026) took place from 4 to 8 May at Instituto Superior…
read more › -
5th May 2026 UncategorizedOne Year After the Iberian Blackout: INESC-ID researchers contribute to Portugal’s national electricity system report
One year after the Iberian blackout of 28 April, 2025, the Technical Advisory Group (GAT) created by Portugal's Minister for Environment and…
read more ›
