INVITATION

The public defence of the PhD thesis submitted by

PÉTER BERECZKY

Computer Scientist,

doctoral candidate at ELTE Doctoral School of Informatics is announced by the Doctoral Council of Informatics.

The title of the dissertation:

Proof Assistant-Based Formalisation of Core Erlang

The public defence will be held in person at ELTE Lágymányosi Campus, Southern Building, room 2-412 (1117 Budapest, Pázmány Péter stny. 1/C)

Time of the defence: 12 January 2026, 02.00 p.m.

We cordially invite you to the defence.

Budapest, 8 January 2026

Dr. Zoltán Horváth
Chair of the Doctoral Council of Informatics