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

[mizar] 2012 - Mizar Prize for Young Researchers

To: mizar-forum@mizar.uwb.edu.pl, sum-forum@mizar.uwb.edu.pl
Subject: [mizar] 2012 - Mizar Prize for Young Researchers
From: Roman Matuszewski <romat@mizar.org>
Date: Tue, 18 Dec 2012 21:45:32 +0100 (CET)


 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

Prev by Date: Re: [mizar] Vocabulary name overloading
Index(es):
- Chronological
- Thread