Открытие осеннего семестра 2010 в Computer Science клубе (Санкт-Петербург)

Открытие осеннего семестра 2010 в Computer Science клубе состоится в четверг, 9 сентября. В 18:00 будет проведено орг. собрание, на котором будет рассказано об истории создания клуба, предстоящих курсах, кафедре математических и информационных технологий АФТУ РАН, курсах по биоинформатике в Академическом университете, Академии современного программирования, физико-математическом клубе, о недавно прошедшей Школе Microsoft по структурам данных и алгоритмам и о готовящейся школе CSEDays.Application 2010.


После собрания в 19:00 Эдуард Алексеевич Гирш (ПОМИ РАН) прочтёт первую лекцию курса по теории сложности доказательств.

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

• Теория сложности доказательств (12 пар)
  Э. А. Гирш, ПОМИ РАН
• Функциональное программирование (12 пар)
  Е. Кирпичёв, Grid Dynamics
• Семантическая классификация изображений (2 пары)
  А. Конушин, МГУ
• Онтология и представление знаний (10 пары)
  Б. Ю. Конев, University of Liverpool
• Проблема изоморфизма графов (12 пар)
  И. Н. Пономаренко, ПОМИ РАН
• Program Analysis for Security (3 пары)
  B. Livshits, Microsoft Research
• Синхронизируемые автоматы (10 пар)
  М. В. Волков, УрГУ

О клубе

Computer Science клуб при ПОМИ РАН создан в сентябре 2007 года при поддержке Антона Лиходедова, на сегодняшний день поддержку клубу оказывают Антон Лиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий). Основная цель клуба — предоставить возможность студентам Санкт-Петербурга получить образование в области Theoretical Computer Science. Лекции читают российские и иностранные преподаватели, в основном, по субботам и воскресеньям в ПОМИ РАН (Фонтанка, 27). По основным курсам проводятся экзамены, оценки за которые могут быть зачтены формально. Вход на лекции свободный. Дополнительная информация о клубе (расписание занятий, описание курсов, слайды и видеозаписи лекций, информация о преподавателях) доступна с сайта клуба: http://logic.pdmi.ras.ru/csclub/.

Ссылки: сайт клуба, расписание, RSS новостей, трансляция новостей в ЖЖ, группа Вконтакте, встреча вконтакте, Google-группа.

Читайте также о наборе в Академию Современного Программирования.