; Formalization of the Algebra of Nominative Data in Mizar38th Information Systems Architecture and Technology, Szklarska Poręba, Poland, Sep 17-19, 2017; Wrocław University of Science and Technology (org.)
E. Schmeidel; Geometry on the lines of spine spacesXI Północne Spotkania Geometryczne, Gdańsk, Jun 21-22, 2017; PTM, UWM, UG (org.)
E. Schmeidel; Konferencja Władz Uczelnianych Matematyki i Informatyki 2017, Poznań, May 12-13, 2017
E. Schmeidel; Topological structures as a tool for formal modelling of rough sets12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Formalization of the Algebra of Nominative Data in Mizar12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Introducing Euclidean Relations in Mizar12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Formalization of Pell`s Equations in the Mizar System12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society (org.)
E. Schmeidel; Progress in the Independent Certification of Mizar Mathematical Library in Isabelle12th Federated Conference on Computer Science and Information Systems, Prague, Czech Republic, Sep 3-6, 2017; Polish Information Processing Society
E. Schmeidel; Coherent state map quantizationXXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 2-8, 2017; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
E. Schmeidel; Factorization method applied to the second order difference equationsXXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, Jul 2-8, 2017; Faculty of Mathematics, University of Białystok (org.); UwB, CRM (sponsor)
