• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинары и мероприятия лаборатории

Лаборатория проводит международные и периодические семинары, организует публичные лекции и участвует в различных мероприятиях НИУ ВШЭ.

Информация о планируемых мероприятиях публикуется на странице анонсов лаборатории.
На данной странице расположены мероприятия текущего года. О мероприятиях предыдущих годов вы можете узнать на странице Архива мероприятий.

На семинары открытый доступ для всех желающих.
Для студентов, аспирантов, преподавателей и сотрудников НИУ ВШЭ - вход свободный.
При необходимости заказа пропуска в здание НИУ ВШЭ просьба сообщить по e-mail: lantropova@hse.ru.

 


 

30.03.2017
Тема: Предзащита кандидатских диссертаций Максименковой Ольги Вениаминовны
Адрес: г. Москва, Кочновский проезд, 3, ауд. 322
Начало 16:40
Аннотация: На заседании международной научно-учебной лаборатории интеллектуальных систем и структурного анализа факультета компьютерных наук НИУ ВШЭ состоится предварительная защита кандидатской диссертации Максименковой Ольги Вениаминовны на тему "Математические модели программных средств поддержки жизненного цикла контрольно-измерительных материалов в процессах активного обучения" (специальность 05.13.18 Математическое моделирование, численные методы и комплексы программы. Научный руководитель: д.т.н., профессор Подбельский Вадим Валериевич


28.03.2017
Тема: Предзащита кандидатских диссертаций
Адрес: г. Москва, Кочновский проезд, 3, ауд. 329
Начало 16:40
Аннотация: На заседании департамента анализа данных и искусственного интеллекта факультета компьютерных наук НИУ ВШЭ состоялась предварительная защита кандидатской диссертации Кашницкого Юрия Савельевича на тему «Методы замкнутых описаний в задачах машинного обучения и обнаружения знаний».Научный руководитель: д.ф.-м.н, профессор Кузнецов Сергей Олегович. Также состоялась предзащита Орлова Михаила Анатольевича на тему «Разработка модели и метода линейной многокритериальной стратификации». Научный руководитель: д.т.н, профессор Миркин Б.Г.

16.03.2017
Международный семинар "Formal Concept Analysis for Knowledge Discovery"
Официальный сайт 
Место проведения: 
Кочновский проезд, 3. ауд.509, начало в 9:00
Аннотация: 
Методы формальных понятий подтвердили большую значимость для анализа данных в качестве инструмента для точного представления ассоциативных правил, инструмента для кластеризации и построения таксономий. Цель семинара FCA4KD была в обсуждении направлений и результатов применения исследований в различных областях, таких как компьютерные науки, лингвистика, социальные науки, биоинформатика и химия. 

06.03.2017
Тема: 
Vellvm - проверяя LLVM
Докладчик: 
Steve Zdancewic ,University of Pennsylvania
Место проведения: 
Кочновский проезд, 3. ауд.317, 16.40
Аннотация: 
Компилятор LLVM предоставляет современный, промышленный уровень промежуточного представления (IR) языков. В докладе рассмотрен проект Vellvm, целью которого является предоставление формальной платформы для разработки машинно проверяемых доказательств о LLVM IR программах.

06.03.2017
Тема
: Реактивные системы: мощная парадигма для моделирования и анализа от инженерных до биологических систем
ДокладчикThomas A. Henzinger , IST Austria
Место проведения: Кочновский проезд, 3. ауд.317, 15.10
Аннотация: Реактивная система - это динамическая система, которая развивается путем реагирования на внешние события. Компьютерная наука разработала мощные модели, теории, алгоритмы и инструменты для анализа и предсказания поведения реактивных систем. Эти приемы основаны на математической логике, теории вычислений, языках программирования и теории игр. Изначально они были разработы для того, чтобы позволить нам строить более настраиваемую компьютерную инфраструктуру. Однако, применение результатов перешагнуло область компьютерных наук. Например, и самолет и живые организмы можно рассматривать в качестве реактивных систем.


21.02.2017
Тема
: Приблизительно правильное вычисление канонического базиса
ДокладчикДаниэль Борхман, Технический Университет Дрездена 
Место проведения: Кочновский проезд, 3. ауд.205, 16.40
Аннотация: Извлечение функциональных зависимостей является общим подходом для получения знаний из реляционных данных.Одним из способов получения знаний является построение формального контекста и вычисление базисов импликаций. В докладе будет рассмотрены подход к получению приблизительных импликативных знаний из данных; описаны первые результаты исследований и рассмотрено как можно совместно использовать метод "attribute exploration" и PAC-базис для получения алгоритма приблизительно корректного метода "attribute exploration"


02.02.2017
Тема: Сложность доступа к данным на основе онтологий OWL 2 QL
ДокладчикКикоть Станислав,  Research and Teaching assistant at Birkbeck College, University of London
Место проведения: Кочновский проезд, 3. ауд.322, 16.40
Аннотация: В докладе пойдет речь о задачах математической логики и сложности вычислений,  связанных с доступом к данным  на основе онтологий и с переформулировками SPARQL запросов в SQL, учитывающих всю информацию из онтологии. Будет рассказано, как сложность этих задач меняется при различных ограничениях на структуру онтологии  и форму запроса. Особое внимание будет уделено параллелям между математическими понятиями  и техническими стандартами.