Предавање "Session-based programming and verification"


19.12.2023. - 12:46 

У петак, 22. децембра 2023. године у 12 часова у згради НТП-а, учионица 418 на IV спрату одржаће се предавање prof. Nobuko Yoshida, Strachey Professor of Computing са Универзитета у Oxford-у на семинару Центра за математику и статистику под називом "Session-based programming and verification".

Више информација је доступно ОВДЕ.

Позивамо све заинтересоване да присуствују предавању.