ENEI de regresso ao Porto

O Encontro Nacional de Estudantes de InformáticaENEI’25 está a chegar e, nesta que será a sua 16ª edição, decorrerá de 11 a 14 Abril na Faculdade de Engenharia da Universidade do Porto (FEUP) e no Instituto Superior de Engenharia do Porto (ISEP/IPP), com a organização conjunta dos núcleos estudantis NIAEFEUP (Núcleo de Informática da Associação de Estudantes da Faculdade de Engenharia da Universidade do Porto), NCGM (Núcleo de Computação Gráfi ca e Multimédia) e NEI-ISEP (Núcleo de Estudantes de Informática do Instituto Superior de Engenharia do Porto).

Serão diversas as atividades que os mais de 500 participantes do encontro terão oportunidade de participar, entre palestras (21), workshops (33), competições, feira de emprego e inúmeros momentos de networking, durante os dias e as noites do evento. No programa do evento podem ser conhecidos os horários e os locais das atividades.

A organização destaca algumas das 21 palestras programadas:

“AI, Copilots, and the future of software development” por Eddie Aftandilian, Principal Researcher na Github Next;
“How to look through skin with AI” por Michael Pound, Investigador na Universidade de Nottingham, Membro do Canal de Youtube Computerphile;
“The programmer who didn’t know how to code – Powered by IEEE Portugal” por Charalampos Patrikakis, Professor at University of West Attica. IEEE Distinguished Visitor;
“Cyberwarfare: Who Needs a Gun when you have a Keyboard? – Powered by ACM FEUP” por Haider Abbas, Head of the R&D Department at College of Signals, National University of Sciences and Technology (NUST), Pakistan;
“Que impacto tem o desenvolvimento de software numa equipa de F1?” por João Romão, Graduate Software Engineer na Aston Martin F1 Team;
“Abordagens e Desafios da Realidade Virtual e Aumentada na Saúde e Reabilitação” por Joaquim Jorge, Professor Catedrático no Instituto Superior Técnico (IST). IEEE Fellow. UNESCO Chair on AI & XR.;
“Como fazer software para estúdios de Hollywood” por Nuno Fonseca, Fundador e CEO Sound Particles (Alumnus ProDEI);
“A story on Computer Vision: from zero to hero” por José Costa Pereira, Professor Auxiliar no DEI/FEUP;
“CRDTs: Building blocks for high availability and beyond” por Carlos Baquero (DEI/FEUP) e Nuno Preguiça, co-criadores dos CRDTs;
“Competitive Programming: Will it make you a better programmer?” por André Restivo, Professor Associado no DEI/FEUP.

Também em destaque um Sistema de Pontos que permitirá a obtenção de mais de 100 prémios. Os pontos do evento chamam-se bytes. Todos os participantes poderão ganhar bytes ao participar em atividades, realizar tarefas ou garantir colocações de pódio nas várias competições do evento, entre outros. No website do ENEI haverá uma loja onde se poderão comprar itens com bytes. “Deste modo, não faltará motivação para aproveitar o Programa do evento ao máximo!” afirmam os organizadores.

Descobrir as últimas tendências tecnológicas, encontrar motivação para próximos desafios, conhecer estudantes com interesses em comum, contactar com empresas relevantes na área e sair do evento com novas competências, é o que a organização deseja oferecer a todos os estudantes que se irão deslocar ao Porto no final desta semana.

Apresentação dos Mestrados do DEI

No próximo dia 9 de abril, o Auditório José Carlos Marques dos Santos (FEUP), abrirá portas às 14:30 para todos os que quiserem conhecer a oferta formativa do Departamento de Engenharia Informática (DEI) a nível de segundos ciclos de estudo.

Será uma sessão com o propósito de orientar e esclarecer todos os estudantes que tencionem escolher um dos mestrados oferecidos no DEI. No final das apresentações, os participantes conhecerão com mais detalhe o funcionamentos dos cursos, as suas áreas de estudo, a empregabilidade que cada um oferece, facilitando assim a escolha no momento da candidatura.

Será ainda uma oportunidade para conhecerem os mestrados do Departamento de Ciência de Computadores (FCUP), convidados a estar presentes.

A organização disponibilizou um formulário para que os interessados coloquem as suas dúvidas antecipadamente para qe possam depois ser respondidas no final da sessão.

A entrada é livre, sem necessidade de inscrição.

Programa:

