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). |
