Choose timezone

Your profile timezone:

Use timezone based on: Event/category Custom

Select a custom timezone

Login

ICTPL 2024

5 April 2024

BME I

Europe/Budapest timezone

Details for Péter Bereczky

Title: Mr

Affiliation: Faculty of Informatics, Eötvös Loránd University, Hungary

Interactive Teaching of Programming Language Theory with a Proof Assistant