A tudományos előadás címe: Környezetfüggetlen rendtípusok helye, időpontja: SZTE TTIK Informatikai Intézet Alagsor 6. terem (Szeged, Árpád tér 2.), 2020. VIII. 28. 11:00
Az oktatási előadás címe: SAT solverek alkalmazása helye, időpontja: SZTE TTIK Informatikai Intézet Alagsor 6. terem (Szeged, Árpád tér 2.), 2020. VIII. 28. 11:00