Sleszynski Award 2011, 2012

"Pauline N. Kawamoto" <[email protected]> Mon, 06 Jan 2014 11:50:17 +0900
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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 
<http://www.degruyter.com/dg/viewjournalissue.articlelist.resultlinks.fullcontentlink:pdfeventlink/$002fj$002fforma.2012.20.issue-3$002fv10037-012-0023-z$002fv10037-012-0023-z.pdf?t:ac=j$002fforma.2012.20.issue-3$002fissue-files$002fforma.2012.20.issue-3.xml>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