Instytut Informatyki Uniwersytetu w Białymstoku
oraz
Sekcja Analizy Danych
Polskiego Towarzystwa Informatycznego
mają zaszczyt zaprosić na wykład
dr Yasushige Watase
„Formal Proofs in Japan from the Past to the Present”
Wykład odbędzie się dnia 22 października 2019 r o godzinie 17:15 w budynku Instytutu Informatyki UwB przy ul. Ciołkowskiego 1M w sali 2012.