Programa
Dia 04/09
| Hora | Sala 1 | Sala 2 | Sala 3 |
|---|---|---|---|
| 11:00 | Registo | ||
| 12:00 | Almoço | ||
| 13:20 | Abertura | ||
| 13:30 | CPDLA 1 | SOFT-PT 1 | – |
| 15:00 | Coffee Break | ||
| 15:15 | INForum Keynote: Recent developments in LaTeX, Javier Bezos | ||
| 16:30 | IA | SSCC 1 | TUG-PT |
| 20:00 | Jantar | ||
Keynotes, Sala 1: Palácio de Dom Manuel
Sala 2: Anfiteatro 3, Colégio Luís António de Verney (Universidade de Évora)
Sala 3: Anfiteatro 4, Colégio Luís António de Verney (Universidade de Évora)
Dia 05/09
| Hora | Sala 1 | Sala 2 | Sala 3 |
|---|---|---|---|
| 9:00 | INForum Keynote: AI Agents versus Agentic AI: state of the art, Paulo Quaresma | ||
| 10:30 | Coffee Break | ||
| 10:45 | CPDLA 2 | SOFT-PT 2 | CPS&Apps |
| 12:00 | Almoço | ||
| 13:30 | Industry Session | ||
| 15:00 | Coffee Break, Sessão de Pósteres e Demos | ||
| 16:00 | SSCC 2 + CRC | BioInf | – |
| 17:00 | Business Meeting INForum | ||
| 17:30 | Encerramento | ||
Keynotes, Sala 1: Palácio de Dom Manuel
Sala 2: Anfiteatro 3, Colégio Luís António de Verney (Universidade de Évora)
Sala 3: Anfiteatro 4, Colégio Luís António de Verney (Universidade de Évora)
Sessões
Artigos: 20 minutos (15 minutos de apresentação + 5 minutos de discussão)
Comunicações: 12 minutos (10 minutos de apresentação + 2 minutos de discussão)
Sessão CPDLA 1 – 04/09/2025 13:30
Chairs: João M. Lourenço e Luís Veiga
Hardware transactions with unlimited reads on contemporary Intel Scalable Xeon servers
José Esteves e João Barreto (Artigo)
Concurrent Hash Maps Under Pressure: Revisiting the Separate Chaining Mechanism with Linked Lists and Dynamic Arrays
Ana Castro, Miguel Areias e Ricardo Rocha (Artigo)
Hazard Region Pointers: seamless interpolation between Hazard Pointers and Epoch-Based Reclamation
André Costa e João M. Lourenço (Comunicação)
Um Protocolo Descentralizado para Transmissão Contínua de Dados Robusta e Eficiente
Diogo Fona e João Leitão (Artigo)
Seleção de Coordenadores em Sistemas Transaccionais Geo-Distribuídos
Inês Cardeira, Rafael Soares e Luis Rodrigues (Comunicação)
Sessão SOFT-PT 1 – 04/09/2025 13:30
Chair: João Ferreira
Concurrent Multifaceted AI-powered Low-code Application Models
Hugo Lourenço, Carla Ferreira, João Costa Seco, Stoyan Garbatov e Nuno Silva (Artigo)
Visual Meerkat: A Live and Visual Development Environment
João Santos e João Costa Seco (Artigo)
Natural Deduction Proofs for Educational Feedback
Daniel Macau, Ricardo Gonçalves e João Costa Seco (Artigo)
Ethereum Verified Machine: A Certified OCaml Implementation of the EVM
Ion Chirica, Mário Pereira e António Ravara (Artigo)
A Blockchain Approach to IoT Sensor Data Storage Using Hyperledger Fabric
Diogo Solipa, José Saias e Pedro Salgueiro (Comunicação)
Sessão IA – 04/09/2025 16:30
Chairs: Ana Rita Peixoto e Eugénio Ribeiro
A 3D-based classification of Alzheimer’s Disease in Decentralized Setting
Ana Sousa, Alícia Oliveira, Beatriz Cepa, António Sousa e Cláudia Brito (Artigo)
Assessing Driver Style and Driver Volatility with Machine Learning Techniques
Duarte Valente, Luís Loureiro, Artur Ferreira e André Lourenço (Artigo)
A Genetic Algorithm for Pedestrian Origin-Destination Flow Estimation
Rodrigo Simões, Fernando Brito E Abreu e Adriano Lopes (Artigo)
A Personal Digital Assistant Enhanced with Artificial Intelligence Techniques
António Goulão, Dinis Dias, Artur Ferreira e Nuno Leite (Comunicação)
Sessão SSCC 1 – 04/09/2025 16:30
Chairs: Alan Sá e Bernardo Portela
Attackathon: A Tournament-Based Approach to Practicing Adversarial Cybersecurity
Martim Abreu, Emanuel Nunes, Samih Eisa e Miguel Pardal (Artigo)
RedShell: A Generative AI-Based Approach to Ethical Hacking
Ricardo Bessa, João Trindade, Rui Claro e João M. Lourenço (Artigo)
Ferramenta para Execução Segura de Testes de Penetração Automáticos
Tomás Páscoa, Alan Sá e José Cecílio (Comunicação)
Securing the Machine Learning Lifecycle: Threats and Mitigations
Alexandre van Velze e José D’Abruzzo Pereira (Comunicação)
Uma ferramenta para a detecção e teste de vulnerabilidades em arquiteturas de micro-serviços
António Mendes, Kevin Gallagher e João Leitão (Comunicação)
Sessão CPDLA 2 – 05/09/2025 10:45
Chairs: João M. Lourenço e Luís Veiga
Building a permissionless blockchain based on proof-of-space for archiving the world wide web
Bruno Cotrim, Bernardo Ferreira e Miguel Matos (Artigo)
Secure, Resilient Streaming Communication and Processing in Challenging Environments
Luís Viana e Vinícius Cogo (Artigo)
SafeHelmOS: Towards a Decentralized Secure Cloud Marketplace
André Silva e Rolando Martins (Comunicação)
Sessão SOFT-PT 2 – 05/09/2025 10:45
Chair: João Ferreira
ATL – A Specification Language For Actors And Their Children
Vladyslav Mikytiv, Carla Ferreira e Bernardo Toninho (Artigo)
NeoGoDDaR: Finding and Fixing Deadlocks in Go Code
Gustavo Feio, João M. Lourenço e António Ravara (Artigo)
Deadlock Freedom in FreeST
Luís Santos, Andreia Mordido, Jorge A. Pérez e Vasco T. Vasconcelos (Artigo)
Secure Communication in FreeST
Martim Baptista, Andreia Mordido e Vasco T. Vasconcelos (Artigo)
Property-Based Testing of a Concurrent Lock-Free Data Structure
Paulo Sousa, Ricardo Rocha e Pedro Vasconcelos (Comunicação)
Sessão CPS&Apps – 05/09/2025 10:45
Chairs: José Cecílio e Luís Pinto
Acesso Eficiente ao Meio em Redes Mesh via TDMA Auto-Sincronizado
Luis Ramos Pinto e David Pereira (Artigo)
Algoritmo de Automação de Ataques em Ambiente Ciberfísico Simulado
Diogo Pedro, Alan O. de Sá, José Cecílio e Pedro M. Ferreira (Comunicação)
A Low-Cost, Standalone Acoustic Monitoring System Using Machine Learning on Tiny Devices
Diogo Anjos, Duarte Gonçalves, Wellington Oliveira, Fernando Ascenção, Sara Silva e José Cecílio (Artigo)
Migrating C to Rust: A case study on improving GLib memory safety
Fábio Silva, Tiago Carvalho e Luis Miguel Pinho (Comunicação)
Performance Monitoring API for RISC-V Platforms
Nuno Soares, Tiago Carvalho e Luis Miguel Pinho (Comunicação)
PulseCharge: Enabling Interoperability in EV Data
Ricardo Venâncio, Clarisse Sousa, Pedro Pires, Tiago Fonseca e Luís Ferreira (Comunicação)
Sessão SSCC 2 + CRC – 05/09/2025 16:00
Chairs SSCC2: Alan Sá e Bernardo Portela
Chairs CRC: Vítor Cunha e Daniel Corujo
Enhancing Phishing Detection With LLMS: Content Evaluation
Diogo Dias, João Trindade, Rui Claro, Daniel Gonçalves e João M. Lourenço (Artigo)
Observing the Edge: Host Behavior as a Foundation for Workflow Security
Sofia Vaz, Vitor A. Cunha e Rui L. Aguiar (Artigo)
Método para Avaliação de Sistemas de Pontuação de Vulnerabilidades e Validação de Estatísticas usadas por estes Sistemas
João Rolo, Alan Oliveira de Sá e Vinícius Vielmo Cogo (Comunicação)
Improving Anonymization Models
Fábio Silva, Nuno Preguiça e Kevin Gallagher (Comunicação)
Sessão BioInf – 05/09/2025 16:00
Chairs: Diogo F. Soares e Helena Aidos
Using One-Class Classification to Uncover Regulatory Networks
Maria G. Pereira, Emanuel Gonçalves e Pedro T. Monteiro (Comunicação)
A Digital Platform for Paediatric Palliative Care
Alexandre Corte, Carolina Coelho, David R. Matos, Daniel V. Gonçalves, Pedro T. Monteiro, Maria João Palaré e Helena Galhardas (Comunicação)
Actionable Brain Maps of Transcriptional Regulation of Neurotransmission Activity from Postmortem Cohorts
Miguel M. Moreira, Guilherme Ramos e Rui Henriques (Artigo)