CSEDays. Application 2010

База отдыха "Иволга", Екатеринбург, 12-14 ноября

News subscription
Share:

Reviews

Очень понравились быстрая регистрация в гостинице и организованный трансфер.
Евгений Дегтярев / CSEDays. Application 2010
Home / CSEDays Application 2010 / Программа, материалы мероприятия /

Шилов Николай Вячеславович

Шилов Николай Вячеславович Кандидат физико-математических наук.

Старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН, доцент Новосибирского государственного университета и Новосибирского государственного технического университета.

Область научных интересов – формальная семантика, спецификация и верификация программ и систем, парадигмы программирования.

http://db.iis.nsk.su/persons/shilov//shilov.htm?q=persons/shilov/shilov.htm

  • Что программистам надо знать о программных логиках

    3 доклада по 40 минут

    Цель миникурса – познакомить слушателей со спектром программных логик на примере решения сложной программисткой задачи (уровня полуфиналов ACM ICPC) с использованием одной из самых сложных из программных логик пропозиционального мю-исчисления

    Read more →