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

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
Computer Science Club, 2007–24 гг.