14:30 | Abertura do Auditório
14:45 | Abertura da Sessão
15:00 | Apresentação M.EIC – Mestrado em Engenharia Informática e Computação (Prof. Rui Rodrigues)
15:15 | Apresentação M.IA – Mestrado em Inteligência Artificial (Prof. Henrique Lopes Cardoso)
15:30 | Apresentação MM – Mestrado em Multimédia (Prof. Jorge Barbosa)
15:45 | Apresentação MCI – Mestrado em Ciência da Informação (Prof. Carla Teixeira Lopes)
16:00 | Apresentação MESW – Mestrado em Engenharia de Software (Prof. Nuno Flores)
16:15 | Apresentação MECD – Mestrado em Engenharia e Ciência de Dados (Prof. José Luís Borges)
16:30 | Apresentação Mestrados DCC – FCUP (Prof. Pedro Ribeiro)
16:45 | Q&A sobre processo de candidatura

“Uma viagem pelo asfalto. O rock no Porto nos anos oitenta”

A exposição intitulada “Uma viagem pelo asfalto. O rock no Porto nos anos oitenta“, abrirá portas no próximo dia 8 de abril (inauguração às 18:30) e ficará patente, na Casa Comum, até dia 20 de setembro.

Durante um período alargado de cerca de 5 meses, os visitantes poderão viajar por uma fase fervilhante vivida nos anos 80, em que a cidade do Porto viveu o auge das tribos urbanas, exuberantes, surgidas de um esforço de diferenciação dos jovens e, em simultâneo, da identificação com um grupo que a sociedade reconhecesse como tal.
Eram muitas as tribos, dos punks aos góticos, dos metaleiros aos skinheads e aos rockabillys. Consumia-se música com a avidez da descoberta, com o auxilio das rádios pirata, e frequentavam-se lugares onde se idolatravam bandas como os GNR, os Taxi e os Trabalhadores do Comércio.

A exposição levar-nos-á por essa viagem, através de fotografias, cartazes, recortes de jornais e capas de vinis.

André Cunha, Beatriz Dobbs, Gurpreet Kaur, Inês Aguiar, Patrícia Amaral e Rodrigo Ferreira, estudantes do Mestrado em Multimédia da U.Porto, orientados por Gilberto Bernardes, docente do DEI, contribuíram para esta exposição com o desenvolvimento de uma aplicação interativa para a navegação intuitiva em largos conteúdos multimédia sobre as bandas e os locais fulcrais do Rock no Porto dos 80.

Mais info aqui.

DEI Talks | “Towards AI-Assisted Synthesis of Verified Dafny Methods” pela Prof. Cristina Videira Lopes

A palestra intitulada “Towards AI-Assisted Synthesis of Verified Dafny Methods”, será apresentada no dia 24 de março, às 11:00, na sala I-105, moderada por Rui Maranhão (DEI).

Resumo:

“LLMs show “great promise” in code synthesis. Can they keep the promise and ensure that the synthesized code is provably correct?
In this talk I will present our work on synthesizing formally verified Dafny methods. LLMs don’t know much about Dafny, but they learn fast with proper RAG-CoT prompts. We spent 6 weeks hand-coding 50 verified algorithms in Dafny, and then GPT4 was able to generate 103 new ones with the right postconditions and the necessary verification hints.
Md Rakib Hossain (Misu) co-led the work, with assistance from Iris Ma. Joint work with James Noble.”

Sobre a Palestrante:

Cristina (Crista) Lopes is a Professor in the School of Information and Computer Sciences at University of California, Irvine, with research interests in Programming Languages, Software Engineering, and Distributed Virtual Environments. She is an IEEE Fellow and an ACM Distinguished Scientist. She is the recipient of the 2016 Pizzigati Prize for Software in the Public Interest for her work in the OpenSimulator virtual world platform. Her book “Exercises in Programming Style” has gained rave reviews, including being chosen as “Notable Book” by the ACM Best of Computing reviews.

WIER’25 – Workshop on Informatics Engineering Research

No próximo dia 13 de Março, o Programa Doutoral em Engenharia Informática (ProDEI), promoverá o WIER’25 – Workshop on Informatics Engineering Research, a 20ª edição deste evento anual (anteriormente chamado DSIE), que desde 2006 procura proporcionar aos estudantes do primeiro ano do programa doutoral, organizadores do evento, um ambiente onde possam expor os conceitos de Metodologias de Investigação Científica aplicados aos artigos submetidos.

A edição deste ano vai abrir com a Keynote TalkComputer Vision: from zero to hero”, por José Costa Pereira (docente DEI/FEUP).

