Ogłoszenie

Nieaktualne

Constructing Logics oriented on Computing

Methodological and Mathematical Aspects

Dyrekcja Instytutu Informatyki oraz organizatorzy seminarium serdecznie zapraszają pracowników i studentów na seminarium pt.:

Constructing Logics oriented on Computing: Methodological and Mathematical Aspects

Seminarium odbędzie się 22.III.2017 r. (środa) o godz. 14.15 w sali 2004 (ul. Konstantego Ciołkowskiego 1M)

Referat wygłosi prof. Mykola Nikitchenko (Taras Shevchenko National University of Kyiv, Ukraine)