The 2025 ACM Designing Interactive Systems Conference (DIS) in Madeira, Portugal, features work from ten ATLAS community members representing three labs. This year’s event has five focus areas: ...

The application of Petri nets in cyber-physical systems and reconfigurable computing offers a robust framework for formalising and verifying the behaviour of complex, interactive systems. By providing ...

Human-Computer Interaction (HCI) is a multidisciplinary field that explores the design, evaluation and implementation of interactive computing systems for human use. Traditionally rooted in the ...