Login
 Forum
 
 
Habilitation
 
The University of Debrecen
cordially invites You

Gergely Kovásznai
to the habilitation presentation of
Gergely Kovásznai
(publication list in the MTMT).

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



 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )