Sleszynski Prize

[Nakamura Yatsuka <ynakamur@cs.shinshu-u.ac.jp>]

We ask the members of Association of Mizar Users to recommend an article,
which is worth to get Sleszynski Prize, till Feb. 7. 1999(by E-mail).   This prize 
is for the article in the most advanced filelds . More detailed information of 
this prize is in
       http://sunsite.icm.edu.pl/mizar/sum.prizes.html
  We already got a statistics for Lesniewski Prize, which is for the  basic and
important article, and we are nominating now.
                      the Award Committee of the Association of Mizar Users
                                       Head:         Yatsuka Nakamura
-- 
Dept. of Information Engineering, Fac. of Eng.
Shinshu University
500 Wakasato, Nagano city, Japan      380-8553
Phone: +81-26-226-4101  Fax:   +81-26-223-4723
E-mail: ynakamur@cs.shinshu-u.ac.jp
        yatuka@hotmail.com (Only when the above is invalid)