E. Schmeidel; Nondistributive rings5th International Conference on Noncommutative Rings and Their Applications, Lens, France, Jun 12-15, 2017; University of Artois (org.)
E. Schmeidel; Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic10th International Conference on Intelligent Computer Mathematics, Edinburgh, Scotland, Jul 17-21, 2017; University of Edinburgh (org.)
E. Schmeidel; Towards Standardized Mizar Environments10th International Conference on Intelligent Computer Mathematics, Edinburgh, Scotland, Jul 17-21, 2017; University of Edinburgh (org.)
E. Schmeidel; Adjective Clustering in the Mizar Type System23rd International Conference on Types for Proofs and Programs, Budapest, Hungary, May 29 - Jun 1, 2017; Eötvös Loránd University (org.)
E. Schmeidel; How to inspire pupils to do scientific research? invited speaker2nd International Scientific Conference Dilemmas of Research in Various Fields of Science, Katowice, Poland, May 9, 2017
E. Schmeidel; 1st International Workshop on Rigorous Methods in Software Engineering, Kyiv, Ukraine, May 15, 2017; Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
E. Schmeidel; An Approach To Formalization of an Extension of Floyd-Hoare Logic1st International Workshop on Rigorous Methods in Software Engineering, Kyiv, Ukraine, May 15, 2017; Institute of Postgraduate Education of Taras Shevchenko National
E. Schmeidel; 2D elastoplastic boundary value problems solved by PIES with various strategies for calculating stresses9th International Symposium on Mechanics of Materials and Structures and 2nd International Conference on Advances in Micromechanic
E. Schmeidel; Expressing the notion of a mathematical structure in the formal language of Mizar5th International Conference on Man-Machine Interactions, Cracow, Poland, Oct 3-6, 2017; Silesian University of Technology, Polish Academy of Sciences
E. Schmeidel; Flexibility of approximation in PIES applied for solving elastoplastic boundary problemsXIV Internatoinal Conference on Computational Plasticity - Fundamentals and Applications, Barcelona, Spain, Sep 5-7, 2017; University of Catalonia
