Летняя школа по игровой семантике

22-26 августа 2016 года Лаборатория языковых инструментов проводит летнюю школу по игровой семантике. Вести школу будет Дэн Гика из Университета Бирмингема, Великобритания.

Подробности (аннотация, условия участия и т.д.) можно узнать на сайте JetBrains Research.