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