You are not logged in | Log in

PL /
EN

Speaker(s): Maja Kądziołka
Affiliation: MIM
Language of the talk: Polish
Date: Nov. 20, 2026, 12:15 p.m.
Room: room 5450
Title in English: Synthetic computation theory
Seminar: Seminar Semantics, Logic, Verification and its Applications