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

NWPT – ежегодный региональный семинар по теории программирования, ориентированный прежде всего на молодых исследователей. В 2026 году он пройдёт в Тарту: аспиранты и постдоки смогут представить свежие результаты или текущие работы и встретиться с коллегами из стран Северной Европы и Балтии.

Темы включают, но не ограничиваются: семантику языков программирования; дизайн языков и методологию программирования; логики программ; формальную спецификацию и верификацию программ; конструирование, преобразование и уточнение программ; инструменты верификации и конструирования; системы реального времени, гибридные и киберфизические системы; модели параллельных и распределённых вычислений; проверку моделей; тестирование на основе моделей; безопасность на уровне языка.

Университет Тарту, Институт спортивных наук и физиотерапии, Ujula 4, Тарту.