Publiczne obrony prac doktorskich - zawiadomienia

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

Warszawa, 16 września 2020 r.

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

mgr. Tomasza Steifera

pt. Computable prediction of infinite binary sequences with zero-one loss
(Obliczalna predykcja nieskończonych ciągów binarnych ze stratą zero-jedynkową)


która odbędzie się w trybie zdalnym w dniu 29 września 2020 r. (wtorek) o godz. 12:00,  w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie w formie wideokonferencji.

Promotorem rozprawy jest dr hab. Łukasz Dębowski, prof. IPI PAN
Promotorem pomocniczym jest dr Dariusz Kalociński, IPI PAN


recenzentami
prof. dr hab. Damian Niwiński (Uniwersytet Warszawski)
prof. dr hab. Tomasz Szarek (Instytut Matematyczny PAN)

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

Wszystkich zainteresowanych uczestnictwem w obronie prosimy o przesłanie informacji na adres mailowy: sm@ipipan.waw.pl do dnia 28 września 2020 r. do godziny 12:00!

! Link do transmisji na MS Teams dla wszystkich zainteresowanych !

Drukuj

Warszawa, 11 września 2020 r.

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

mgr. Michała Horodelskiego

pt. Wyznaczanie reprezentatywnego fragmentu współdziałania systemu obiektów


która odbędzie się w trybie zdalnym w dniu 24 września 2020 r. (czwartek) o godz. 12:00,  w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie w formie wideokonferencji.

Promotorem rozprawy jest prof. dr hab. Józef Winkowski, IPI PAN
Promotorem pomocniczym jest dr Piotr Filipkowski (Szkoła Główna Handlowa)


recenzentami
prof. dr hab. Zbigniew Suraj (Uniwersytet Rzeszowski)
dr hab. Bożena Woźna-Szcześniak, prof. UJD (Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie)

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

Wszystkich zainteresowanych uczestnictwem w obronie prosimy o przesłanie informacji na adres mailowy: sm@ipipan.waw.pl do dnia 22 września 2020 r. do godziny 12:00!

! Link do transmisji na MS Teams dla wszystkich zainteresowanych !

Drukuj

Warszawa, 02 września 2020 r.

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

mgr. inż. Artura Męskiego

pt. Model Checking for Reaction and Multi-Agent Systems


która odbędzie się w trybie zdalnym w dniu 17 września 2020 r. (czwartek) o godz. 12:00,  w siedzibie Instytutu Podstaw Informatyki PAN w Warszawie przy ul. Jana Kazimierza 5 w sali nr 5 na parterze.

Promotorem rozprawy jest prof. dr hab. inż. Wojciech Penczek, IPI PAN

recenzentami
prof. Ion Petre (University of Turku)
prof. dr hab. Andrzej Szałas (Uniwersytet Warszawski)

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

Zapraszamy wszystkich zainteresowanych.

! Link do transmisji na MS Teams dla wszystkich zainteresowanych !

Drukuj

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

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

Zrozumiałem