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

[mizar] Sleszynski Prize 2007

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Sleszynski Prize 2007
From: Grzegorz Bancerek <bancerek@math.uwb.edu.pl>
Date: Tue, 08 Jan 2008 14:09:02 +0100
Mailscanner-null-check: 1200402552.06544@3z2QtsP/xRzMfHexkeCIqQ

Hi,

Happy New Year!

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)

Grzegorz
--
-----------------------------------------------------------
Grzegorz Bancerek
e-mail: bancerek@mizar.org (bancerek@math.uwb.edu.pl)
http://mmlquery.mizar.org/~bancerek/
Dept. of Theoretical CS
Faculty of Computer Science      fax. +48 (85) 746-9057
Bialystok Technical University   tel. +48 (85) 746-9116
http://wi.pb.edu.pl

Follow-Ups:
- Re: [mizar] Sleszynski Prize 2007
  - From: Freek Wiedijk <freek@cs.ru.nl>

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>

Prev by Date: Re: [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis
Next by Date: Re: [mizar] Sleszynski Prize 2007
Index(es):
- Chronological
- Thread