Paperes and slides for Kiev Theoretical CS seminar at IM