dr hab. Artur Korniłowicz

Konferencje

1. A. Grabowski, A. Korniłowicz*
   Implementing More Explicit Definitional Expansions in Mizar
   14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
   University of Bialystok, Poland (org.)
2. A. Korniłowicz
   Transformacje Mizar Mathematical Library
   XVII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, Sep 11-14, 2023
   Polskie Towarzystwo Informatyczne, Oddział Białostocki: Wydział Informatyki Politechniki Białostockiej: Instytut Informatyki UwB (org.)
3. A. Korniłowicz
   Transformacje prac zapisanych w języku Mizar (invited talk)
   Sesja sprawozdawcza Uniwersyteckiego Centrum Obliczeniowego 2023, Białystok, Polska, Jun 26, 2023
   Uniwersyteckie Centrum Obliczeniowe Uniwersytetu w Białymstoku (org.)
4. A. Korniłowicz
   Translation the Mizar Mathematical Library into Lambdapi
   Dedukti tools developers meeting 2, Fréjus, France, Jan 27-29, 2023