Исследовательская группа

Лаборатория языковых инструментов

Летняя школа по консистентности слабой памяти

28 августа - 1 сентября 2017 г.

59bfa9958704a.JPG

Ведущие специалисты: Виктор Вафейядис, Ори Лахав, Институт программных систем им. Макса Планка, Германия.

Описание школы — на англоязычной версии этой страницы