20100909 csclub fall_term

75
Computer Science клуб: осенний семестр 2010 А. Куликов 9 сентября 2010

Upload: computer-science-club

Post on 16-Jun-2015

603 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: 20100909 csclub fall_term

Computer Science клуб: осенний семестр 2010

А. Куликов

9 сентября 2010

Page 2: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 3: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 4: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.

• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 5: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.

• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 6: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.

• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 7: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.

• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 8: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.

• И даже хорошая новость в конце презентации будет.

2 из 39

Page 9: 20100909 csclub fall_term

Тем, кто был на открытии предыдущего семестра

• Эти слайды с предыдущего семестра, признаться, не особоизменились.

• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.

2 из 39

Page 10: 20100909 csclub fall_term

О клубе

3 из 39

Page 11: 20100909 csclub fall_term

О клубе

• Computer Science клуб при ПОМИ РАН создан в сентябре2007-го года при поддержке Антона Лиходедова. Насегодняшний день поддержку клубу оказывают АнтонЛиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий).

• Миссия: предоставить студентам Санкт-Петербургавозможность получить образование в области TheoreticalComputer Science.

4 из 39

Page 12: 20100909 csclub fall_term

О клубе

• Computer Science клуб при ПОМИ РАН создан в сентябре2007-го года при поддержке Антона Лиходедова. Насегодняшний день поддержку клубу оказывают АнтонЛиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий).

• Миссия: предоставить студентам Санкт-Петербургавозможность получить образование в области TheoreticalComputer Science.

4 из 39

Page 13: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 14: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 15: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 16: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.

• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 17: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 18: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 19: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы

• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/

• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.

• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.

• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.

• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.

5 из 39

Page 20: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть вторая

• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.

В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.

• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/

◦ группа Вконтакте: http://vkontakte.ru/club1530671

6 из 39

Page 21: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть вторая

• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.

В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.

• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/

◦ группа Вконтакте: http://vkontakte.ru/club1530671

6 из 39

Page 22: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть вторая

• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.

В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.

• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/

◦ группа Вконтакте: http://vkontakte.ru/club1530671

6 из 39

Page 23: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть третья,заключительная

• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.

• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.

7 из 39

Page 24: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть третья,заключительная

• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.

• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.

7 из 39

Page 25: 20100909 csclub fall_term

Ответы на часто задаваемые вопросы: часть третья,заключительная

• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.

• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.

7 из 39

Page 26: 20100909 csclub fall_term

Курсы весеннего семестра

• Теория сложности доказательств (12 пар)Эдуард Алексеевич Гирш, ПОМИ РАН

• Функциональное программирование (12 пар)Евгений Кирпичёв, Grid Dynamics

• Семантическая классификация изображений (2 пары)Антон Конушин, МГУ

• Онтология и представление знаний (10 пар)Борис Юрьевич Конев, University of Liverpool

• Проблема изоморфизма графов (12 пар)Илья Николаевич Пономаренко, ПОМИ РАН

• Program Analysis for Security (3 пары)Ben Livshits, Microsoft Research

• Синхронизируемые автоматы (10 пар)Михаил Владимирович Волков, УрГУ

8 из 39

Page 27: 20100909 csclub fall_term

9 из 39

Page 28: 20100909 csclub fall_term

10 из 39

Page 29: 20100909 csclub fall_term

11 из 39

Page 30: 20100909 csclub fall_term

12 из 39

Page 31: 20100909 csclub fall_term

13 из 39

Page 32: 20100909 csclub fall_term

14 из 39

Page 33: 20100909 csclub fall_term

15 из 39

Page 34: 20100909 csclub fall_term

Новый сайт клуба

16 из 39

Page 35: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 36: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.

• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 37: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.

• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 38: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.

• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 39: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 40: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.

• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 41: 20100909 csclub fall_term

Новый сайт

• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.

• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.

17 из 39

Page 42: 20100909 csclub fall_term

Где еще можно поучиться

18 из 39

Page 43: 20100909 csclub fall_term

АУ РАН

• Академический университет Российской академии наук (АУРАН) — первое высшее учебное заведение, входящее в системуРоссийской академии наук.

• Cоздан в 2002 году Постановлением Президиума РАН.• Ректором-организатором АУ является лауреат Нобелевскойпремии по физике академик Жорес Иванович Алфёров.

19 из 39

Page 44: 20100909 csclub fall_term

20 из 39

Page 45: 20100909 csclub fall_term

Кафедра МИТ

• Кафедра математических и информационных технологийАкадемического университета.http://logic.pdmi.ras.ru/aptu/

• Обучение в магистратуре по двум специализациям:теоретическая информатика (Computer Science) и разработкапрограммного обеспечения (Software Engineering).

• Также появилась магистратура по биоинформатике.http://saba.spbsu.ru/courses/info

21 из 39

Page 46: 20100909 csclub fall_term

Курсы кафедры

• Программирование на языке C++• Комбинаторика и теория графов• Алгоритмы• Теория групп• Структурная теория сложности• Математическая логика• Проектирование программного обеспечения• Разработка UI с использованием тулкита Qt• Параллельные и распределенные вычисления• Сложностная криптография и сложность в среднем• Структура и интерпретация компьютерных программ• Машинное обучение• Организация процесса разработки ПО• и другие22 из 39

Page 47: 20100909 csclub fall_term

