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

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

В программе:

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

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