Zakład Logiki Stosowanej
Here is the English version
W
Instytucie Informatyki
,
Wydziału Matematyki, Informatyki i Mechaniki
,
Uniwersytetu Warszawskiego
.
Ludzie
Seminarium
Wydarzenia, które współorganizowali¶my
ETAPS'2003
Alfred Tarski Centenary Conference
TLCA'2001
LICS'97
LACS - Logic, Algebra and Computer Science (1996)
CSL'94
Ostatnia modyfikacja: 01.06.2004