Программа AutoMathA

Последнее изменение: 24/11/2011 00:00:00

Программа Европейского научного фонда (European Science Foundation) по теории автоматов и ее приложениям Automata: from Mathematics to Applications (AutoMathA) выполнялась в период с мая 2005 по май 2010 года 19 научными организациями 14 европейских стран: Австрии, Бельгии, Венгрии, Германии, Дании, Израиля, Испании, Италии, Польши, Португалии, Словакии, Финляндии, Франции, Чехии. В подготовке соответствующей заявки принял активное участие заведующий кафедрой алгебры и дискретной математики профессор М.В.Волков. К сожалению, быть полноправным членом программы «AutoMathA» УрГУ не мог, поскольку программа финансировалась за счет взносов научных организаций стран-участников, а Россия не входит в Европейский научный фонд. Тем не менее, благодаря личному вкладу М.В.Волкова в подготовку программы и авторитету научной группы кафедры алгебры и дискретной математики в области теории автоматов, сотрудники и аспиранты кафедры активно участвовали в различных мероприятиях программы «AutoMathA». Так, в 2005 году в спутниковом семинаре Workshop on Semigroups and Automata 32-го международного коллоквиума по автоматам, языкам и программированию, проходившем при поддержке программы «AutoMathA» в Лиссабоне (Португалия), участвовали Д.С.Ананичев, М.В.Волков и Е.В.Прибавкина (тогда еще студентка магистратуры). В отчетной конференции программы в 2007 году, проходившей в Палермо (Италия), участвовали М.В.Волков и Е.В.Прибавкина, а в отчетной конференции в 2009 году в Льеже (Бельгия) - аспиранты Ю.И.Закс и А.А.Хворост. Аспирантка И.А.Михайлова участвовала в школе по алгебраической теории автоматов, проводившейся в Лиссабоне (Португалия) в 2008 году. М.В.Волков принимал участие также в двух мероприятиях программы, проходивших в 2008 году: AutoMathA Brainstorming and Cooperation Days «Around Cerny's Conjecture» во Вроцлаве (Польша) и AutoMathA Brainstorming and Cooperation Days «Automata-Theoretic Methods in Algorithmic Algebra» в Братиславе (Словакия). Программа «AutoMathA» поддержала также несколько визитов молодого итальянского математика Эмануэле Родаро (E.Rodaro) в УрГУ, результатом которых стала серия из шести его совместных публикаций с Е.В.Прибавкиной.

Одним из важнейших результатов программы «AutoMathA» должно стать издание справочной книги «Handbook of Automata Theory». М.В.Волков (совместно с финским коллегой Ярко Кари) подготовил одну из глав этой справочной книги.

Смотрите также: