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
|