Открытие осеннего семестра 2010-го года в Computer Science клубе состоится в воскресенье, 31-го января. В 12-00 будет проведено орг. собрание, на котором будет рассказано об истории создания клуба, предстоящих курсах, кафедре математических и информационных технологий АФТУ РАН, дипломах о дополнительном образовании, Академии современного программирования, международных студенческих школах по Computer Science, физико-математическом клубе при ПОМИ, а также Школе Microsoft по структурам данных и алгоритмам, которая пройдёт в Санкт-Петербурге с 8-го по 14-е августа. После собрания Андрей Гольдберг (Microsoft Research) прочтёт лекцию о нахождении кратчайших путей в графе.

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

• Highway Dimension and Provably Efficient Shortest Path Algorithms (1 пара)
  Андрей Гольдберг, Microsoft Research
  
• Десятая проблема Гильберта. Решение и применения в информатике (10 пар)
  Юрий Владимирович Матиясевич, ПОМИ РАН
  
• Виртуализация и виртуальные машины (12 пар)
  Н. Иготти, Sun Microsystems=
  
• Введение в бионформатику (10 пар)
  Михаил Капущевский, European Bioinformatics Institute
  
• Тестирование на основе моделей (3 пары)
  Виктор Кулямин, ИСП РАН
  
• Дополнительные главы теории паросочетаний (5 пар)
  Максим Бабенко, МГУ
  
• Алгоритмы на графах и обработка изображений (3 пары)
  Виктор Лемпицкий, University of Oxford
  
• Современные методы автоматической формальной верификации аппаратного обеспечения (2 пары)
  Арист Александрович Кожевников, ПОМИ РАН
  
• а также курсы профессоров Университета Лугано (информация появится позже)

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

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