-
A. Grabowski
Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition
2023 IEEE International Conference on Fuzzy Systems, Songdo Incheon, Korea, Aug 13-17, 2023
IEEE Computational Intelligence Society (org.)
-
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.)
-
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.)
-
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.)
-
A. Korniłowicz
Translation the Mizar Mathematical Library into Lambdapi
Dedukti tools developers meeting 2, Fréjus, France, Jan 27-29, 2023
-
14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
University of Bialystok, Poland (org.)
-
A. Naumowicz
Extending Numeric Automation for Number Theory Formalizations in Mizar
16th International Conference on Intelligent Computer Mathematics, Cambridge, UK, Sep 4-8, 2023
University of Bath, UK (org.)