Fredag d. 13. marts holdt gæsteprofessor Dexter Kozen fra Cornell University foredrag om de nyeste gennembrud i udviklingen af NetKat, et højniveau sprog til at programmere netværk. Her kan du se hele foredraget på film.