Sérgio Marcelino lidera novo projeto europeu SemPER

04/04/2026

Felicitamos o nosso colega Sérgio Marcelino, Investigador CEEC do SQI-Lx (IT) e do Departamento de Matemática, pela recente aprovação do financiamento para o Projeto Europeu MC Staff Exchange: SEMantics, Proofs, and Effective Reasoning (SemPER). Na qualidade de Investigador Responsável, o Sérgio coordenará esta iniciativa colaborativa focada no avanço da investigação em semântica e lógica. Partilhamos o reconhecimento por esta conquista e aguardamos com expetativa os desenvolvimentos resultantes do projeto SemPER.