You are here
Доклад проф.-асс. Роланда Мейера (Технический университет Кайзерслаутерна)
![Printer-friendly version Printer-friendly version](https://cs.msu.ru/sites/all/modules/print/icons/print_icon.png)
![Send by email Send by email](https://cs.msu.ru/sites/all/modules/print/print_mail/icons/mail_icon.png)
19 декабря состоится доклад профессора-ассистента, руководителя группы теории параллельного программирования Технического университета Кайзерслаутерна Роланда Мейера. Название доклада "Verification of Concurrent Programs under Relaxed Memory Models". Начало в 18:00. Аудитория П-13.
Доклад проходит в рамках городского научно-практического семинара "Технологии разработки и анализа программ". Подробнее о докладе можно прочитать на сайте семинара: http://is.gd/6Hwncd.