Город: Санкт-Петербург Казань Язык: Русский English

Мини-курсы профессоров Университета Лугано
Санкт-Петербург / осень 2015, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Краткие курсы профессоров факультета информатики Университета Лугано, Швейцария

Профессора Университета Лугано представят учебные программы магистерских и PhD программ факультета информатики и прочтут краткие курсы для студентов Санкт-Петербургских вузов по следующим предметам: программный анализ и формальные методы верификации; системы распределенного вычисления и методы их качественной оценки; методы геометрических вычислений и их применения в системах машинного зрения; и параллельные вычисления и численное моделирование.

Все лекции будут прочитаны на английском языке.

Дата и время Название Место Материалы
05 сентября
16:30–17:15
Presentation of USI and its study programs, лекция ПОМИ РАН Нет
05 сентября
17:20–18:55
Методы геометрических вычислений и их применения в системах машинного зрения (Michael Bronstein), лекция ПОМИ РАН видео
05 сентября
19:05–20:50
Методы геометрических вычислений и их применения в системах машинного зрения (Michael Bronstein) - продолжение, лекция ПОМИ РАН видео
06 сентября
11:15–12:50
Программный анализ и формальные методы верификации (Natasha Sharygina), лекция ПОМИ РАН видео
06 сентября
13:00–14:35
Программный анализ и формальные методы верификации (Natasha Sharygina) - продолжение, лекция ПОМИ РАН видео
06 сентября
14:35–15:00
Вопросы и ответы, лекция ПОМИ РАН Нет
12 сентября
16:30–17:15
Presentation of USI and its study programs, лекция ПОМИ РАН Нет
12 сентября
17:20–18:55
Системы распределенного вычисления и методы их качественной оценки (Fernando Pedone), лекция ПОМИ РАН Нет
12 сентября
19:05–20:50
Системы распределенного вычисления и методы их качественной оценки (Fernando Pedone) - продолжение, лекция ПОМИ РАН Нет
13 сентября
11:15–12:50
Параллельные вычисления и численное моделирование (Olaf Schenk), лекция ПОМИ РАН Нет
13 сентября
13:00–14:35
Параллельные вычисления и численное моделирование (Olaf Schenk) - продолжение, лекция ПОМИ РАН Нет
13 сентября
14:35–15:00
Вопросы и ответы, лекция ПОМИ РАН Нет
16 августа 2016

Видео

Выложены видеозаписи лекций, прочитанных Michael Bronstein и Natasha Sharygina