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

Seminar on Computer Science
Saint Petersburg / spring 2012, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login
TBA
Date and time Class|Name Venue|short Materials
19 February
15:35–17:10
Как не ошибиться с определением безопасности: о пользе authenticated encryption в теории и практике (Игорь Жирков, ИТМО/CS центр), Lecture ПОМИ РАН slides
31 March
15:00–16:35
Verifying Specifications with Proof Scores in CafeOBJ (Kokichi Futatsugi, Japan Advanced Institute of Science and Technology), Lecture ПОМИ РАН video
08 April
13:00–14:35
Обнаружение текста на изображениях (Наталья Васильева, HP Labs), Lecture ПОМИ РАН slides,  video
15 April
13:00–15:35
Технологии формирования, обработки и визуализации стереоскопических "3D" изображений (Алексей Колесов, СПбГУТ), Lecture ПОМИ РАН video
29 April
13:00–14:35
Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталей (Сергей Якунин, СПбГПУ и Computer Science центр), Lecture ПОМИ РАН slides,  video
13 May
15:35–17:10
Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерах (Андрей Морозов, СимЭкс), Lecture ПОМИ РАН slides,  video
19 May
18:15–19:00
Faculty of informatics university of Lugano, Switzerland, Lecture ПОМИ РАН video
19 May
19:15–20:05
Computational Science – modeling approaches and algorithms (Igor Pivkin, University of Lugano, Switzerland), Lecture ПОМИ РАН No
19 May
20:05–20:45
Service Oriented Computing with Resource Oriented Architectures (Cesare Pautasso, University of Lugano, Switzerland), Lecture ПОМИ РАН video
20 May
11:15–12:50
Local proof transformations for flexible interpolation and proof reduction (Prof. Natasha Sharygina, University of Lugano, Switzerland), Lecture ПОМИ РАН video