Scientific lecture Title: Computational complexity of quantifier-free bit-vector logics Place and time: DE informatikai épület I201-es tanterem, 2018. XI. 30. 12:00
Scientific lecture in a foreign language Title: Computational complexity of quantifier-free bit-vector logics Place and time: DE informatikai épület I201-es tanterem, after the Hungarian lecture.
Educational lecture Title (in Hungarian): Rezolúció elsőrendű logikában (to be translated) Place and time: 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).