António Augusto de Sousa e Rui Maranhão Abreu, Steering Committee do evento e docentes da unidade curricular “Metodologias de Investigação Científica”, consideram que esta é “uma ótima oportunidade dos estudantes exporem e discutirem informalmente os seus trabalhos, como possível contributo para melhorar a construção do conteúdo das suas teses e de colocarem em prática o que aprenderam durante o semestre: a aplicação de métodos científicos ao trabalho de investigação, a análise e revisão crítica de artigos científicos, a escrita de textos científicos, a sua apresentação oral e a organização de encontros científicos”.

Toda a informação sobre o palestrante, e as sessões que irão decorrer ao longo do dia, pode ser conhecida no website do evento.

A entrada é livre, sem necessidade de inscrição.

Estudante do M.IA no pódio da primeira hackathon quântica do país

No centenário da publicação dos trabalhos de Born, Heisenberg e Jordan (+info), a Organização das Nações Unidas para a Educação e a Cultura (UNESCO) declarou 2025 como o Ano Internacional da Ciência e Tecnologia Quânticas (IYQ). A iniciativa mundial, com a duração de um ano, promoverá inúmeras iniciativas destinadas a aumentar a sensibilização do público para a importância da ciência e das aplicações quânticas.

Neste âmbito foi promovida nos dias 8 e 9 de fevereiro a competição PQHack 2025, organizada pelo Núcleo de Ciências e Tecnologias Quânticas (CiTeQ) e acolhido pelo Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto (FCUP).

Durante um fim de semana, 39 participantes, distribuídos por 12 equipas, competiram para resolver um conjunto de desafios de Quantum Machine Learning (QML), propostos por uma equipa de especialistas, utilizando Qadence.

A “SZS” foi a grande vencedora desta primeira hackathon quântica do país, onde encontramos o estudante do Mestrado em Inteligência Artificial (M.IA) David Mesquita Scarin (primeiro na foto) que, juntamente com Lucas Almeida (M:EF) e Carlos Felgueiras (Universidade de Lisboa), conquistaram o 1º lugar e um prémio pecuniário no valor de 700 euros.

As restantes equipas vencedoras podem ser conhecidas no site do evento.

A PQHack está integrada no IQC25, um circuito internacional de hackathons que encerrará com a QuantathonV2, um campeonato que decorrerá de 10 a 12 de outubro de 2025 na Darla Moore School of Business da Universidade da Carolina do Sul.

Foto: FCUP

DEI Talks | “Neuronflow: an event-driven processor architecture for low power AI at the edge” por Orlando Moreira (Snap Inc)

A palestra intitulada “Neuronflow: an event-driven processor architecture for low power AI at the edge” será apresentada no dia 6 de março, pelas 11:30, na sala I-105, com a moderação de Pedro Diniz (DEI).

Resumo:

“This presentation provides an in-depth overview of the GrAIcore Neural Processing Unit (NPU) architecture developed by Snap Inc. for Augmented Reality applications, emphasizing the role of sparsity in achieving significant power and performance improvements compared with traditional architectures. The discussion will focus on the necessity of redesigning traditional computer architectures to adopt an event-driven execution model, which is critical for harnessing the benefits of sparsity. Additionally, the talk will explore advanced training optimization techniques that enhance network activation sparsity, enabling the full potential of the event-driven multicore architecture to be realized. This holistic approach to architectural and algorithmic design is essential for leveraging the unique advantages of the GrAIcore NPU in real-world applications.”

Sobre o Palestrante:

Orlando Moreira is Chief Computer Architect and Senior Manager at Snap Inc. in Eindhoven, Netherlands. His expertise encompasses computer architecture, edge AI, embedded systems, real-time systems, and data flow methodologies. Before his tenure at Snap Inc., Moreira held the position of Chief Architect at GrAI Matter Labs, where he was responsible for the compute architecture and software development kit (SDK) roadmaps.
Before, he worked for Philips Research, ST-Ericsson, Ericsson, and Intel (where he was group leader for programming and core tools – compiler, simulator, debugger and hw generation).
Throughout his career, Moreira has contributed peer-reviewed to the field of computer architecture, particularly in the areas of embedded and cyber-physical systems, as well as the field of real-time design, modeling, and analysis.
He holds a PhD in Electrical Engineering from the University of Eindhoven.

Provas de Doutoramento em Media Digitais: ”Artificial Intelligence and Infodemic: a study on fact-checked Health Communication and synthetic media”

Candidata:
Haline Costa Maia

Data, Hora e Local:
24 de fevereiro de 2025, às 10h30, Sala de Atos do DEEC (I -105), Faculdade de Engenharia da Universidade do Porto

