40 years of Mizar

Dear All,

Today we celebrate 40 years since Mizar was born. This is of course a 
strictly symbolic date, because the idea must had grown in Andrzej's mind 
for some time before. However we have a good reason to associate the 
formal beginning of Mizar with that date:

(...)The first presentation of the Mizar ideology understood here as 
visionary speculation was presented by Andrzej [Trybulec] on November 14, 
1973 at a seminar in the Institute of Library Science and Scientific 
Information at Warsaw University(...)

More information on the early Mizar history can be found in P. Rudnicki 
and R. Matuszewski's "Mizar: the first 30 years": 
(http://markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005%282%29.pdf).

I guess the best way to celebrate 40 years of Mizar would be if we 
received at least 40 new Mizar articles for the Mizar Mathematical Library 
this year :-)

Best regards,

Adam Naumowicz

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: [email protected]
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================