[mizar] Sleszynski Award 2011, 2012

["Pauline N. Kawamoto" <pauline@cs.shinshu-u.ac.jp>]

Dear Members of the Mizar Forum,

     We received two nominations for the
2012 Sleszynski Award and are pleased to 
announce the winner:

   2012 - Julian J. Schlィoder and Peter Koepke
               
for

GOEDCPUC
   (2011 - not granted)

We thank the SUM members for taking the
time to vote and ask for your continued 
support in the future.

              
Yasunari Shidama
              
Association of Mizar Users
                 
Award Committee, Chairman