Серия семинаров в университете Лиссабона

Серия семинаров в университете Лиссабона

Руководитель группы "Проблемы оптимизации в программной инженерии" Владимир Ульянцев ищет сотрудничество не только в близлежащих столицах, но и в отдаленных сердцах Европы. С 17 по 23 октября в университете Лиссабона была проведена серия семинаров с профессором Жуаном Маркешем Сильвой (Joao Marques Silva) и научными сотрудниками его группы. Жуан - признанный специалист области решения сложных оптимизационных задач и разработки программных средств их решения. Были проведены дискуссии по развитию методов построения конечных детерминированных автоматов, нахождению минимального неразрешимого множества в заданной формуле, восстановлению высокоуровневого представления заданной CNF-формулы. В результате были сформированы темы совместных исследований между группами Петербурга и Лиссабона, о которых сообщим позже!