36. Nordycki warsztat z teorii programowania (NWPT)
NWPT to coroczny regionalny warsztat z teorii programowania, skierowany zwłaszcza do młodszych badaczy. W 2026 roku odbędzie się w Tartu; doktoranci i postdoktoranci mogą przedstawić świeże wyniki lub trwające prace i spotkać kolegów z krajów nordyckich i bałtyckich.
Tematy obejmują m.in.: semantykę języków programowania; projektowanie języków i metodologię programowania; logiki programów; formalną specyfikację i weryfikację programów; konstrukcję, transformację i udoskonalanie programów; narzędzia do weryfikacji i konstrukcji; systemy czasu rzeczywistego, hybrydowe i cyberfizyczne; modele współbieżności i obliczeń rozproszonych; weryfikację modelową; testowanie oparte na modelach; bezpieczeństwo oparte na języku.
Uniwersytet w Tartu, Instytut Nauk o Sporcie i Fizjoterapii, Ujula 4, Tartu.
Z darmowym kontem widzisz pełną kartę i możesz poprosić Chad Mitchell Nester o miejsce. Organizator odpowie w aplikacji.