36º Workshop nordico di teoria della programmazione (NWPT)

NWPT è un workshop regionale annuale di teoria della programmazione, rivolto soprattutto ai giovani ricercatori. Nel 2026 si svolge a Tartu: dottorandi e postdoc possono presentare risultati recenti o lavori in corso e incontrare colleghi dei paesi nordici e baltici.

I temi comprendono, tra gli altri: semantica dei linguaggi di programmazione; progettazione dei linguaggi e metodologia di programmazione; logiche di programma; specifica formale e verifica dei programmi; costruzione, trasformazione e raffinamento dei programmi; strumenti di verifica e costruzione; sistemi real-time, ibridi e cyber-fisici; modelli di concorrenza e calcolo distribuito; model checking; test basato su modelli; sicurezza basata sul linguaggio.

Università di Tartu, Istituto di scienze dello sport e fisioterapia, Ujula 4, Tartu.