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

[mizar] 2011 - Mizar Prize for Young Researchers

To: mizar-forum@mizar.uwb.edu.pl, sum-forum@mizar.uwb.edu.pl
Subject: [mizar] 2011 - Mizar Prize for Young Researchers
From: Roman Matuszewski <romat@mizar.org>
Date: Fri, 23 Dec 2011 13:52:22 +0100 (CET)


I have the pleasure to announce that the winner of the
"Mizar Prize for Young Researchers" in 2011
is Marco Caminati from Italy, for his Mizar article
"Sequent calculus, derivability, provability.
 Goedel's completeness theorem" (MML identifier: FOMODEL4).


Value of Prize:  1.000 Euro.

The prize was founded in 2009 by Prof. Krystyna Kuperberg
(Auburn University).


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

Chairman of the Prize
ASSOCIATION OF MIZAR USERS

Prev by Date: [mizar] CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012)
Next by Date: [mizar] Announcement: workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012)
Index(es):
- Chronological
- Thread