Oficjalna nazwa seminarium brzmi Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji.
Tematy referatów dotyczą specyfikacji i weryfikacji oprogramowania, semantyki oraz związanych z nimi zastosowań logiki i teorii kategorii.
Seminarium odbywa się w trakcie roku akademickiego w poniedziałki w godz. 10:15 – 11:45 w sali 4050.
Istnieje lista mailowa sem-sliwowica@mimuw, na którą rozsyłane są zawiadomienia o seminarium.
Aby zacząć albo przestać otrzymywać zawiadomienia proszę o informację do mnie
(czarnik AT mimuw...wiadomo co).
| Termin | Osoba | Temat | Materiały |
|---|---|---|---|
| 2014-10-06 | Spotkanie organizacyjne | ||
| 2014-10-13 | Brak seminarium | ||
| 2014-10-20 | Bartek Zieliński | Dialgebry, alegorie i bisymulacje | |
| 2014-10-27 | Jacek Chrząszcz | Verification of a Cryptographic Primitive: SHA-256 (by Andrew W. Appel) | |
| 2014-11-03 | Maciej Zielenkiewicz | "Eiffel" | |
| 2014-11-17 | Aleksy Schubert | Leightwieght program composition coś tam | |
| 2014-11-24 | Patryk Czarnik | Java: podtypianie dla tablic a dla kolekcji generycznych, nowości z Javy 8 (lambda i może jeszcze coś znajdę) | |
| 2014-12-01, 2014-12-08 | Bartek Zieliński | Stochastyczne relacje, etykietowane procesy Markowa i bisymulacje. | |
| 2014-12-15 | Michał Gajda | Automatic typing JSON | |
| 2015-01-12 | Patryk Czarnik | Roboczo o doktoracie | |
| 2015-01-19 | BRAK SEMINARIUM | ||
| 2015-03-02 | Andrzej Tarlecki | Heterogeniczne specyfikacje... | |
| 2015-03-16 | Patryk Czarnik | Roboczo o doktoracie | |
| 2015-03-16 | Patryk Czarnik | Roboczo o doktoracie | |
| 2015-04-27 | Aleksy Schubert | On the Mints Hierarchy in First-Order Intuitionistic Logic | |
| 2015-05-11 | Maciej Zielenkiewicz | Go | |
| 2015-05-25 | Bartosz Zieliński | ||
| 2015-06-01 | Herman Geuvers |