36:e nordiska workshopen om programmeringsteori (NWPT)

NWPT är en serie årliga regionala workshoppar om programmeringsteori, särskilt riktade till forskare i början av karriären. År 2026 äger workshopen rum i Tartu i Estland. Vi hoppas att den blir ett bra tillfälle att presentera aktuella resultat och/eller pågående arbete samt att träffa kollegor från de nordiska och baltiska länderna. Vi uppmuntrar särskilt doktorander och postdoktorer att bidra. Ämnen av intresse omfattar, men är inte begränsade till: programmeringsspråkens semantik; design av programmeringsspråk och programmeringsmetodik; programmeringslogik; formell specifikation av program; programverifiering; programkonstruktion; verktyg för programverifiering och programkonstruktion; programtransformering och förfining; modellering och verifiering av realtidssystem och hybrida/cyberfysiska system; modeller för samtidighet och distribuerad databehandling; modellkontroll; modellbaserad testning; samt språkbaserad säkerhet.