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