36. Põhjamaade programmeerimisteooria töötuba (NWPT)

NWPT on iga-aastane piirkondlik töötuba programmeerimisteooria teemal, mis on suunatud eelkõige noorematele teadlastele. 2026. aastal toimub see Tartus, pakkudes doktorantidele ja järeldoktoritele võimalust tutvustada värskeid tulemusi või töös olevat uurimust ning kohtuda Põhjamaade ja Balti riikide kolleegidega.

Teemade hulka kuuluvad (kuid mitte ainult): programmeerimiskeelte semantika; keelte disain ja programmeerimise metodoloogia; programmeerimisloogikad; programmide formaalne spetsifitseerimine ja verifitseerimine; programmide konstrueerimine, teisendamine ja täpsustamine; verifitseerimise ja konstrueerimise tööriistad; reaalajalised, hübriid- ja küberfüüsilised süsteemid; samaaegsuse ja hajussüsteemide mudelid; mudelkontroll; mudelipõhine testimine; keelepõhine turvalisus.

Tartu Ülikool, spordi- ja taastusravi instituut, Ujula 4, Tartu.