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 |
|---|---|---|---|
| 2010-10-04 | Zebranie organizacyjne | ||
| 2010-10-11 i 2010-10-18 | Patryk Czarnik | Projekt RiTS | |
| 2010-10-25 | Hendrik Radke | Checking Correctness for Graph Rewriting Systems | |
| 2010-11-08 | Tadeusz Sznuk | Co ja robię tu | |
| 2010-11-15 | Jędrzej Fulara | Dziedzina abstrakcyjna 'Weighted Hexagons' | |
| 2010-11-22 | Krzysztof Jakubczyk | Dziedziny abstrakcyjne uwzględniające mnożenie zmiennych | |
| 2010-11-29 | Maciej Zielenkiewicz | Generatory niezmienników i automatyczna weryfikacja | |
| 2010-12-06 | Aleksy Schubert | Oparte o dedukcję narzędzia sprawdzania poprawności kodu | |
| 2010-12-13 | Andrzej Tarlecki | Perspectives Workshop: Formal Methods - Just a Euro-Science? | |
| 2010-12-20 | Grzegorz Marczyński | Konstrukcje architekturalne w kategorii fragmentów | |
| 2011-01-10 | Patryk Czarnik | Bajtkod Javy w 12 instrukcjach – założenia implementacji | |
| 2011-01-17 | Jędrzej Fulara | Abstrakcyjne dziedziny do modelowania tablic | |
| 2011-02-14 | Andrzej Tarlecki | Another old story: compositional property-oriented semantics for structured specifications | |
| 2011-02-21 | Aleksy Schubert | Co będzie na ETAPSie | |
| 2011-02-28 | Krzysztof Jakubczyk | Zwiększanie dokładności dziedziny przedziałowej | |
| 2011-03-07 | Maciej Zielenkiewicz | Generatory niezmienników i automatyczna weryfikacja II | |
| 2011-03-14 | Jędrzej Fulara | A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis | |
| 2011-01-10 | Patryk Czarnik | ||
| 2011-03-21 | Tadeusz Sznuk | SAT solvery | |
| 2011-03-28 | Patryk Czarnik | JVM w Coqu – struktury czasu wykonania | |
| 2011-04-04 | Tadeusz Sznuk | Diagramy decyzyjne i model checking CTL | |
| 2011-04-11 | Jacek Chrząszcz | System do testowania klientów wielostronnych protokołów komunikacyjnych" czyli czym możemy się pochwalić po realizacji projektu RiTS | |
| 2011-04-18 | Referat odwołany | ||
| 2011-05-09 | Aleksy Schubert? | ||
| 2011-05-?? | Michał Przybyłek | Uzupełnienia Dedekinda-MacNeilla |