Workstation WG meeting, 31 May (secretary: Tomáš)