City: 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

Открытый семинар по всем областям Computer Science. Если вы хотели бы выступить на семинаре, напишите, пожалуйста, Александру Куликову.

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