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