2012 - 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 2012 is Mariusz Giero from Poland, for his Mizar article "Weak Completeness Theorem for Propositional Linear Time Temporal Logic" (MML identifier: LTLAXIO4). 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