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

Re: [mizar] Sleszynski Prize 2007

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Sleszynski Prize 2007
From: Freek Wiedijk <freek@cs.ru.nl>
Date: Tue, 8 Jan 2008 14:07:51 +0100

Grzegorz:

>I think it is time to start nominations for Sleszynski Prize 2007.
>
>(It seems to me that we have no description of the Prize
>at mizar.org)

... and I don't know what it is either.  The _what_ price?

(I'll be happy to nominate people, once I know what it is for :-))

Freek

Follow-Ups:
- [mizar] Re: Sleszynski Prize 2007
  - From: Jesse Alama <alama@stanford.edu>

References:
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
  - From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
  - From: "Robert M. Solovay" <solovay@Math.Berkeley.EDU>
- [mizar] Sleszynski Prize 2007
  - From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>

Prev by Date: [mizar] Sleszynski Prize 2007
Next by Date: [mizar] Re: Sleszynski Prize 2007
Index(es):
- Chronological
- Thread