You are not logged in |
Log in
PL
/
EN
studies
bachelor's and master's studies
PhD studies
Erasmus
admissions
faculty
how to get there
structure, contact
employees and phd students
research
research
seminars
publications
grants
Sierpiński Medal
IDUB
USOSweb
SRS
APD
Moodle
Computer laboratory
Student mail
Staff mail
Career
Choir
(talk cancelled)
Speaker(s)
Aleksy Schubert
Affiliation
MIMUW
Language of the talk
English
Date
June 13, 2025, 12:15 p.m.
Room
room
5450
Title in Polish
(referat usunięty)
Seminar
Seminar Semantics, Logic, Verification and its Applications