B. Kwaśniewski; Consensus of a leader-following problemConstructive Methods for Non-Linear Boundary , Miscolc, Hungary, Jul 5-8, 2018; University of Miskolc, Hungary and Academy of Sciences of the Czech (org.)
J. Zonenberg; The Strategy for Modelling and Solving Uncertainly Defined Boundary Value Problems 13th World Congress on Computational Mechanics, New York NY, USA, Jul 22-27, 2018
J. Zonenberg; Shape Identification and Optimization in Elastoplastic Boundary Value Problems Using Parametric Integral Equation System (PIES) and Particle Swarm Optimization (PSO)13th World Congress on Computational Mechanics, New York NY, USA, Jul
B. Pietruczuk; Mizar in Isabelle for Formal Abstracts3rd Conference on Artificial Intelligence and Theorem Proving, Aussois, France, Mar 25-30, 2018; University of Innsbruck (org.)
R. Jankowski; On specifying partial nominative predicates in Mizar14th International Conference Theoretical and Applied Aspects of Program Systems Development, Kyiv, Ukraine, Dec 4-8, 2017; National University of Kyiv (org.)
T. Czyżycki, G. Jakimowicz, R. Jankowski, R. Jankowski, A. Odzijewicz, U. Ostaszewska, B. Pietruczuk, A. Sliżewska, M. Woronowicz, J. Zonenberg; Existence of bounded nonoscillatory solutions of system of dynamic equations with neutral term on time
T. Czyżycki, G. Jakimowicz, R. Jankowski, R. Jankowski, A. Odzijewicz, U. Ostaszewska, B. Pietruczuk, A. Sliżewska, M. Woronowicz, J. Zonenberg; Asymptotically periodic solution to a system of nonlinear neutral difference equationsDynamical
T. Czyżycki, G. Jakimowicz, R. Jankowski, R. Jankowski, A. Odzijewicz, U. Ostaszewska, B. Pietruczuk, A. Sliżewska, M. Woronowicz, J. Zonenberg; Dynamical equations on time scales 2018, Będlewo, Poland, May 30 - Jun 6, 2018; IM PAN (org.)
A. Odzijewicz; Purely infinite inverse semigroup crossed products and Cartan pairsFacets of Irreversibility: Inverse Semigroups, Groupoids, and Operator Algebras , Oslo, Norway, Dec 4-8, 2017; UiO, The Faculty of Mathematics and Natural Sciences,
A. Gomolińska, M. Wolski; On Implementation of the Composition-nominative Approach to Program Formalization in Mizar SystemConference on Mathematical Foundations of Informatics, Chisinau, Republic of Moldova, Nov 9-11, 2017; Mathematical Society of
