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

NWPT on iga-aastaste piirkondlike programmeerimisteooria töötubade sari, mis on suunatud eelkõige karjääri alguses olevatele teadlastele. 2026. aastal toimub töötuba Tartus, Eestis. Loodame, et see pakub hea võimaluse tutvustada hiljutisi tulemusi ja/või pooleliolevat tööd ning kohtuda kolleegidega Põhjamaadest ja Balti riikidest. Eriti ootame osalema doktorante ja järeldoktoreid. Huvi pakkuvate teemade hulka kuuluvad muu hulgas programmeerimiskeelte semantika; programmeerimiskeelte disain ja programmeerimismetoodika; programmeerimisloogikad; programmide formaalne spetsifitseerimine; programmide verifitseerimine; programmide konstrueerimine; programmide verifitseerimise ja konstrueerimise tööriistad; programmide teisendamine ja rafineerimine; reaalaja- ja hübriidsete/küberfüüsiliste süsteemide modelleerimine ja verifitseerimine; samaaegse ja hajusarvutuse mudelid; mudelikontroll; mudelipõhine testimine ning keelepõhine turvalisus.