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 jest (nie jedyną) kontynuacją seminarium Zakładu Logiki Stosowanej.
Seminarium odbywa się w trakcie roku akademickiego we poniedziałki w godz. 10:15 – 11:45 w sali 4790.
Istnieje lista mailowa, 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 |
|---|---|---|---|
| 2012-10-01 | Zebranie organizacyjne | ||
| 2012-10-08 | Brak seminarium | ||
| 2012-10-15 – 2012-10-22 | Bartek Klin | O braku dowodu P=NP w ZF? | |
| 2012-10-29 | Aleksy Schubert | Dlaczego programowanie funkcyjne jest lepsze? :) | |
| 2012-11-05 – 2012-11-12 | Michał Przybyłek | Associated Categories | |
| 2012-11-19 | Jacek i Aleksy | Funkcyjność w Javie | |
| 2012-12-03 | Bartosz Zieliński | Maude jako preprocesor SQL | |
| 2012-12-10 | Maciej Zielenkiewicz | From program verification to program synthesis | |
| 2012-12-17 | Patryk Czarnik | Test-Driven Development | |
| 2013-01-07 | Spotkanie organizacyjne | ||
| 2013-01-14 | Spotkanie grantowe | ||
| 2013-01-21 | Maciej Zielenkiewicz | Test-Based Inference of Polynomial Loop-Bound Functions | |
| 2013-02-18, 2013-02-25 | Aleksy Schubert | Przegląd istniejących formalizacji oprogramowania | |
| 2013-03-04 | Patryk Czarnik | CoJaq – Hierarchiczna formalizacja języka bajtkodu Javy | |
| 2013-03-11 | Andrzej Tarlecki | Categories, Institutions, Abstract Model Theory, and Software Specification | |
| 2013-03-18 | Brak seminarium (ETAPS) | ||
| 2013-03-25 | Bartosz Zieliński | Relacje i Alegorie | |
| 2013-04-08 | Tadeusz Sznuk | HAHA | |
| 2013-04-15 | Krzysztof Jakubczyk | Doktorat + relacja z Nijmegen | |
| 2013-04-22 | Brak seminarium | ||
| 2013-04-29 | Jędrzej Fulara | prerun obrony | |
| 2013-05-06 | Aleksy Schubert | SEL4 – zweryfikowane jądro systemu operacyjnego | |
| 2013-05-27 | Bartosz Zieliński | Alegorie... | |
| 2013-06-03 | Aleksy Schubert |