Az Informatikai Tudományok Doktori Iskola doktorjelöltje, Kalauz Károly PhD-értekezésének nyilvános vitája 2014. szeptember 8-án 14 órai kezdettel az egyetem B épület (Veszprém, Egyetem u. 2.) II. emeletén levő Konferenciaközpontban kerül megrendezésre.
Az értekezés címe: Algoritmusok kidolgozása logikai, idő és megbízhatósági feltételéket teljesítő folyamathálózatok szintéziséhez
Témavezető: Dr. Bertók Botond
A bizottság elnöke: Dr. Hangos Katalin
Az értekezés bírálói: Dr. Tick József, Dr. Varró Dániel
A doktori védés nyilvános, arra minden érdeklődőt tisztelettel meghívunk!