36-й Северный семинар по теории программирования (NWPT)

NWPT — это серия ежегодных региональных семинаров по теории программирования, ориентированных прежде всего на исследователей, начинающих карьеру. В 2026 году семинар состоится в Тарту, Эстония. Мы надеемся, что он станет хорошей возможностью представить недавние результаты и/или текущую работу, а также встретиться с коллегами из стран Северной Европы и Балтии. Мы особенно приглашаем к участию аспирантов и постдоков. К интересующим нас темам относятся, помимо прочего: семантика языков программирования; проектирование языков программирования и методология программирования; логики программирования; формальная спецификация программ; верификация программ; конструирование программ; средства для верификации и конструирования программ; преобразование и уточнение программ; моделирование и верификация систем реального времени и гибридных/киберфизических систем; модели параллельных и распределённых вычислений; проверка моделей; тестирование на основе моделей; безопасность на основе языков программирования.