Tytuły referatów na Seminarium Zakładu Logiki Stosowanej

Data Prowadz±cy Tytuł referatu
07.10.2003 --- Ustalanie terminów referatów
14.10.2003 Mikołaj Bojańczyk Tree-walking automata
21.10.2003 Mikołaj Konarski Simple cathegory of modules
28.10.2003 Jerzy Tyszkiewicz Semi-join algebra and guarded fragment
04.11.2003 Artur Zawłocki Architectural specifications for mobile programs
18.11.2003 Radosław Bartosiak Parity games
25.11.2003 Thomas Colcombet Infinite structures of finite presentation
02.12.2003 Aleksy Schubert On the higher-order matching
09.12.2003 David Aspinall Mobile Resource Guarantees
16.12.2003 Jarosław Ku¶mierek Subtyping and morphisms
06.01.2004 Jacek Chrz±szcz Modules in type theory with generative definitions
06.01.2004 Marcin Kowalczyk Dispatch mechanisms
13.01.2004 Sławomir Leszczyński Verification of cryptographic protocols
Poprzednie semestry.

Valid HTML 4.01!