Автор надеется, что Андрей Петрович сможет приехать на конференцию "Синтез, тестирование, верификация и отладка программ". Посылает ему материалы по этой конференции.