Presidente do Júri:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação, Departamento de Engenharia Informática, Faculdade de Engenharia, Universidade do Porto.

Vogais:
Doutor Christopher Mathieu, Associate Professor, Department of Sociology, Faculty of Social Sciences, Lund University;
Doutora Stefania Milan, Professor of Critical Data Studies, Department of Media Studies, Faculty of Humanities, University of Amsterdam;
Doutor António Maria Salvado Coxito Granado, Professor Associado com Agregação, Departamento de Ciências da Comunicação, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa;
Doutora Ioli Ribeiro Campos, Professora Auxiliar, Faculdade de Ciências Humanas, Universidade Católica Portuguesa;
Doutora Helena Laura Dias de Lima, Professora Associada, Departamento de Ciências da Comunicação e da Informação, Faculdade de Letras, Universidade do Porto (Orientadora);
Doutor Alexandre Miguel Barbosa Valle de Carvalho, Professor Auxiliar, Departamento de Engenharia Informática, Faculdade de Engenharia, Universidade do Porto.

A tese foi coorientada pelo Prof. Sérgio Sobral Nunes, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

A disseminação de desinformação em saúde, especialmente durante pandemias, evidencia a necessidade de mecanismos eficazes para verificar e difundir informações fiáveis. Esta investigação, baseada no Value Sensitive Design(VSD), explora a integração da Inteligência Artificial (IA) na disseminação da verificação de factos em saúde, visando melhorar a rapidez e a fiabilidade da informação, garantindo simultaneamente o cumprimento de princípios éticos. A metodologia segue três fases do VSD: na fase de Investigações Conceptuais, foram realizadas revisões sistemáticas de 57 estudos (2020-2022) através do processo PRISMA; na fase de Investigações Técnicas, conduziram-se estudos de caso e entrevistas com stakeholders; e na fase de Investigações Empíricas, ferramentas baseadas em IA foram testadas através de workshops e grupos focais. Os resultados indicam que, embora a IA aumente a eficiência da verificação de factos, persistem desafios éticos, de governação e de confiança. O estudo fornece diretrizes para ferramentas de IA eficazes, inclusivas e eticamente responsáveis, contribuindo para o debate sobre a governação tecnológica e a ética dos media digitais na saúde pública.

Keywords:  AI Ethics; Infodemic; Generative Media; Fact-Checking; Health Misinformation; Media Literacy; Journalism Innovation.

Provas de Doutoramento em Media Digitais: ”Interfacing peer-produced knowledge: a framework for shadow libraries based on pervasive games”

Candidato:
Pedro Miguel Sá Couto Condeço Ribeiro

Data, Hora e Local:
19 de fevereiro de 2025, às 9h30 na Sala de Atos do DEGI (L202A) da Faculdade de Engenharia da Universidade do Porto

Presidente do Júri:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doutor Rodrigo Hernández Ramírez, Senior Lecturer in Design da Sydney School of Architecture, Design and Planning da The University of Sydney, Austrália;
Doutora Luísa Maria Lopes Ribas, Professora Auxiliar do Departamento de Design de Comunicação da Faculdade de Belas Artes da Universidade de Lisboa;
Doutora Teresa Isabel Lopes Romão, Professora Associada do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
Doutora Catarina Franco Lélis da Cruz, Professora Auxiliar do Departamento de Comunicação e Arte da Universidade de Aveiro;
Doutor José Miguel Santos Araújo Carvalhais Fonseca, Professor Catedrático do Departamento de Design da Faculdade de Belas Artes da Universidade do Porto (Orientador);
Doutor Rui Pedro Amaral Rodrigues, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

A tese foi coorientada pelo Doutor Pedro Cardoso, Professor Auxiliar do Departamento de Design, Faculdade de Belas Artes, Universidade do Porto.

