"Автоматизация проверки решений школьников при изучении программирования", доклад В.Матюхина на конференции "Образовательная информатика: региональный аспект". Конференция состоялась в городе Кирове в ноябре 2001 года. Доклад посвящен представлению проекта "Автоматическая проверка задач по информатике". В докладе обосновывается необходимость этого проекта и раскрываются некоторые особенности использования системы автоматической проверки во время проведения занятий со школьниками.