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 |
|---|---|---|---|
| 2007-10-02 | Aleksy Schubert | O modularności kodu źródłowego w Javie | |
| 2007-10-09 | Jacek Chrząszcz | Prezentacja projektu Mobius | |
| 2007-10-16 | Patryk Czarnik | Extending operational semantics of the Java bytecode | Slajdy |
| 2007-10-23 | Grzegorz Marczyński | Prezentacja projektu Sensoria | |
| 2007-10-30 | Bartek Klin | Strukturalna semantyka operacyjna i logika modalna | Praca |
| 2007-11-06 | -- | Brak seminarium (wyjazdy na TGC i project reviews) | Zdjęcia (autor: Hubert Baumeister) |
| 2007-11-13 | Bartek Klin | Strukturalna semantyka operacyjna i logika modalna | Praca |
| 2007-11-20 | Adam Warski | Praktyka weryfikacji w Javie | |
| 2007-11-27 | Łukasz Jancewicz | Test driven development | |
| 2007-12-04 | Łukasz Jancewicz | Wprowadzenie do Coqa | |
| 2007-12-11 | Patryk Czarnik | Weryfikacja bajtkodu Javy | Slajdy |
| 2007-12-18 | brak seminarium | ||
| 2008-01-08, 2008-01-15 | Aleksy Schubert | JML | Slajdy |
| 2008-01-22, 2008-01-29 | Dokonania i plany | ||
| 2008-03-04 | Jędrek Fulara, Krzysztof Jakubczyk | O przekraczaniu zakresu | |
| 2008-03-11 | -- | Brak seminarium | |
| 2008-03-18 | Aleksy Schubert | Prezentacja Umbry | |
| 2008-04-01 | Grzegorz Marczyński | Kategorie indeksowane fragmentów | Praca (niezatwierdzona) |
| 2008-04-08 | Piotr Hoffman | Datatypes-in-memory | |
| 2008-04-15 | Patryk Czarnik | Weryfikacja bajtkodu i coś jeszcze | Slajdy |
| 2008-04-22 | Aleksy Schubert | Projekt Mobius: bieżący status i zadania do wykonania | |
| 2008-04-29 | BRAK SEMINARIUM | ||
| 2008-05-06 i 2008-05-13 | Michał Przybyłek | Kategorie ekstensywne i quasiekstensywne | |
| 2008-05-20 | Victor L. Selivanov | On the Wadge Reducibility of k-Partitions | |
| 2008-05-27 | Jędrek Fulara, Krzysztof Jakubczyk | Weryfikacja dostępu do tablic | |
| 2008-06-03 | Grzegorz Marczyński, Artur Zawłocki |