Data |
Prowadzący |
Tytuł referatu |
26.10.1999 |
Sławomir Lasota
|
???
|
26.10.1999 |
Jerzy Tyszkiewicz
|
???
|
26.10.1999 |
Aleksy Schubert
|
???
|
10.10.2000 |
Jerzy Tyszkiewicz
|
Wzajemna definiowalność spojników oraz operatory typu Sheffera w logikach trójwartościowych
|
17.10.2000 |
Damian Niwiński
|
Rozstrzyganie teorii monadycznej drzew hiper-algebraicznych
|
24.10.2000 |
Damian Niwiński
|
Rozstrzyganie teorii monadycznej drzew hiper-algebraicznych c.d.
|
31.10.2000 |
Miko3aj Bojańczyk
|
Problem skoqczonego grafu
|
07.11.2000 |
Daria Walukiewicz
|
Silna normalizacja przepisywania w rachunku konstrukcji
|
14.11.2000 |
Jacek Chrząszcz
|
Przepisywanie i moduły w rachunku konstrukcji
|
21.11.2000 |
Piotr Hoffman
|
Specyfikacje architekturalne
|
28.11.2000 |
Jerzy Tiuryn
|
Podtypy i produkty
|
05.12.2000 |
Tomasz Urbański
|
Redukcje w obwodach boolowskich
|
12.12.2000 |
Aleksy Schubert
|
Złożoność typowania dla typów intersekcyjnych skończonej rangi
|
09.01.2001 |
Marcin Rychlik
|
Gry kwantowe
|
16.01.2001 |
Jerzy Tyszkiewicz
|
Dynamiczna złożoność domknięcia przechodniego
|