Академия современного программирования

• Академия современного программированияhttp://www.amse.ru/

• Открыт приём в группу первого года.• Для поступления нужно пройти тестирование (15 и 17сентября) и собеседование.

• Для того, чтобы попасть на тестирование, нужнозарегистрироваться на сайте (до 14 сентября).

• Орг. собрание будет проведено 13 сентября.

23 из 39

Page 48: 20100909 csclub fall_term

Физико-математический клуб при ПОМИ

• Физико-математический клуб при ПОМИhttp://club.pdmi.ras.ru/moodle/

• Курсы◦ От классической к квантовой механике. Практические занятия

для студентов младших курсовЕ.Н. Антонов, А.М. Монахов

◦ Гамильтонова механика, допускающая обобщенияМ. Сорокина, В. Касаткин

◦ Квантовая теория одномерного бозе-газа с точечнымвзаимодействиемП.Н. Бибиков

◦ Теория представлений и физикаИ. Френкель

◦ Концентрация мерыФ. Петров

◦ и другие24 из 39

Page 49: 20100909 csclub fall_term

И ещё

• Курс “Введение в индустрию IT”http://sites.google.com/site/itindustryintro/

• Finnish-Russian University Cooperation in Telecommunications(FRUCT)http://www.fruct.org/

• Санкт-Петербургская группа пользователей Linuxhttp://linux.spb.org/

• Java User Group (JUG)http://www.jug.ru

• Санкт-Петербургская группа пользователей Haskell (SPbHUG)http://spbhug.folding-maps.org/wiki

• Open Source & Linux Labhttp://osll.spb.ru/

25 из 39

Page 50: 20100909 csclub fall_term

Студенческие школы

26 из 39

Page 51: 20100909 csclub fall_term

Студенческие Computer Science школы

• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.

• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss

27 из 39

Page 52: 20100909 csclub fall_term

Студенческие Computer Science школы

• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.

• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss

27 из 39

Page 53: 20100909 csclub fall_term

Студенческие Computer Science школы

• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.

• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss

27 из 39

Page 54: 20100909 csclub fall_term

28 из 39

Page 55: 20100909 csclub fall_term

NoNA Summer School on Complexity Theory

• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/

• Организована коллективом клуба.• Более семидесяти участников.• Курсы:

◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute

◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”

◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover

◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University

29 из 39

Page 56: 20100909 csclub fall_term

NoNA Summer School on Complexity Theory

• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/

• Организована коллективом клуба.• Более семидесяти участников.• Курсы:

◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute

◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”

◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover

◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University

29 из 39

Page 57: 20100909 csclub fall_term

NoNA Summer School on Complexity Theory

• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/

• Организована коллективом клуба.

• Более семидесяти участников.• Курсы:

◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute

◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”

◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover

◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University

29 из 39

Page 58: 20100909 csclub fall_term

NoNA Summer School on Complexity Theory

• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/

• Организована коллективом клуба.• Более семидесяти участников.

• Курсы:◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute

◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”

◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover

◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University

29 из 39

Page 59: 20100909 csclub fall_term

NoNA Summer School on Complexity Theory

• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/

• Организована коллективом клуба.• Более семидесяти участников.• Курсы:

◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute

◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”

◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover

◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University

29 из 39

Page 60: 20100909 csclub fall_term

30 из 39

Page 61: 20100909 csclub fall_term

31 из 39

Page 62: 20100909 csclub fall_term

32 из 39

Page 63: 20100909 csclub fall_term

Школа Microsoft по структурам данных иалгоритмам

• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/

• Около 240 заявок, принято 60.• Курсы:

◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)

◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)

◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)

◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)

◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)

33 из 39

Page 64: 20100909 csclub fall_term

Школа Microsoft по структурам данных иалгоритмам

• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/

• Около 240 заявок, принято 60.• Курсы:

◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)

◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)

◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)

◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)

◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)

33 из 39

Page 65: 20100909 csclub fall_term

Школа Microsoft по структурам данных иалгоритмам

• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/

• Около 240 заявок, принято 60.

• Курсы:◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)

◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)

◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)

◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)

◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)

33 из 39

Page 66: 20100909 csclub fall_term

Школа Microsoft по структурам данных иалгоритмам

• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/

• Около 240 заявок, принято 60.• Курсы:

◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)

◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)

◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)

◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)

◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)

33 из 39

Page 67: 20100909 csclub fall_term

34 из 39

Page 68: 20100909 csclub fall_term

35 из 39

Page 69: 20100909 csclub fall_term

36 из 39

Page 70: 20100909 csclub fall_term

Школа CSEDays.Application 2010

• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/

• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.

37 из 39

Page 71: 20100909 csclub fall_term

Школа CSEDays.Application 2010

• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/

• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.

37 из 39

Page 72: 20100909 csclub fall_term

Школа CSEDays.Application 2010

• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/

• Тема: Надежность программного обеспечения

• Крайний срок подачи заявок: 15 октября.

37 из 39

Page 73: 20100909 csclub fall_term

Школа CSEDays.Application 2010

• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/

• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.

37 из 39

Page 74: 20100909 csclub fall_term

Хорошая новость в заключение

Эдуард Алексеевич опять заботливо насобирал нам яблок!

38 из 39

Page 75: 20100909 csclub fall_term

Спасибо за внимание!

39 из 39