Gergely Kovásznai - habilitation


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Habilitation

The University of Debrecen
cordially invites You

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. )