2011 - Mizar Prize for Young Researchers
Roman Matuszewski <[email protected]>
| 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 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