INForum 2026

O SOFT-PT (Ciência e Engenharia de Software) é um encontro de investigadores académicos e industriais que trabalham em temas relacionados com a ciência e engenharia de software, unindo a teoria à prática através de princípios, metodologias, sistemas e ferramentas. O SOFT-PT, que teve já 15 edições no Inforum, estabeleceu-se como um ponto de encontro privilegiado para os especialistas nacionais com interesse nesta área.

Tópicos de Interesse:

As contribuições espera das são trabalhos originais em todos os tópicos relacionados com o software, nomeadamente (mas não apenas) trabalhos que se enquadrem nas seguintes áreas:

• Modelos de computação e de programação
• Fundamentos da engenharia de software
• Metodologias de desenvolvimento de software
• Princípios, desenho e implementação de linguagens de programação e de modelação
• Especificação, análise, verificação, validação e testes de software
• Segurança e fiabilidade de software
• Análise de requisitos e arquiteturas de software
• Processos de desenvolvimento, manutenção e qualidade de software
• Ambientes e ferramentas para o desenvolvimento de software
• Desenho e análise de algoritmos, pesquisa e optimização
• Casos de estudo e relatos de experiências na indústria de software

Membros da Comissão de Programa:

• Nuno Macedo (Universidade do Minho / INESC TEC) — Chair
• Alcides Fonseca (Universidade de Lisboa)
• Alexandre Madeira (Departamento de Matemática da Universidade de Aveiro / CIDMA)
• Ana Matos (Instituto Superior Técnico, Universidade de Lisboa)
• André Santos (VORTEX CoLab)
• Bernardo Toninho (Instituto Superior Técnico, Universidade de Lisboa)
• Bruno Lima (FEUP / LIACC)
• Daniela da Cruz (Datadog)
• Jácome Cunha (Faculdade de Engenharia, Universidade do Porto / HASLab–INESC TEC)
• João Costa Seco (NOVA FCT / NOVA LINCS)
• João Pascoal Faria (FEUP / INESC TEC)
• João Saraiva (Universidade do Minho)
• Jorge Sousa Pinto (Universidade do Minho)
• José Pereira dos Reis (ISCTE)
• José Proença (Universidade do Porto / CISTER)
• Lázaro Costa (Faculdade de Engenharia, Universidade do Porto / HASLab–INESC TEC)
• Maria João Frade (Universidade do Minho / HASLab/INESC TEC)
• Mário Florido (Faculdade de Ciências, Universidade do Porto)
• Mário Pereira (NOVA FCT / NOVA LINCS)
• Pedro Vasconcelos (FCUP / LIACC)
• Salvador Abreu (Universidade de Évora / NOVA LINCS)
• Simão Melo de Sousa (Universidade do Algarve / NOVA LINCS)
• Tiago Oliveira (Universidade do Minho / INESC TEC)

As comunidades industrial e académica têm mostrado um interesse crescente em maximizar e otimizar a utilização dos recursos computacionais através do desenvolvimento e utilização de sistemas paralelos, distribuídos e de larga escala. Assim, a motivação para uma sessão na área da Computação Paralela, Distribuída e de Larga Escala (CPDLA) advém naturalmente da importância crescente que esta área assume nos vários setores da sociedade.

A computação paralela e os sistemas distribuídos são áreas clássicas da Informática, contando com décadas de eventos e de publicações científicas. Esta área envolve um conjunto relevante e alargado de temas, como o uso de processadores gráficos para computação geral; os sistemas de bases de dados de elevado desempenho; os sistemas distribuídos de grande escala suportados por diferentes tipos de nuvens computacionais, proporcionando sinergias e colaborações entre a comunidade científica e a indústria nacional e internacional. O estudo destes temas é apoiado e patrocinado por entidades internacionais como a ACM, IEEE, USENIX e IFIP.

Esta sessão de CPDLA pretende reunir num mesmo fórum de discussão todos aqueles que em Portugal desenvolvem trabalho nesta área, seja este de índole científica, técnica, ou de transferência de tecnologia proveniente tanto da comunidade académica como do tecido empresarial. Procuramos a submissão de artigos (em português ou inglês) na área da Computação Paralela, Distribuída e de Larga Escala no seu sentido lato, sendo ilustrada, de forma não exaustiva, pela lista de tópicos de interesse desta sessão.

