Statement for FTP election
University of Bialystok Department of Logic Plac Uniwersytecki 1 15420 Bialystok, Poland Associate Professor: 2004  present Senior Research Scientist: 1986  2003


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 celebrate 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). 
