You are not logged in | Log in

PL /
EN

Speaker(s): Aleksy Schubert
Affiliation: MIM
Language of the talk: Polish
Date: Nov. 6, 2026, 12:15 p.m.
Room: room 5450
Title in English: On proving in 2026 (and the role of LLMs therein)
Seminar: Seminar Semantics, Logic, Verification and its Applications