Publiczne obrony prac doktorskich - zawiadomienia

Materiały dodatkowe: Przewody doktorskie i doktoraty nadane przez Radę Naukową IPI PAN (od roku 1997)

Warszawa, 09 października 2017 r.

Rada Naukowa Instytutu Podstaw Informatyki PAN
uprzejmie zawiadamia, że publiczna obrona rozprawy doktorskiej

mgr Agnieszki Zbrzezny

pt. Wybrane metody weryfikacji modelowej wykorzystujące testery SAT i SMT


odbędzie się 27 października 2017 r. (piątek), o godz. 14:00 w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie przy ul. Jana Kazimierza 5 w małej auli (5A) na parterze.

Promotorem rozprawy jest dr hab. Bożena Woźna-Szcześniak, prof. AJD, (Akademia im. Jana Długosza w Częstochowie)

recenzentami:
prof. dr hab. inż. Jan Magott (Politechnika Wrocławska)
prof. dr hab. Marcin Szpyrka (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)

z rozprawą można zapoznać się w bibliotece IPI PAN.
Streszczenie rozprawy wraz z recenzjami zostało zamieszczone tutaj

Zapraszamy wszystkich zainteresowanych.

Drukuj

UWAGA! Ten serwis używa cookies i podobnych technologii.

Brak zmiany ustawienia przeglądarki oznacza zgodę na to.

Zrozumiałem