Data |
Prowadzący |
Tytuł referatu |
20.02.2001 |
Igor Walukiewicz
|
Logiki dla liczb rzeczywistych
|
27.02.2001 |
Paweł Urzyczyn
|
Retrakcje i zanurzenia typów
|
06.03.2001 |
Nguyen Anh Linh
|
Modalny język zapytań MDatalog
|
13.03.2001 |
Jerzy Tiuryn
|
Intuicjonistyczna logika liniowa a częściowa poprawność
|
20.03.2001 |
Robert Maron
|
O wędrownych procesach
|
27.03.2001 |
Arkadiusz Kondratowicz
|
Funkcje obliczalne przez różne typy komputerów Petriego
|
03.04.2001 |
Sławomir Lasota
|
O złożoności sprawdzania równoważności bisymulacyjnej procesów nieskonczeniestanowych
|
10.04.2001 |
Igor Walukiewicz
|
Logiki i automaty na śladach Mazurkiewicza
|
24.04.2001 |
Andrzej Tarlecki
|
Enriched signatures and amalgamation for CASL models
|
08.05.2001 |
Grzegorz Grudziński
|
Rozstrzygalna rekonstrukcja typów intersekcyjnych skończonej rangi
|
15.05.2001 |
Piotr Hoffman
|
Instytucje i specyfikacje architekturalne
|
22.05.2001 |
Mikołaj Bojańczyk
|
Logika pierwszego rzedu dla struktur drzewiastych
|