Statement for FTP election
University of Bialystok Institute of Philosophy Plac NZS 1 15420 Bialystok, Poland Retired since 2018 Associate Professor: 2004  2018 Senior Research Scientist: 1986  2003 
Bogdan Janski University based in Łomża and in Warsaw. Associate Professor: 1995  today, parttime (1/4 of full) 

romat at mizar.org
http://mizar.org/people/romat/ 
(...)The first presentation of the Mizar ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University(...)More on Mizar history can be found here: MIZAR: the first 30 years [bib file],
In 2014 we celebrated 25 years of the Mizar Mathematical Library:  Special Issue of the Formalized Mathematics 22(2) 2014. 
Formalized Mathematics, ISSN 1426  2630 (Print), 18989934 (Online) (since 1990). 
