Seminarium - 2010-01-25 -
    Zakład Informatyki Stosowanej i Inżynierii Oprogramowania zaprasza na seminarium grupy roboczej Specyfikacja & weryfikacja. Referat Specyfikacja i testowanie systemów gridowych wygłosi mgr inż. Daniel Lamch. Seminarium odbędzie się 28.01.2010 (czwartek) o godz. 18:00 w sali A-14 (czytelnia IITiS), ul. Dąbrowskiego 73 (pod dużym daszkiem).
Seminarium - 2010-01-16 -
    Zakład Informatyki Stosowanej i Inżynierii Oprogramowania zaprasza na seminarium "O pewnym systemie weryfikacji protokołów kryptograficznych" przygotowane przez dra Mirosława Kurkowskiego. Seminarium odbędzie się 18.01.2010 (poniedziałek) o godz. 9:30 w sali A14 (czytelnia IITiS).
Seminarium - 2010-01-12 -
    Zakład Informatyki Stosowanej i Inżynierii Oprogramowania zaprasza na seminarium grupy roboczej Specyfikacja & weryfikacja. Referat Specyfikacja i kodowanie w systemie LDYIS wygłoszą dr Mirosław Kurkowski i mgr Przemysław Kromołowski. Seminarium odbędzie się 14.01.2010 (czwartek) o godz. 18:30 w sali A-14 (czytelnia IITiS), ul. Dąbrowskiego 73 (pod dużym daszkiem).
Seminarium - 2010-01-03 -
    Zakład Informatyki Stosowanej i Inżynierii Oprogramowania zaprasza na seminarium grupy roboczej Specyfikacja & weryfikacja. Referat O systemie LDYIS wygłosi dr Mirosław Kurkowski. Seminarium odbędzie się 7.01.2010 (czwartek) o godz. 18:30 w sali A-14 (czytelnia IITiS), ul. Dąbrowskiego 73 (pod dużym daszkiem).
[ 1 2 3 > ]
Ostatnia aktualizacja: 13.01.2009     Kontakt