EEkiro
CETURTDIENA · 19. NOV. · 00:00–23:59TEHNIKAPasākuma valoda: Angļu

36. Ziemeļu programmēšanas teorijas darbnīca (NWPT)

Ujula 4, 51008 Tartu
MAKSĀ VIETĀ 300 EURVIETU SKAITS NEIEROBEŽOTS · PUBLISKS PASĀKUMS · TARTU
KADCETURTDIENA · 19. NOV. · 00:00–23:59KURUniversity of Tartu's Institute of Sport Sciences and Physiotherapy - Ujula 4, 51008 Tartu

NWPT ir ikgadēja reģionāla darbnīca programmēšanas teorijā, īpaši paredzēta jaunākajiem pētniekiem. 2026. gadā tā notiek Tartu; doktoranti un pēcdoktoranti var prezentēt jaunākos rezultātus vai tekošos darbus un satikt kolēģus no Ziemeļvalstīm un Baltijas.

Tēmas ietver, bet neaprobežojas ar: programmēšanas valodu semantiku; valodu dizainu un programmēšanas metodoloģiju; programmēšanas loģikām; programmu formālu specifikāciju un verifikāciju; programmu konstruēšanu, pārveidošanu un precizēšanu; verifikācijas un konstruēšanas rīkiem; reāllaika, hibrīdām un kiberfiziskām sistēmām; vienlaicīguma un sadalīto aprēķinu modeļiem; modeļu pārbaudi; uz modeļiem balstītu testēšanu; valodas līmeņa drošību.

Tartu Universitāte, Sporta zinātņu un fizioterapijas institūts, Ujula 4, Tartu.

Maksas pasākums. Biļetes no 300 EUR tiešsaistē pārdod organizators; lietotne maksājumos nepiedalās.
PIRKT BIĻETES
CMORGANIZATORS
Chad Mitchell Nester
rīkojis 1
ATVĒRT EKIRO

Ar bezmaksas kontu redzi pilnu kartīti un vari lūgt vietu no Chad Mitchell Nester. Organizētājs atbild lietotnē.

36. Ziemeļu programmēšanas teorijas darbnīca (NWPT) · Ekiro