Zakład Programowania i Metod Formalnych : Konferencje

  1. 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.)
  2. 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.)
  3. 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.)
  4. 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.)
  5. A. Korniłowicz
    Translation the Mizar Mathematical Library into Lambdapi
    Dedukti tools developers meeting 2, Fréjus, France, Jan 27-29, 2023
  6. 14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
    University of Bialystok, Poland (org.)
  7. 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.)
  • * Prezentacja
  • ¹ Przewodniczący sesji
  • ² Członek Komitetu Organizacyjnego
  • ³ Student
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl