3-5 января 2018 года в Форт-Лодердейл, США, состоится пятнадцатый международный симпозиум по ИИ и математике ISAIM (International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS)

Симпозиум проводится раз в два года. Он направлен на развитие сотрудничества между учеными разных из разных областей знаний – математики, теоретической информатики и искусственного интеллекта. Спонсором мероприятия выступает научный журнал Annals of Mathematics and Artificial Intelligence. Цель мероприятия – представить последние научные достижения, особенно в областях ИИ и математических методов, используемых в ИИ. Материалы, описывающие приложения, приветствуются, но акцент в них должен быть сделан на базовые выводы, сделанные в процессе создания приложения. Традиционно симпозиум собирает научных деятелей различных дисциплин, тем самым становясь площадкой для уникального научного обмена. В рамках мероприятия пройдут выступления приглашенных докладчиков, презентации технических материалов и специальные тематические семинары.

Список выступлений приглашенных докладчиков:

- Булева и псевдобулева функции (Boolean and pseudo-Boolean Functions);
докладчики: Эндре Борос (Endre Boros), Ратгерский университет, Ив Крама (Yves Crama), Льежский университет.
- Формализация робоэтики;
докладчики: Майкл Фишер (Michael Fisher), Ливерпульский университет, Мария Славковик (Marija Slavkovik), Бергенский университет.
- Топологические рассуждения и анализ данных (Topological Reasoning and Data Analyses);
Дебасис Митра (Debasis Mitra), Флоридский Технологический институт.
- Теория машинного обучения
докладчик: Лев Рейзин (Lev Reyzin), Иллинойский университет в Чикаго

Основные даты:

Прием материалов: 3 октября 2017 г.
Уведомление о принятии: 31 октября 2017 г.
Итоговые версии материалов: 27 ноября 2017 г.
Даты проведения: 3-5 января 2018 г.

Источник: http://isaim2018.cs.virginia.edu/