Tópicos de Interesse:

• Sistemas Entre-Pares e Computação na Periferia da Rede
• Arquiteturas, Middleware, Runtimes e Aplicações de Alto Desempenho
• Sistemas Robustos, Replicados e Geo-Distribuídos
• Computação Escalável e de Alto Desempenho
• Grid, Utility e Cloud Computing
• Computação Autonómica
• Computação Paralela com Aceleradores (GPGPU, FPGA)
• Aplicações de Grande Escala e Big Data
• Suporte e Gestão de Hardware Inovador (e.g., Memórias Persistentes, Processor in Mmeory, HTM)
• Segurança e Privacidade

Membros da Comissão de Programa:

• Vinicius V. Cogo (FC.UL / LASIGE) — Chair
• João M. Lourenço (FCT.UNL / NOVA-LINCS) — Chair
• Hervé Paulino (FCT.UNL / NOVA-LINCS)
• Hugo Miranda (FC.UL / LASIGE)
• João Paulo Barraca (U.Aveiro / Instituto de Telecomunicações)
• João Campos (U.Coimbra / CISUC)
• João T. Paulo (U.Minho / INESC TEC)
• José Simão (ISEL.IPL / INESC-ID Lisboa)
• Luis Rodrigues (IST.UL / INESC-ID Lisboa)
• Luís Veiga (IST.UL / INESC-ID Lisboa)
• Noelia Correia (U.Algarve)
• Nuno Neves (FC.UL / LASIGE)
• Paula Prata (UBI / Instituto de Telecomunicações)
• Rolando Martins (FC.UP)
• Rui Claro (Layer8)
• Salvador Abreu (U.Évora / LISP, CRI)

A Inteligência Artificial e a Ciência de Dados (IACD) assumem hoje um papel central na transformação científica, tecnológica e social, oferecendo novos métodos para compreender sistemas complexos, automatizar processos, apoiar a tomada de decisão e gerar conhecimento a partir de dados. O desenvolvimento de algoritmos de aprendizagem automática, raciocínio e interação está a transformar setores como a saúde, a indústria, as finanças, a administração pública e muitos outros. Esta evolução tem sido impulsionada pela crescente disponibilidade de grandes volumes de dados, pelo aumento da capacidade computacional e pelo amadurecimento das técnicas de IA e CD, incluindo redes neuronais profundas e modelos generativos.

Neste contexto, esta sessão temática pretende reunir contributos que explorem avanços teóricos, metodológicos e aplicados em Inteligência Artificial e Ciência de Dados, proporcionando um espaço de partilha, discussão e colaboração entre investigadores, profissionais e estudantes que desenvolvem trabalho na área.

Tópicos de Interesse:

• Aprendizagem automática
• Representação do conhecimento e raciocínio
• Agentes inteligentes
• Análise de dados
• Extração de conhecimento de dados
• Visualização de dados
• Procura e planeamento
• Satisfação de restrições
• Processamento de linguagem natural
• Visão computacional
• Bioinformática
• Teoria de jogos
• Incerteza em IA
• Interação Humano-IA
• Equidade, ética e confiança em IA
• IA para a saúde
• Outras aplicações de IA e Ciência de Dados

Membros da Comissão de Programa:

