36. Ziemeļvalstu programmēšanas teorijas seminārs (NWPT)

NWPT ir ikgadēju reģionālu semināru cikls par programmēšanas teoriju, kas īpaši paredzēts karjeras sākumposma pētniekiem. 2026. gadā seminārs notiks Tartu, Igaunijā. Ceram, ka tā būs laba iespēja iepazīstināt ar nesen iegūtiem rezultātiem un/vai iesāktajiem darbiem, kā arī satikt kolēģus no Ziemeļvalstīm un Baltijas valstīm. Īpaši aicinām piedalīties doktorantus un pēcdoktorantūras pētniekus. Interešu lokā cita starpā ir programmēšanas valodu semantika; programmēšanas valodu projektēšana un programmēšanas metodoloģija; programmēšanas loģikas; programmu formālā specifikācija; programmu verifikācija; programmu konstruēšana; programmu verifikācijas un konstruēšanas rīki; programmu transformēšana un pilnveidošana; reāllaika un hibrīdsistēmu/kiberfizikālo sistēmu modelēšana un verifikācija; konkurences un sadalītās skaitļošanas modeļi; modeļu pārbaude; modelēšanā balstīta testēšana; un valodā balstīta drošība.