[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] 2014 - Mizar Prize for Young Researchers

To: mizar-forum@mizar.uwb.edu.pl, sum-forum@mizar.uwb.edu.pl
Subject: [mizar] 2014 - Mizar Prize for Young Researchers
From: Roman Matuszewski <romat@mizar.org>
Date: Tue, 23 Dec 2014 01:48:01 +0100 (CET)


 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

Index(es):
- Chronological
- Thread