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