Predavanje "Session-based programming and verification"


19.12.2023. - 12:46 

U petak, 22. decembra 2023. godine u 12 časova u zgradi NTP-a, učionica 418 na IV spratu održaće se predavanje prof. Nobuko Yoshida, Strachey Professor of Computing sa Univerziteta u Oxford-u na seminaru Centra za matematiku i statistiku pod nazivom "Session-based programming and verification".

Više informacija je dostupno OVDE.

Pozivamo sve zainteresovane da prisustvuju predavanju.