Resumo:
As shadow libraries têm como objetivo facilitar o acesso a materiais anterior¬mente restritos ou inacessíveis. Estes sistemas de distribuição permitemtambém a publicação de conhecimento que não se enquadra ou não tem como objetivo principal enquadrar-se em modelos de distribuição formais.
Como casos de estudo, analisámos as shadow libraries no contexto académico português e a sua capacidade de distribuição. Através de interfaces físicas, digitais e híbridas, estas bibliotecas desafiam o acesso contemporâneo ao con¬hecimento, distribuindo e permitindo a produção de materiais entre membros da comunidade, bem como a estabilidade dos papéis dos utilizadores, permanentemente desafiando as suas dependências e interdependências.
Nesta investigação começamos por identificar as necessidades atuais dos utilizadores destas bibliotecas. Em seguida, analisámos as formas como diversas plataformas conseguem responder a estes requisitos. A partir desta análise, estabelecemos um conjunto de requisitos de apoio à criação e transformação de múltiplas shadow libraries, de modo a torná-las abertas a intervenções plurais e a garantir que têm a capacidade de distribuir diversos tipos de materiais.
Num segundo momento, utilizámos mecânicas de jogos pervasivos como base para a exploração de métodos de interação que desafiam práticas dominantes em shadow libraries. No contexto desta investigação, estas mecânicas são particularmente relevantes pela sua capacidade de expandir experiências para além de períodos de tempo fixos, levando a uma participação contínua dos utilizadores; explorar a relação entre utilizadores e o ambiente em que se encontram, explorando os limites entre os espaços físicos e digitais; expandir as interfaces possíveis de interação, introduzindo novas hipóteses para a interação e envolvimento dos utilizadores; ampliar a dinâmica entre utilizadores e a sua comunidade, integrando variáveis externas; e aprofundar o envolvimento dos utilizadores a um nível mais pessoal e significativo.
Através de uma metodologia de investigação baseada na prática, motivámos os utilizadores de shadow libraries a reconsiderar as dinâmicas de distribuição e produção de conhecimento, bem como as dinâmicas da comunidade inerentes a sistemas de distribuição informais. A partir destas explorações, estabelecemos um conjunto holístico de estratégias que tem como objetivo desafiar as práticas dominantes das bibliotecas paralelas, e identificamos um conjunto de dependências que devem ser protegidas, como as motivações dos projetos, os requisitos das comunidades, as dependências e os princípios informais característicos das mesmas. Colectivamente, as estratégias e as dependências identificadas, estabelecem uma framework para expandir as shadow libraries, respondendo às necessidades em evolução das comunidades, moldando, o acesso, a distribuição, a produção, a publicação do conhecimento, e as dinâmicas entre pares.

Keywords: Shadow libraries; Produção informal de conhecimento; Design; Jogos pervasivos; Mecânicas de jogos.

DEI Talks | “AI and the Worlds of Work“ pelo Prof. Christopher Mathieu (Lund University)

A palestra intitulada “AI and the Worlds of Work“ será apresentada no dia 25 de fevereiro, pelas 11:00, na sala I-105, com a moderação de António Coelho (DEI).

Resumo:

“The effects of AI on work is a central point of discussion and negotiation in many fields. Machines and mechanical tools have replaced some but not all physical manual labour. The assumption is that AI will bring similar changes, eradicating some jobs, transforming many and having little impact on others. At the moment we know very little about which jobs AI will replace, transform, increase or have little real impact on, but we know that the scope of work and jobs is wide, and that changes do not occur automatically, they are usually negotiated, and negotiations have already begun to take place in a number of sectors. While industrial machines largely replaced low-skill, low-paid physically demanding manual work, the assumption is that AI will increasingly have an impact on high-skill, high-qualification, and high-consequence cognitive and even “creative” work. As AI poses challenges to workers of higher standing and better organized, the deployment and use of AI is subject to negotiation and contestation, both at workplaces and in central negotiations between employers and employee representatives. Worlds of work differ from technical and social perspectives, and as we already see, AI is confronted differently dependent upon what types of employees are being impacted and in which jurisdiction. This lecture examines the various reactions to the “threats” and “possibilities” of AI among different types of workers from telecoms to entertainment in Europe and North America, arguing that institutional factors play a significant role in these negotiations and subsequent use and deployment of AI.”

Sobre o Palestrante:

Chris Mathieu is Reader in the Sociology of Work and Organisations at the Department of Sociology, Lund University, and previously (2002-2014) Associate Professor at the Department of Organisation, Copenhagen Business School. From 2015-2018 he was coordinator of the Horizon 2020 project QuInnE (quinne.eu) – Quality of Jobs and Innovation Generated Employment Outcomes. His primary research areas include film production as well as medical education and practice. Book publications include: Careers in Creative Industries (Routledge, 2012); Accomplishing Cultural Policy in Europe (Routledge 2022); and The Oxford Handbook of Job Quality (OUP, 2022). A recent article on AI as a focus area of labour negotiations is: Ilsøe, A., Larsen, T. P., Mathieu, C., & Rolandsson, B. (2024). Negotiating about Algorithms: Social Partner Responses to AI in Denmark and Sweden. ILR Review, 77(5), 856-868. https://doi.org/10.1177/00197939241278956f