I would like to inform, that we organize 'impromptu' a scientific
meeting in Bialystok titled "Computer Reconstruction of the Techno-
logy of Mathematics".
More details see: http://mizar.uw.bialystok.pl/misc/CRTM98/
http://mizar.org/misc/CRTM98/
-- Roman Matuszewski
(romat@mizar.org)