A. Antonevich, Cz. Doliczanin; Criss-cross model of tuberculosis for homeless and non-homeless subpopulationsXXII Krajowa Konferencja Zastosowań Matematyki w Biologii i Medycynie, Sandomierz, Sep 5-9, 2016; Instytut Fizyki, Uniwersytet Jana
A. Antonevich; 7th International Conference on Interactive Theorem Proving, Nancy, France, Aug 22-27, 2016; Inria Nancy - Grand-Est, LORIA, MPII Saarbrücken (org.); Aesthetic Integration, Alsace Champagne-Ardene Lorraine, Microsoft, Springer, INRIA,
A. Antonevich; Universality of Proofs, Dagstuhl, Germany, Oct 16-21, 2016; Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik (org.)
M. Muzalewski; A Guide to the Mizar Soft Type System22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia, May 23-26, 2016; University of Novi Sad, Faculty of Technical Sciences (org.)
K. Janglajew; FE8R - A Universal Method for Face Expression Recognition15th International Conference on Computer Information Systems and Industrial Management Applications, Vilnius, Latvia, Sep 14-16, 2016; University of Białystok, Białystok
; Dynamical Systems and Applications IV, Łódź, Poland, Jun 16-18, 2016; Institute of Mathematics at Lodz University of Technology, Institute of Mathematics at University of Bialystok, and others (org.)
; Existence of convergent solution of system of difference equations with p-laplacianDynamical Systems and Applications IV, Łódź, Poland, Jun 16-18, 2016; Institute of Mathematics at Lodz University of Technology, Institute of Mathematics at
; Analysis of stability of demand-inventory model with stock-level-dependent demand using linearizationDynamical Systems and Applications IV, Łódź, Poland, Jun 16-18, 2016; Institute of Mathematics at Lodz University of Technology, Institute of
; Periodic solutions of 2-dimensional system of neutral difference equationsDynamical Systems and Applications IV, Łódź, Poland, Jun 16-18, 2016; Institute of Mathematics at Lodz University of Technology, Institute of Mathematics at University of
; Monotonic solutions of a higher order nonlinear difference systemDynamical Systems and Applications IV, Łódź, Poland, Jun 16-18, 2016; Institute of Mathematics at Lodz University of Technology, Institute of Mathematics at University of
