2014 - Mizar Prize for Young Researchers

Roman Matuszewski <[email protected]> Tue, 23 Dec 2014 01:48:01 +0100 (CET)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

  I have the pleasure to announce that the winner of the
  "Mizar Prize for Young Researchers" in 2014
  is Yasushige Watase from Japan, for his Mizar article
  "Lagrange's Four-Square Theorem" (MML identifier: LAGRA4SQ).
  http://fm.mizar.org/2014-22/pdf22-2/lagra4sq.pdf

  Value of Prize:  1.000 Euro.

  The prize was founded in 2009 by Prof. Krystyna Kuperberg
  (Auburn University).
  http://mizar.uwb.edu.pl/sum/prizes.html


  dr Roman Matuszewski
  http://mizar.org/people/romat/

  Chairman of the Prize
  ASSOCIATION OF MIZAR USERS