City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Mini-courses by Professors of Lugano University
Saint Petersburg / autumn 2015, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

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

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

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