19-21 мая 2010 г. в Киеве пройдет Международный симпозиум "Автоматы, алгоритмы и информационные технологии". Приглашаем принять участие в симпозиуме всех, кому интересно обсудить проблемы современного состояния формальных методов, основанных на теоретико-автоматных моделях, и их применений к технологиям разработки и исследования кибернетических систем.
Симпозиум будет проходить в рамках международной конференции по программированию УкрПРОГ'2010 (24-28 мая 2010г.).
Для участия в симпозиуме необходимо выслать Александру Адольфовичу Летичевскому название планируемой презентации с краткой аннотацией (объемом до пол-страницы) до 1 апреля 2010 г.