19 декабря состоится доклад профессора-ассистента, руководителя группы теории параллельного программирования Технического университета Кайзерслаутерна Роланда Мейера. Название доклада "Verification of Concurrent Programs under Relaxed Memory Models". Начало в 18:00. Аудитория П-13.

Доклад проходит в рамках городского научно-практического семинара "Технологии разработки и анализа программ". Подробнее о докладе можно прочитать на сайте семинара: http://is.gd/6Hwncd.