Znanstveni kolokvij

lokacija: 
PMF Matematički odsjek
vrijeme: 
09.05.2018 - 17:00 - 18:30

U srijedu, 09.05.2018 u 17:00 u predavaonici 005, Marko Horvat, MPI-SWS Kaiserslautern održat će predavanje na znanstvenom kolokviju pod naslovom:

Uspjesi formalne verifikacije u standardizaciji sigurnosnih protokola

Pozivamo Vas da prisustvujete ovom zanimljivom predavanju.

Informacije o predavanju možete pročitati i ovdje: http://degiorgi.math.hr/kolokvij/view.php?id=146

Za Znanstvenu sekciju HMD-a
Matija Kazalicki

Share this