Computer Science symposium. Part 3