Летняя школа по программной инженерии и верификации



    Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения. В числе спонсоров и партнеров Школы — компании Intel, Google, Лаборатория Касперского, а также IEEE Computer Society.

    Директором Школы является сэр Тони Хоар (Tony Hoare) — ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать широко известные ученые и другие профессора из ведущих университетов США и Европы.

    К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.

    Если Вы заинтересованы, то спешите зарегистрироваться: Вы можете подать официальную заявку и документы до 1 мая включительно.

    Подробности — под катом, в нашей группе и на официальном сайте.



    Ключевые курсы
    • Основы верификации программ. Сэр Тони Хоар, Microsoft Research,
      Великобритания.
    • Автоматизация процесса построения доказательств и опровержений. Андрей Воронков, Университет Манчестера, Великобритания
    • Проверка программных моделей и автоматическая генерация тестовых
      примеров. Патрис Годефроид, Microsoft Research, США
    • Статический анализ и обнаружение ошибок. ЯнисСмарагдакис, University
      of Massachusetts, Amherst, США
    • Верификация многопоточных программ на Си и операционных систем. Стефан Тобиес, Microsoft, Германия
    • Абстракции и процедуры принятия решений для эффективной проверки
      программных моделей. Наташа Шарыгина, Университет Лугано, Швейцария
    • Программный анализ и его прикладные области. БенЛившиц, Microsoft
      Research, США.


    Проживание и стоимость участия
    • Для кандидатов, прошедших, отбор посещение учебных курсов является полностью бесплатным. Слушателям школы также будет предложены бесплатные места в одном из общежитий НИУ-ВШЭ.
    • Участники сами несут ответственность и все финансовые расходы, связанные с транспортом и получением виз в Россию, если таковые необходимы.


    Для участия в Летней Школе необходимо:
    • Зарегистрироваться на мероприятие. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
    • Представить документы на участие. В их числе:
      • Заполненная форма заявки (.docx);
      • Резюме, включающее информацию как об учебном, таки об исследовательском опыте (.pdf);
      • Одна из недавних научных публикаций или работ / дипломный проект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
      • Рекомендация научного руководителя или знакомого с работой профессора (желательно, .pdf).


    Ссылки
    AdBlock похитил этот баннер, но баннеры не зубы — отрастут

    Подробнее
    Реклама

    Комментарии 11

      +3
      Не студент, не аспирант, но постараюсь попасть! :) Так тематика мила сердцу!
        0
        Для какого примерного количества участников будет организована школа?
          +2
          Здравствуйте! В пределах сотни человек, точное количество не определено — зависит от того, сколько желающих.
          –4
          То пауки в топиках, то букашки. Такую информацию надо рассылать по универам непосредственно.
            +1
            А курс в основном лекционный? Практика будет? Проблемы с коммуникацией не предвидятся?
            Хоть и не аспирант, но студент. Надо будет попробовать. Иначе в дальней нашей глубинке умных людей не услышишь. Копить деньги на школу, это просто супер! Есть кто с Кемеровской области? =)
              +1
              Проблем с коммуникацией никаких не предвидится, если у Вас все в порядке с английским. :-)

              Лекций будет много (возможно, даже весьма много) — помимо указанных в посте лекторов будет очень много гостей, в частности, от организаций-партнеров: Google, Intel, ИСП РАН. Предполагается даже кое-что по суперкомпиляторам. Предполагаемый список гостевых лекций можно посмотреть здесь: research.microsoft.com/en-us/um/redmond/events/SSSEV2011/courses.html

              Но этим дело не ограничится. Будет и практика в виде заданий; на протяжении 10 дней предполагается даже выполнение некоторого коллективного учебного проекта, где можно будет применить большую часть полученных знаний, хотя детали мне пока неизвестны.
                0
                А можно раз Вы знаете, вопрос по поводу регистрации.
                (Я сам уже зарегистрировался еще месяц назад.)
                А почему использовалось такая странная система регистрации EasyChair system?
                просто раза 4 перепроверял так как ну не совсем прозрачно оно мне показалось. (в то поле введите то, в это другое)
                  0
                  А не были бы вы так любезны, если вас, конечно не затруднит, выложить видеолекции, если можно или курсы в онлайн виде как-нибудь?
                    +1
                    ApeCoder, не затруднит вовсе, но мне нужно сначала уточнить у организаторов, будет ли вообще вестись видеозапись и планируется ли выкладывать видео в открытый доступ. Если в этом направлении будут какие-то результаты, об этом, скорее всего, будет сказано на официальном сайте школы.

                    Если хотите — мне не сложно Вас уведомить лично об этом.
                      0
                      Буду весьма признателен, заранее спасибо
                +1
                Игорь, это мне, к сожалению, неизвестно; к моменту, когда я влился в работу по координации Школы, все уже было так, как оно есть сейчас. Возможно, используют по опыту прошлых лет — но это всего лишь догадки.

                Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.

                Самое читаемое