36. pohjoismainen ohjelmointiteorian työpaja (NWPT)

NWPT on vuosittain järjestettävä alueellisten ohjelmointiteorian työpajojen sarja, joka on suunnattu erityisesti uransa alkuvaiheessa oleville tutkijoille. Vuonna 2026 työpaja järjestetään Tartossa Virossa. Toivomme, että se tarjoaa hyvän tilaisuuden esitellä tuoreita tuloksia ja/tai keskeneräistä työtä sekä tavata pohjoismaiden ja Baltian maiden kollegoita. Kannustamme erityisesti väitöskirjatutkijoita ja tutkijatohtoreita osallistumaan. Kiinnostuksen kohteita ovat muun muassa ohjelmointikielten semantiikka; ohjelmointikielten suunnittelu ja ohjelmointimenetelmät; ohjelmointilogiikat; ohjelmien formaali spesifiointi; ohjelmien verifiointi; ohjelmien konstruointi; ohjelmien verifioinnin ja konstruoinnin työkalut; ohjelmien muunnokset ja jalostaminen; reaaliaikaisten ja hybridisten / kyberfyysisten järjestelmien mallintaminen ja verifiointi; rinnakkaisuuden ja hajautetun laskennan mallit; mallintarkastus; mallipohjainen testaus; sekä kielipohjainen tietoturva.