A. Grabowski; Isabelle Formalization of Set Theoretic Structures and Set Comprehensions7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, Nov 15-17, 2017; SBA Research (org.); FH Technikum Wien
Z. Sadowski; From Data to Pattern Structures: Near Set Approach26th International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, Sep 25-27, 2017; Humboldt University, Warsaw University (org.)
Z. Sadowski; Building algebraic models of logics within Mizar Mathematical Library26th International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, Sep 25-27, 2017; Humboldt University, Warsaw University (org.)
A. Antonevich; Extending Formal Fuzzy Sets with Triangular Norms and Conorms10th Conference of the European Society for Fuzzy Logic and Technology, Warsaw, Poland, Sep 11-15, 2017; Systems Research Institute of the Polish Academy of Sciences (org.)
; Innovative e-portal for prevention and therapeutic programme for treatment of the obesity and overweight in health-tourism13th International Conference on Computational Methods in Science and Engineering, Thessaloniki, Greece, Apr 21-25, 2017;
; Noncommutative differential geometry of quantum (generalized) Weyl algebras13th International Workshop on Differential Geometry and Its Applications, Ploiesti, Romania, Sep 26-28, 2017; Petroleum-Gas University of Ploieşti (org.)
; "Żywa biblioteka"Pokazać - Przekazać, Warszawa, Polska, Aug 25-26, 2017; Centrum Nauki Kopernik (org.)
; Visualization of Mathematical Concepts as a Tool for Breaking Barrier Between Abstraction of Mathematics and Math Understanding in the School 4th East-West Conference on Mathematics Education, Warsaw, Poland, Aug 24-26, 2017; SWPS University (org.)
R. Jankowski, K. Pryszczepko, K. Zajkowski; Mining for formalization environments in the Mizar Mathematical Library8th International Conference on Interactive Theorem Proving, Brasilia, Brazil, Sep 26-29, 2017; University of Brasilia (org.)
; Towards Standardized Mizar Environments38th Information Systems Architecture and Technology, Szklarska Poręba, Poland, Sep 17-19, 2017; Wrocław University of Science and Technology (org.)
