dr hab. Artur Korniłowicz

Konferencje

1. A. Korniłowicz
   Rozwój systemu Mizar oraz Mizar Mathematical Library (invited talk)
   Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2024, Białystok, Polska, Jun 24, 2024
   Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
2. A. Korniłowicz¹
   Teoria liczb w Mizar Mathematical Library
   XVIII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 9-12, 2024
   Polskie Towarzystwo Informatyczne, Oddział Białostocki: UMB, Wydział Informatyki PB: Wydział Informatyki UwB (org.)