• Eugénio Ribeiro (Iscte - Instituto Universitário de Lisboa) – Chair
• Diogo F. Soares (Faculdade de Ciências da Universidade de Lisboa) – Chair
• Ana Rita Peixoto (Iscte - Instituto Universitário de Lisboa)
• Joana Santos (Faculdade de Ciências da Universidade de Lisboa)
• Adelaide Figueiredo (Universidade do Porto)
• Alberto A. Pinto (Universidade do Porto)
• Alberto Simões (Instituto Politécnico do Cávado e do Ave)
• Ana Maria de Almeida (Iscte - Instituto Universitário de Lisboa)
• Anna Pompili (INESC-ID Lisboa)
• António Lopes (Iscte - Instituto Universitário de Lisboa)
• António Neves (Universidade de Aveiro)
• Artur Ferreira (Instituto Superior de Engenharia de Lisboa)
• Bernardete Ribeiro (Universidade de Coimbra)
• Catarina Silva (Universidade de Coimbra)
• Cátia Pesquita (Faculdade de Ciências da Universidade de Lisboa)
• Cátia Vaz (Instituto Superior de Engenharia de Lisboa)
• Daniela Schmidt (Universidade de Évora)
• David Calhas (University of Ljubljana)
• Elsa Cardoso (Iscte - Instituto Universitário de Lisboa)
• Fernando Moreira (Universidade Portucalense)
• Filipa Correia (Instituto Superior Técnico, Universidade de Lisboa)
• José Barateiro (Universidade do Algarve)
• José Saias (Universidade de Évora)
• Luís Correia (Faculdade de Ciências da Universidade de Lisboa)
• Luís Ferreira (Instituto Politécnico do Cávado e do Ave)
• Matilde Pato (Instituto Superior de Engenharia de Lisboa)
• Nuno Domingues (Instituto Superior de Engenharia de Lisboa)
• Nuno Leite (Instituto Superior de Engenharia de Lisboa)
• Paulo Quaresma (Universidade de Évora)
• Paulo Trigo (Instituto Superior de Engenharia de Lisboa)
• Pedro Santana (Iscte - Instituto Universitário de Lisboa)
• Pedro T. Monteiro (Instituto Superior Técnico, Universidade de Lisboa)
• Ricardo Gonçalves (NOVA FCT)
• Ricardo Ribeiro (Iscte - Instituto Universitário de Lisboa)
• Sofia Fernandes (Iscte - Instituto Universitário de Lisboa)
• Tiago Guerreiro (Faculdade de Ciências da Universidade de Lisboa)
• Vânia Mendonça (Faculdade de Ciências da Universidade de Lisboa)
• Vasco Carvalho (Instituto Politécnico do Cávado e do Ave)
• Vasco Lopes (Universidade da Beira Interior)

Tópicos de Interesse:

São encorajadas submissões de trabalhos originais relacionados com, entre outros, os seguintes tópicos:

• Anonimato e Privacidade
• Autenticação e Biometria
• Cibersegurança Forense
• Criptografia e Criptoanálise
• Cripto-moedas e Blockchain
• Deteção e Resposta a Incidentes
• Gestão de Segurança da Informação
• Métodos Formais em Segurança
• Segurança Baseada em Hardware
• Segurança em Aplicações e Serviços Web
• Segurança em Bases de Dados
• Segurança em Computação Móvel e Ubíqua
• Segurança em Internet das Coisas
• Segurança em Redes
• Segurança em Sistemas Distribuídos
• Segurança em Sistemas de Inteligência Artificial e Aprendizagem Máquina
• Segurança em Software
• Segurança Ofensiva e Ciber-defesa
• Sistemas de Deteção e Tolerância a Intrusões
• Segurança, Privacidade e Confiabilidade na Cloud
• Votação Eletrónica

A sessão dá especial ênfase a trabalhos com relevância científica e aplicacional nos domínios industrial, judiciário e militar.

Membros da Comissão de Programa:

• Alex Davidson (LASIGE / FCUL) – Chair
• João Resende (CRACS - INESCTEC / DCC-FCUP) – Chair
• David Matos (INESC-ID / Instituto Superior Tecnico)
• André Zúquete (Universidade de Aveiro)
• Alan Sá (LASIGE / FCUL)
• Bernardo Portela (HASLab / FCUP)
• Chrysoula Vlachou (NOVA LINCS / NOVA University Lisbon)
• Filipe Casal (Trail of Bits)
• Ivone Amorim (GECAD-ISEP)
• Eva Maia (GECAD-ISEP)
• Joao Vilela (FCUP)
• Bernardo Ferreira (LASIGE / FCUL)
• Kevin Gallagher (NOVA LINCS / NOVA University Lisbon)
• Nuno Antunes (Guardsquare)
• Pedro Inácio (Universidade da Beira Interior)
• José Bacelar Almeida (University of Minho)
• José D’Abruzzo (University of Coimbra)
• João Marco (University of Minho)
• Manuel Barbosa (HASLab / FCUP)
• Miguel Pardal (Universidade de Lisboa)
• Mariana Cunha (UP/INESCTEC/CISUC)

