You are not logged in | Log in

PL /
EN

Speaker(s): Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz
Affiliation: MIMUW
Language of the talk: English
Date: May 23, 2025, 12:15 p.m.
Room: room 5450
Title in Polish: Nowe możliwości przepisywania w Coq-u
Seminar: Seminar Semantics, Logic, Verification and its Applications