Matematički kolokvij
Obavijest o predavanju na Matematičkom kolokviju:
U srijedu, 19. rujna 2018. u 18 sati u predavaonici 1 na Odjelu za
matematiku,
Prof.dr.sc. Reinhard Wilhelm, Universität des Saarlandes, Saarbrücken, German
održat će predavanje na Matematičkom kolokviju pod naslovom:
"Timing Verification of Real-Time Systems"
(sažetak
< http://www.mathos.unios.hr/images/predavanja/AbstractReinhard.pdf>)
Voditelj Matematičkog kolokvija
Izv. prof. dr. sc. Zoran Tomljanović
Odjel za matematiku
Sveučilište u Osijeku