A engenharia informática atravessa uma fase de reestruturação/transformação, marcada pela convergência entre redes de comunicação de nova geração, computação distribuída e sistemas ciberfísicos. Esta convergência está a redesenhar infraestruturas críticas em domínios tão diversos como a mobilidade, a saúde, a energia, a indústria e o espaço, criando ecossistemas digitais que interagem de forma cada vez mais estrita com o mundo físico.

O avanço das redes 5G e 6G, a proliferação de dispositivos IoT, o desenvolvimento de digital twins, a integração de inteligência artificial em todos os níveis dos sistemas distribuídos e a crescente autonomia dos sistemas ciberfísicos impõem novos desafios à comunidade científica e técnica. Estes desafios estendem-se da arquitetura das redes e da gestão eficiente de recursos computacionais à garantia de propriedades essenciais, como a fiabilidade, a segurança, a privacidade, a sustentabilidade e a confiabilidade dos sistemas autónomos, impactando diretamente a sociedade, na medida em que estes sistemas suportam serviços essenciais e moldam a forma como as pessoas, as organizações e as máquinas interagem entre si.

Este tópico tem como objetivo reunir contribuições originais que avancem o estado da arte em qualquer uma das dimensões deste ecossistema, desde as comunicações e infraestruturas computacionais até os sistemas ciberfísicos e IoT, incluindo a inteligência artificial aplicada a sistemas conectados, nos diferentes domínios aplicacionais.

Apela-se à submissão de artigos e comunicações com resultados teóricos, soluções técnicas, plataformas experimentais ou casos de estudo, contribuindo para uma reflexão integrada sobre o presente e o futuro dos sistemas conectados e inteligentes.

Tópicos de Interesse:

1. Redes e comunicações

   • Sistemas e arquiteturas de comunicação 5G/6G
   • Redes não-terrestres e integração satélite-terrestre
   • Redes cloud-native e softwarização de redes (SDN/NFV, Open RAN)
   • Time-sensitive networking e comunicações determinísticas
   • Redes de sensores sem fios, mesh, veiculares e UAV
   • Comunicações eficientes em energia e sustentáveis

2. Computação distribuída e edge

   • Edge computing e edge intelligence
   • Orquestração de redes, automação e gestão intent-based
   • Sistemas distribuídos em tempo real e dependable
   • Sistemas embebidos e co-design hardware/software

3. Sistemas ciberfísicos e IoT

   • Cyber-Physical Systems (CPS) e Systems-of-Systems
   • IoT industrial e aplicações Industry 4.0
   • Digital twins para sistemas de comunicação e ciberfísicos
   • Sistemas mission-critical e safety-critical
   • Sistemas autónomos cooperativos e robótica

4. Inteligência artificial para sistemas conectados

   • AI/ML para redes de comunicação e CPS
   • Edge AI para IoT e aplicações ciberfísicas
   • Aprendizagem federada e distribuída
   • Sistemas inteligentes confiáveis, seguros e explicáveis

5. Aplicações e domínios verticais

   • Infraestruturas digitais para cidades inteligentes e indústria inteligente
   • Aplicações em saúde, mobilidade, energia, agricultura e aeroespacial
   • Cibersegurança

Membros da Comissão de Programa:

• Vítor Cunha (UA) – Chair
• José Cecílio (LASIGE / FCUL) – Chair
• Aleksandar Ilic (INESC-ID / IST)
• António Casimiro, (LASIGE / FCUL)
• Augusto Casaca, (IST-U.Lisboa)
• Flávio Silva, (Uminho)
• João Bispo, (FEUP / INESC-TEC)
• João Cunha, (ISEC – IPCoimbra / CISUC)
• José Cecílio, (LASIGE / FCUL)
• Leonel Santos, (IPL)
• Maria Clara Silveira, (IPG)
• Noélia Correia, (Ualg)
• Pedro Ferreira, (LASIGE / FCUL)
• Pedro Sousa, (UMinho)
• Ricardo Severino, (ISEP-IPP)
• Rui Campos, (FEUP / INESC TEC)
• Salviano Filipe Silva Pinto Soares, (UTAD)
• Sérgio Crisóstomo, (FCUP)
• Vasco Pereira, (DEI-UC)