Statement for FTP election
University of Bialystok Institute of Philosophy Plac NZS 1 15-420 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, part-time (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), 1898-9934 (Online) (since 1990). |
|