Kripke-style semantics in computation Speaker: Silvia Ghilezan (Math. Institute SANU / Univ. Novi Sad) Monday, February 17, 2025, 18:00 Online via Webex
An invitation to proof mining Speaker: Laurentiu Leustean (University of Bucharest / IMAR) Thursday, January 23, 2025, 18:00 Online via Webex
