Invitation to the doctoral defence of András Kovács
INVITATION
The public defence of the PhD thesis submitted by
András Kovács
Computer Scientist,
doctoral candidate at ELTE Doctoral School of Informatics is announced by the Doctoral Council of Informatics.
The title of the dissertation:
’Type-Theoretic Signatures for Algebraic Theories and Inductive Types’
The public defence will be held online, via MS Teams.
Time of the defence: 9th December 2022, 11.00 am (Hungarian time)
We cordially invite you to the defence.
You can join the defence via the following link: https://teams.microsoft.com/l/meetup-join/19%3afk3uWI5DKSwsqraT4nb4rp0etiYy2S4c4zfEaiDOGPE1%40thread.tacv2/1667918360536?context=%7b%22Tid%22%3a%220133bb48-f790-4560-a64d-ac46a472fbbc%22%2c%22Oid%22%3a%228ade04db-5e8d-49d4-a4d4-ca4239571d7f%22%7d
Budapest, 8 November 2022 |
Dr. Zoltán Horváth |
|
Chair of the Doctoral Council of Informatics |