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 |
|---|---|---|---|
| 2011-10-03 | Zebranie organizacyjne | ||
| 2011-10-10 | Tadeusz Sznuk | HAHA: Hoare Advanced Homework Assistant | |
| 2011-10-17 | Piotr Kosiuczenko | Specyfikacja części nieimienniczej systemów w języku OCL | |
| 2011-10-24 | Andrzej Tarlecki | O semantyce specyfikacji structuralnych zorientowanej na własności | |
| 2011-11-07 | Krzysztof Jakubczyk | Sweeping in Abstract Interpretation | |
| 2011-11-14 | BRAK SEMINARIUM | ||
| 2011-11-21 | Spotkanie okołograntowe GrAT | ||
| 2011-11-28 | Tadeusz Sznuk | Fluid Updates in Arbitrary Abstract Domains | |
| 2011-12-05 | Bartosz Klin | Logiczne prawa rozdzielności | |
| 2011-12-12 | Bartosz Klin? | ||
| 2011-12-19 | Jerzy Tyszkiewicz | Możliwości obliczeniowe arkuszy kalkulacyjnych | |
| 2012-01-02 | Michał Przybyłek | ||
| 2011-01-09 | Patryk Czarnik | ||
| 2011-01-16 | Aleksy Schubert |