Centre for Mathematical Sciences, Meeting Room 9 (centre building, basement)