DEI Talks | “Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers” by Augusto Sampaio (UFPE)
The talk “Safe Evolution of Smart Contracts Supported by LLMs and SMT...
New Doctors honoured at Conferment Ceremony 2025
The José Carlos Marques dos Santos Auditorium hosted another ‘Conferment Ceremony -...
DEI Talks | “Cyber Security Threat Landscape in the Context of Industry 4.0” by Haider Abbas
The talk "Cyber Security Threat Landscape in the Context of Industry 4.0"...
DEI joins FEUP delegation on mission to the Netherlands
A delegation led by Professor Rui Calçada, Director of the Faculty of...
DEI Master’s Presentation
On April 9th, the José Carlos Marques dos Santos Auditorium (FEUP) will...
‘A journey through the asphalt. Rock music in Porto in the 1980s’
The exhibition entitled ‘Uma viagem pelo asfalto. O rock no Porto nos...
Gilberto Bernardes at the 1st ‘Há Conversas na Movida’
On March 26, the Plano B nightclub hosted the first meeting of...
Bernardo Leite (ProDEI) in the final of Three Minute Thesis
The 4th edition of the U.Porto 3MT® (Three Minute Thesis) competition, an...
L.EIC students among the winners of U.Porto’s 2025 Incentive Award
On 24 March, at the Solemn Session of Dia da Universidade 2025,...
‘FEUP Boost Engineering’ kicks off
The new programme of the Faculty of Engineering of the University of...
DEI Talks | “Towards AI-Assisted Synthesis of Verified Dafny Methods” by Prof. Cristina Videira Lopes
The talk “Towards AI-Assisted Synthesis of Verified Dafny Methods”, will be presented...
WIER’25 – Workshop on Informatics Engineering Research
On the 13th of March, the Doctoral Programme in Informatics Engineering (ProDEI)...
The award-winning zerozero visited by the Department of Informatics Engineering
Created in 2003, zerozero.pt is the largest football database in the world,...
M.IA student gets a place on the podium of the country’s first quantum hackathon
On the centenary of the publication of the works of Born, Heisenberg...
DEI Talks | “Neuronflow: an event-driven processor architecture for low power AI at the edge” by Orlando Moreira (Snap Inc)
The talk “Neuronflow: an event-driven processor architecture for low power AI at...
Faculty of Engineering of the University of Porto
Rua Dr. Roberto Frias, s/n
Department of Informatics Engineering
Edifício I – Sala I012A
4200-465
PORTO
