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 semantyce specyfikacji structuralnych zorientowanej na własności
Speaker(s)
Andrzej Tarlecki
Affiliation
Uniwersytet Warszawski
Date
Oct. 24, 2011, 10:15 a.m.
Room
room
4790
Seminar
Seminar Semantics, Logic, Verification and its Applications