KETVIRTADIENIS · 11-19 · 00:00–23:59TECHRenginio kalba: Anglų

36-asis Šiaurės programavimo teorijos seminaras (NWPT)

Name: 36-asis Šiaurės programavimo teorijos seminaras (NWPT)
Start: 2026-11-18T22:00:00Z
End: 2026-11-20T21:59:59Z
Location: University of Tartu's Institute of Sport Sciences and Physiotherapy

Ujula 4, 51008 Tartu

MOKAMA VIETOJE 300 EURVIETŲ NERIBOJAMA · VIEŠAS RENGINYS · TARTU

KADAKETVIRTADIENIS · 11-19 · 00:00–23:59KURUniversity of Tartu's Institute of Sport Sciences and Physiotherapy - Ujula 4, 51008 Tartu

NWPT – kasmetinis regioninis programavimo teorijos seminaras, skirtas ypač jaunesniems mokslininkams. 2026 m. jis vyks Tartu (Estija); doktorantai ir podoktorantai galės pristatyti naujausius rezultatus ar vykdomus darbus ir susitikti su Šiaurės bei Baltijos šalių kolegomis.

Temos apima, bet neapsiriboja: programavimo kalbų semantiką; kalbų projektavimą ir programavimo metodologiją; programavimo logikas; formalią programų specifikaciją ir verifikaciją; programų kūrimą, transformavimą ir tikslinimą; verifikavimo ir kūrimo įrankius; realaus laiko, hibridines ir kiberfizines sistemas; lygiagretumo ir paskirstytųjų skaičiavimų modelius; modelių tikrinimą; modeliais grįstą testavimą; kalbos pagrindu sukurtą saugumą.

Tartu universitetas, Sporto mokslų ir fizioterapijos institutas, Ujula 4, Tartu.

Mokamas renginys. Bilietus nuo 300 EUR internetu parduoda organizatorius; programėlė mokėjimuose nedalyvauja.

PIRKTI BILIETUS

CMORGANIZATORIUS

Chad Mitchell Nester

organizavo 1

ATIDARYTI EKIRO

Su nemokama paskyra matai visą kortelę ir gali paprašyti vietos iš Chad Mitchell Nester. Organizatorius atsako programėlėje.