19 Ноября 2018 г. Четная неделя

Очередное заседание петербургского семинара по программной инженерии и верификации

18 Декабря 2012
139
 Версия для печати

20 декабря в 18:00 в а. 121 9-го учебного корпуса состоится очередное заседание петербургского семинара по программной инженерии и верификации.

20 декабря в 18:00 в а. 121 9-го учебного корпуса (Политехническая ул, д. 21) состоится очередное заседание петербургского семинара по программной инженерии и верификации.

В программе:

  • Виталий Трифанов, Дмитрий Цителов (мат-мех СПбГУ, Devexperts).Динамическое обнаружение гонок в многопоточных Java-программах
  • Семён Григорьев, Яков Кириленко (мат-мех СПбГУ). Автоматизация трансформации динамического SQL при реинжиниринге информационных систем

Приглашаются все заинтересованные студенты, аспиранты и преподаватели.