Turner, JessicaWeyers, Benjamin2026-09-182026-09-182025Turner, J., & Weyers, B. (2025). Towards formalisation of 3D user interaction: Making spatial interaction verifiable. In EICS '25 Companion: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 27-32). ACM. https://doi.org/10.1145/3731406.3734976979-8-4007-1866-3https://hdl.handle.net/10289/18668Interactive systems which incorporate 3D interaction techniques, such as virtual or augmented reality, lack appropriate methods for formalisation to verify and validate their properties. In safety-critical contexts, such as virtual environments used for training users in medical settings, ensuring systems behave as expected is crucial to enabling positive user experiences. In this paper we propose a formalisation that will allow us to express 3D virtual environments, end users and their interactions. This work represents a first step towards creating formalisation methods for virtual reality applications, enabling model checking techniques to ensure systems behave as expected, leading to improved reliability, safety and better user experience in virtual environments.enThis is an accepted version of a paper published in the Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. © 2025 ACM.3D environmentscomputer scienceformal methodsinteractive systemssoftware engineeringvirtual realityConference Contribution10.1145/3731406.373497646 Information and Computing Sciences4607 Graphics, Augmented Reality and Games4608 Human-Centred Computing