16 czerwca 2023 14:19
Obrona pracy doktorskiej Tomasza Draba - 19.06, 10:00
Zapraszamy na obronę pracy doktorskiej Tomasza Draba pt. "Reductio Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines". Promotorami są Gosia i Darek Biernaccy,
recenzenci: Olivier Danvy (Yale-NUS COllege), Ugo Dal Lago (Uniwersytet Boloński), Marek Zaionc (Uniwersytet Jegielloński).
Obrona odbędzie się w poniedziałek, 19 czerwca, w sali 25 Instytutu Informatyki o godzinie 10:00.
