The invitation is overdue, registration is closed.

ОтУС представляет лекцию «Программирование в ограничениях – в погоне за заветной целью программирования»

March
29
Thu 6:30 PM
When:
Thu 29 Mar 2012 6:30 PM - 7:00 PM (UTC+03:00) Moscow, St. Petersburg, Volgograd

ОтУС представляет лекцию «Программирование в ограничениях – в погоне за заветной целью программирования»

 

Лекция проводится при поддержке Шведского научно-исследовательского института информатики и Национального исследовательского ядерного университета «МИФИ»

 

Москва: 29 марта 2012 года, 18:30

Место проведения: Крымский вал, д. 3, Национальный исследовательский технологический университет «МИСиС» (НИТУ «МИСиС»), аудитория К-212

Язык лекции: русский

Регистрация: http://openu.timepad.ru/event/22279

Прямая трансляция: http://www.sk.ru/live/

 

Уважаемые студенты и слушатели Открытого Университета Сколково!

Приглашаем вас на открытую лекцию «Программирование в ограничениях – в погоне за заветной целью программирования», которую организует Открытый университет Сколково совместно со Шведским научно-исследовательским институтом информатики и Национальным исследовательским ядерным университетом «МИФИ».

Лекцию проводит Матс Карлссон – ведущий научный сотрудник Шведского научно-исследовательского института информатики. Он расскажет об актуальной и широко обсуждаемой ИТ сообществом теме программирования в ограничениях и рассмотрит области его применения.

Матс приведет описание и примеры парадигмы программирования в ограничениях, рассмотрит показательные примеры приложений, а так же обсудит недостатки, перспективы и текущие научные исследования в этой области.

 

Основные темы лекции:

  • Программирование в ограничениях (ПвО) является эффективным подходом к поиску допустимого или оптимального решения задач прикладной математики.
  • ПвО широко применяется в промышленных системах поддержки принятия решений, а также в различных системах искусственного интеллекта.
  • ПвО черпает методы из таких научных направлений как: искусственный интеллект, исследование операций, алгоритмы и языки программирования.
  • ПвО является связующим программным обеспечением между высокоэффективными алгоритмами и математическими моделями.
  • Ограничения являются многократно используемыми, эффективными программными компонентами.

Матс является научным консультантом компании резидента ИТ кластера Сколково «Логос – Агентные технологии», ведущей разработку программно-аппаратных комплексов управления сложными транспортными системами на основе агентных технологий. Примером таких комплексов служат современные компьютерные тренажеры муниципального транспорта и легковых автомобилей для обучения вождению в условиях насыщенного городского движения и действиям в экстремальных ситуациях.

 

Матс Карлссон, старший научный сотрудник Шведского научно-исследовательского института информатики (SICS-Swedish Institute of Computer Science), Стокгольм.

Ph.D, профессор информатики. Имеет научные труды в области декларативного программирования. Регулярно участвует в работе программных комитетов научных конференций и семинаров по той же тематике.

Является автором среды программирования на Прологе «SICStus Prolog», получившей широкое распространение во всем мире для исследовательских и образовательных целей в системах на основе UNIX и Windows. Разработчик Aurora OR-parallel Prolog для многопроцессорных систем с памятью общего доступа. Основатель компании Uppsala Logikprogrammering AB.

Участвовал во многих научно-прикладных проектах с финансированием от Евросоюза и шведских заказчиков.