Former organisational unit. 1/04/13. Taken over by Centre for Algorithms and Applications