36-osios Šiaurės šalių programavimo teorijos dirbtuvės (NWPT)

NWPT – kasmetinių regioninių programavimo teorijos dirbtuvių ciklas, ypač skirtas karjeros pradžioje esantiems tyrėjams. 2026 m. dirbtuvės vyks Tartu mieste, Estijoje. Tikimės, kad tai bus puiki proga pristatyti naujausius rezultatus ir (arba) vykdomus darbus bei susitikti su kolegomis iš Šiaurės ir Baltijos šalių. Ypač kviečiame dalyvauti doktorantus ir podoktorantūros tyrėjus. Dominančios temos, be kita ko, apima programavimo kalbų semantiką; programavimo kalbų projektavimą ir programavimo metodiką; programavimo logikas; formalųjį programų specifikavimą; programų verifikavimą; programų konstravimą; programų verifikavimo ir konstravimo įrankius; programų transformavimą ir tobulinimą; realaus laiko ir hibridinių / kibernetinių-fizinių sistemų modeliavimą ir verifikavimą; lygiagrečiųjų skaičiavimų ir paskirstytojo skaičiavimo modelius; modelių tikrinimą; modeliais pagrįstą testavimą; kalbomis pagrįstą saugumą.