Seminarium SLIWOWICA

Referaty 2013/14

TerminOsobaTematMateriały
2013-09-30Tomasz Brengos (PW)Słaba bisymulacja dla koalgebr nad uporządkowanymi monadami
2013-10-07Zebranie organizacyjne
2013-10-14Brak seminarium
2013-10-21Tadeusz SznukHAHA
2013-10-28Krzysztof JakubczykPrerun
2013-11-04Bartosz ZielińskiInstytucja alegoryjnego modelu danych
2013-11-18Patryk CzarnikSpecyfikacje w JUnit ?
2013-11-25Jacek ChrząszczDalvik (bajtkod na Androida)
2013-12-02Maciej ZielenkiewiczEvolving Graph-Structures and Their Implicit Computational Complexity
2013-12-09Bartosz ZielińskiInstytucja alegoryjnego modelu danych (c.d.)
2014-01-20Aleksy SchubertWeryfikacja programów współbieżnych ze względu na sekwencyjne specyfikacje
2014-02-24, 2014-03-03Andrzej TarleckiParchments for CafeOBJ logics
2014-03-10Maciej ZielenkiewiczFuzzing
2014-03-17Bartosz ZielińskiEnsuring serializability
2014-03-24, 2014-03-31Jurriaan Rot (LIACS - Leiden Universit & CWI Amsterdam)Coinduction Up-To in a Fibrational Setting
2014-04-07Bartek Klin
2014-04-14Aleksy Schubert
2014-04-28Patryk Czarnik

Referaty z poprzednich lat

Valid XHTML 1.1Valid CSS