FLoC 2026: The world’s biggest logic conference just wrapped up in Lisbon
The 2026 edition of the Federated Logic Conference (FLoC) came to a close in Lisbon on 29 July, following two weeks that brought together over 2100 participants from 70 countries across ten conferences, 86 workshops, and two summer schools. Co-organised by Instituto Superior Técnico and…
INESC-ID Connects Students and Industry at ELLIS Doctoral Symposium 2026
Last week, INESC-ID helped host the ELLIS Doctoral Symposium 2026 (EDS2026), held at Instituto Superior Técnico under the theme Trustworthy AI. The four-day event (27–30 July) was organised by ELLIS Unit Lisbon — a partnership between Instituto Superior Técnico, INESC-ID, the Institute for Systems and…
INESC-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 of Generative AI and advanced AI skills. AISHA was designed to tackle the growing gap between AI’s rapid transformation of industries and public…
Professor Luís Vidigal Award 2025 goes to Pedro Lobo
A month after winning the APDC award, Pedro Lobo, former INESC-ID master’s student, was honoured with the Professor Luís Vidigal Award! It recognises the innovative work developed during his master’s thesis “Supporting Raw Data Copies in the LLVM Intermediate Representation”, under supervision of Nuno Lopes,…
“Evaluating ML: When will we stop fooling ourselves?”, the second INESC-ID Distinguished Lecture
Following a successful first session, the second INESC-ID Distinguished Lecture was held last week, on 2 July, at Instituto Superior Técnico featuring Professor Ricardo Baeza-Yates from KTH Royal Institute of Technology, Universitat Pompeu Fabra and University of Chile. Entitled “Evaluating ML: When will we stop…
VEREFY project wins António Brandão de Vasconcelos Award at Lab2Market
VEREFY, a project developed by INESC-ID students, was awarded the António Brandão de Vasconcelos award during the Lab2Market at Técnico! Developed by PhD student Filipe Altoe, master’s student Sérgio Pinto and INESC-ID researcher Sofia Pinto, this AI model can antecipate which narratives have the potential…
In the Media: Hugo Morais addresses electric mobility and its impact on the urban network
“The shift to electric mobility doesn’t depend solely on batteries”. With this statement, Hugo Morais opened a recent article in ECO, where he reflects on the evolution of electric mobility and the factors that shape its success. Throughout the piece, the INESC-ID researcher in Sustainable…
INESC-ID Researchers distinguished with Universidade de Lisboa/Caixa Geral de Depósitos Scientific Award 2026
The results of the Universidade de Lisboa/Caixa Geral de Depósitos Scientific Awards were recently announced, and INESC‑ID researchers were once again among the awardees, joining a group of 57 researchers recognised across their respective fields. Hugo Morais, Sustainable Power Systems researcher, and professor at Instituto…
João Barreto wins Excelent Technical Coordination Award from Huawei
INESC-ID researcher in Distributed, Parallel and Secure Systems, João Barreto, was honoured with an Excellent Technical Coordination Award by Huawei! The distinction recognises the work carried out by the researcher and his team during a cooperation project with the company. The award was presented at…
In the Media: Leonel Sousa reflects on the importance of risk and internationalisation for the development of universities
“The university is, par excellence, a privileged space to train, think, and discuss, it’s a space of freedom”. In a recent article for SOL, Leonel Sousa reflects on the importance of strengthening international, academic, and research networks, and foster a culture that values responsible risk‑taking…