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
O testowaniu protokołów
Speaker(s)
Aleksy Schubert
Affiliation
Uniwersytet Warszawski
Date
May 9, 2011, 10:15 a.m.
Room
room
4790
Seminar
Seminar Semantics, Logic, Verification and its Applications