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.
Większość uczestników seminarium i większość tematów referatów jest związana z dwoma europejskimi projektami naukowymi: MOBIUS i SENSORIA.
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 |
|---|---|---|---|
| 2008-10-07 | Zebranie organizacyjne | ||
| 2008-10-14 | Aleksy Schubert | BML i związane z nim narzędzia | slajdy |
| 2008-10-20 | Artur Zawłocki | A Compositional Approach to Verification of Concurrent Systems | |
| 2008-10-27 | Grzegorz Marczyński | BPMN, czyli Business Process Modeling Notation | slajdy, standard BPMN, BPMN → BPEL, BPMN a UML |
| 2008-11-03 | Patryk Czarnik | Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu | slajdy |
| 2008-11-17 | Piotr Kosiuczenko | Przepisywanie termów jako semantyczna podstawa modelowania graficznego | |
| 2008-11-24 | Aleksy Schubert, Jacek Chrząszcz | O funkcyjności w Javie | slajdy |
| 2008-12-01 | Patryk Czarnik | "XML" | slajdy |
| 2008-12-08 | Łukasz Jancewicz | Anonimowość w BitTorrencie | slajdy, projekt Tribler |
| 2008-12-15 | Jędrek Fulara, Krzysztof Jakubczyk | Analiza pętli | |
| 2009-01-12, 2009-01-19 | Jacek Chrząszcz, Aleksy Schubert | Abstrakcyjne interpretacje | |
| 2009-01-26, 2009-02-02 | Grzegorz Marczyński, Artur Zawłocki | Towards an Institution for Services | |
| 2009-02-16 | Spotkanie organizacyjne | ||
| 2009-03-02 | Tadeusz Sznuk, Jędrek Fulara, Krzysztof Jakubczyk | Roboczo | |
| 2009-03-09 | Łukasz Jancewicz, Patryk Czarnik | Roboczo | |
| 2009-03-16, 2009-03-23 | Andrzej Tarlecki | Heterogeniczne środowiska logiczne – spojrzenie kategoryjne | |
| 2009-03-30 | Artur Zawłocki | Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną – work in progress | |
| 2009-04-06 | Grzegorz Marczyński | Prace nad reprezentowaniem architektury systemu w postaci grafu konstrukcji | |
| 2009-04-20 | Aleksy Schubert | Podsumowanie Mobiusa? :( | |
| 2009-04-27 | Grzegorz Marczyński, Artur Zawłocki | Towards an Institution for Services | |
| 2009-05-04 | Patryk Czarnik | Weryfikacja bajtkodu | |
| 2009-05-11 | Michał Prybyłek | SMS | |
| 2009-05-18 | ODWOŁANE | ||
| 2009-05-25 | Krzysztof Jakubczyk, Jędrek Fulara | O dwóch rzeczach | |
| 2009-06-01 | Tadeusz Sznuk | BMLVCGen |