Olga Chesnikova and Alexander Pirumov (Moscow State University of Informatics and Computer Science) Tuesday 6 January 2009, 11.45-12.00