U ponedjeljak, 04.07.2016 u 17:00 u predavaonici 005,

Gerard Berry,  College de France

održat će predavanje na znanstvenom kolokviju pod naslovom:

Logic at work : computer-assisted verification of circuits, programs and theorems.

Pozivamo Vas da prisustvujete ovom zanimljivom predavanju.

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

                        Za Znanstvenu sekciju HMD-a

                                        Matija Kazalicki