Seminarium poświęcone szeroko rozumianej niezawodności systemów
komputerowych i metodom jej zapewniania,
od praktycznych projektów weryfikacyjnych i narzędzi do modeli matematycznych i
zagadnień teoretycznych z nimi związanych.
Ogłoszenia
- seminarium 7 grudnia odwołane!
- zamiana prelegentów 23 i 30 listopada
Referaty w semestrze zimowym 11/12
| Temat referatu
|
Osoba referująca
|
Przybliżony termin
|
Materiały
|
|
|
|
18 I 2012
|
|
| Zastosowanie logiki liniowej w opisie fabuł gier komputerowych
|
J. Kopczewski
|
11 I 2012
|
|
| Logika liniowa
|
J. Kopczewski
|
4 I 2012
|
|
| Logika BAN c.d.
|
P. Iwaniuk
|
21 XII 2011
|
PDF
|
| Logika BAN
|
P. Iwaniuk
|
14 XII 2011
|
PDF
|
| Gry fabularne
|
J. Kopczewski
|
7 XII 2011
|
|
| Prototypy aplikacji dla systemów wbudowanych
|
A. Morawski
|
30 XI 2011
|
WWW
|
| Rachunek lambda + obiektowość c.d.
|
M. Oniszczuk
|
23 XI 2011
|
ODP
|
| Rachunek lambda + obiektowość
|
M. Oniszczuk
|
16 XI 2011
|
ODP
|
| Logika intuicjonistyczna
|
P. Iwaniuk
|
9 XI 2011
|
PDF
|
| Case-study w UPPAALu
|
A. Morawski
|
2 XI 2011
|
|
| Gry fabularne
|
J. Kopczewski
|
26 X 2011
|
|