JetBrains Research — наука, меняющая мир

Семинар по "шаффлу" языков

На семинаре мы познакомимся с различными классами языков, использующих оператор шаффла. Формально опишем самые интересные из них и изучим некоторые полезные свойства. Кроме того будут рассмотрены различные области, о которых особенно удобно рассуждать с использованием шаффла языков, а именно: анализ и верификация многопоточных программ, распознавание планов, обработка естественных языков и др.

Материалы к докладу:

M. Berglund et al. Shuffled Languages — Representation and Recognition

Докладчик: Артем Горохов

12.03.2018, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28