A tudományos előadás címe: Kvantormentes bit-vektor logikák számítási bonyolultsága helye, időpontja: DE informatikai épület I201-es tanterem, 2018. XI. 30. 12:00
Az idegen nyelvű tudományos előadás címe (idegen nyelven: angol): Computational complexity of quantifier-free bit-vector logics helye, időpontja: DE informatikai épület I201-es tanterem, a magyar előadás után.
Az oktatási előadás címe: Rezolúció elsőrendű logikában helye, időpontja: DE informatikai épület I201-es tanterem, 2018. XI. 30. 11:00
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).