- Regionalny Konkurs Informatyczny
- Oferta dla szkół
- Oferta dla firm
Corocznie, począwszy od roku szkolnego 2000/2001, Instytut Informatyki Uniwersytetu w Białymstoku organizuje dla uczniów szkół ponadgimnazjalnych Regionalny Konkurs Informatyczny.
Celem konkursu jest szerzenie wiedzy informatycznej oraz umiejętności korzystania z narzędzi współczesnej technologii informatycznej.
Dyrekcja Instytutu Informatyki oraz Organizatorzy Seminarium
serdecznie zapraszają
pracowników i studentów na seminarium pt.:
On generalized inductive and coinductive definitions on
non-well-ordered linearly ordered domains and their potential
applications to verification of cyber-physical systems
Seminarium odbędzie się 23.V.2018 r. (środa) o godz. 14.15
w sali 2004 (ul. Konstantego Ciołkowskiego 1M)
Referat wygłosi dr Ievgen Ivanov
(Taras Shevchenko National University of Kyiv, Ukraine)
Galeria - Wydział Matematyki i Informatyki
