dr hab. Artur Korniłowicz

Konferencje

  1. A. Korniłowicz
    Sethood Property in Mizar
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
  2. A. Grabowski*, A. Korniłowicz*, A. Naumowicz*
    Tutorial: Exploring the Mizar Mathematical Library (EMML 2019)
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
  3. A. Grabowski, A. Korniłowicz
    Członkowie Komitetu Organizacyjnego na
    Federated Conference on Computer Science and Information Systems - FedCSIS 2018, Poznań, Poland, 2018, Sep 9-12
    IEEE, PTI, UAM (org.)
    (sekcja AIRIM'18, https://www.fedcsis.org/2018/airim)
  4. I. Ivanov, A. Korniłowicz*, M. Nikitchenko
    Weryfikacja programów sekwencyjnych z wykorzystaniem reguł Hoarea z predykatami częściowymi
    XIII Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, 2018, Sep 5-8
    Polskie Towarzystwo Informatyczne, Wydział Informatyki PB; Instytut Informatyki UwB,Uniwersytet Medyczny w Białymstoku (org.)
  5. A. Korniłowicz
    Członek Komitetu Organizacyjnego na
    The first workshop on "Rigorous Methods in Software Engineering (RMSE)", Kyiv, Ukraine, 2017, May 15
    Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
  6. I. Ivanov, A. Korniłowicz, A. Kryvolap, M. Nikitchenko
    An Approach To Formalization of an Extension of Floyd-Hoare Logic
    The first workshop on "Rigorous Methods in Software Engineering (RMSE)", Kyiv, Ukraine, 2017, May 15
    Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
  7. I. Ivanov, A. Korniłowicz*, A. Kryvolap, M. Nikitchenko
    Formalization of the Algebra of Nominative Data in Mizar
    Federated Conference on Computer Science and Information Systems - FedCSIS 2017: AIRIM Section, Prague, Czech Republic, 2017, Sep 3-6
    Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (org.)
  8. I. Ivanov, A. Korniłowicz*, A. Kryvolap, M. Nikitchenko
    Formalization of the Algebra of Nominative Data in Mizar
    Information Systems Architecture and Technology, ISAT2017, Szklarska Poręba, Poland, 2017, Sep 17-19
    Wrocław University of Science and Technology (org.)
  9. A. Korniłowicz*, A. Naumowicz
    Introducing Euclidean Relations in Mizar
    Federated Conference on Computer Science and Information Systems - FedCSIS 2017: AIRIM Section, Prague, Czech Republic, 2017, Sep 3-6
    Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (org.)
  10. I. Ivanov*, A. Korniłowicz, M. Nikitchenko
    On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System (invited talk)
    Conference on Mathematical Foundations of Informatics, Chisinau, Republic of Moldova, 2017, Nov 9-11
    Mathematical Society of Republic of Moldova,Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova, (org.)
  11. I. Ivanov*, A. Korniłowicz, M. Nikitchenko
    On Specifying Partial Nominative Predicates in Mizar
    Theoretical and Applied Aspects of Program Systems Development TAAPSD'2017, Kyiv, Ukraine, 2017, Dec 4-8
    Taras Shevchenko National University of Kyiv, National University of "Kyiv-Mohyla Academy" (org.)
  12. A. Gomolińska, M. Hryniewicka, A. Korniłowicz, A. Odzijewicz, K. Pryszczepko, M. Zdanowicz
    Członkowie Komitetu Organizacyjnego na
    7th Podlasie Conference on Mathematics (7th PCM), Białystok, Poland, 2016, Jun 8-11
    Polish Mathematical Society, Białystok University of Technology, Poznań University of Technology, the University of Białystok (org.)
  13. A. Korniłowicz
    Enhancement of Mizar Texts with Transitivity Property of Predicates
    9th Conference on Intelligent Computer Mathematics, CICM2016, Białystok, Poland, 2016, Jul 25-29
    Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (org.)
  14. A. Korniłowicz
    Mizar HandsOn Tutorial
    9th Conference on Intelligent Computer Mathematics, CICM2016, Białystok, Poland, 2016, Jul 25-29
    Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (org.)
  15. A. Grabowski*, A. Korniłowicz
    Mizar: a formal logical-algebraic approach to mathematics
    7th European Congress of Mathematics, Berlin, Niemcy, 2016, Jul 17-23
    TU Berlin (org.)
    (see also http://www.7ecm.de/download/7ECM_Scientific%20Programm.pdf)
  16. A. Grabowski*, A. Korniłowicz
    On Algebraic Hierarchies in Mathematical Repository of Mizar
    Federated Conference on Computer Science and Information Systems - FedCSIS 2016, Gdansk, Poland, 2016, Sep 11-14
    Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (org.)
  17. A. Korniłowicz
    Registrations vs Redefinitions in Mizar
    9th Conference on Intelligent Computer Mathematics, CICM2016, Białystok, Poland, 2016, Jul 25-29
    Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (org.)
  18. A. Grabowski*, A. Korniłowicz
    Equality in computer proof-assistants
    Federated Conference on Computer Science and Information Systems - FedCSIS 2015, Łódź, 2015, Sep 13-16
    Polskie Towarzystwo Informatyczne i Politechnika Łódzka (org.)
  19. I. Ivanov*, A. Korniłowicz, M. Nikitchenko
    Formalization of nominative data in Mizar
    Theoretical and Applied Aspects of Program Systems Development, Kyiv, Ukraine, 2015, Nov 23-26
    Kyiv National Taras Shevchenko University (org.)
  20. A. Korniłowicz
    Equalities in Mizar
    6th Podlasie Conference on Mathematics, PCM2014, Białystok, Poland, 2014, Jul 1-4
    Politechnika Białostocka, PTM Białystok, UwB (org.)
  21. A. Korniłowicz
    Structures and structural types in Mizar (invited talk)
    Formalization of Mathematics in Proof assistants, Paryż, Francja, 2014, May 4-9
    Institut Henri Poincare (org.)
  22. A. Korniłowicz
    How to cope with equalities? (invited talk)
    Foundation of Mathematics for Computer-Aided Formalization, Universita degli Studi di Padova, Padova, Italy, 2013, Jan 9-11
    Universita degli Studi di Padova, Padova, Italy (org.)
    (original url http://events.math.unipd.it/fomcaf13/ recenty removed)
  23. A. Korniłowicz
    New features of the Mizar language (invited talk)
    9th Theorem Proving and Provers, Shinshu University, Nagano, Japan, 2013, Nov 21-22
    Shinshu University, Nagano, Japan (org.)
  24. A. Korniłowicz
    Tentative Experiments with Ellipsis in Mizar
    Conferences on Intelligent Computer Mathematics, CICM 2012, Jacobs University, Bremen, Germany, 2012, Jul 8-13
    Jacobs University, Bremen, Germany (org.)
  25. A. Korniłowicz, A. Naumowicz
    Członkowie Komitetu Organizacyjnego na
    2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans, USA, 2011, Jan 6-9
    American Mathematical Society (org.)
    (AMS Special Session on Formal Mathematics for Mathematicians)
  26. A. Korniłowicz*, A. Naumowicz
    Language of mathematics in Mizar
    2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans, USA, 2011, Jan 6-9
    American Mathematical Society (org.)
  27. A. Korniłowicz, A. Naumowicz*
    Mizar-supported maths teaching at the university level
    Członkowie Komitetu Organizacyjnego oraz przewodniczący sesji na
    2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans, USA, 2011, Jan 6-9
    American Mathematical Society (org.)
  28. A. Korniłowicz
    Practical presentation of Mizar and the contents of Mizar Mathematical Library
    Third Indian School on Logic and its Applications, ISLA 2010, University of Hyderabad, Gachibowli, India, 2010, Jan 18-29
    University of Hyderabad (org.)
    (workshop: Practical computer formalization of mathematics with the Mizar proof assistant)
  29. A. Korniłowicz
    Formalization of the Jordan Curve Theorem in Mizar
    International Congress of Mathematicians, Madrid, Spain, 2006, Aug 22-30
  30. A. Korniłowicz
    Mathematical Models of Generic Programming
    XI International Congress of Logic, Methodology and Philosophy of Science, Kraków, Poland, 1999, Aug 20-26
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl .