Białystok, ITP-2023, 50 years of Mizar Project

1999-pioneers-Trybulec-Milner-Gordon.jpg

2002-deBruijn-Trybulec.jpg

2023-07-31-Mizar50-Bylinski-Matuszewski.jpg

2023-08-02-Mizar50-cake.jpg

2023-08-02-Mizar50-champagnes.jpg

2023-08-Mizar50-mizarians.jpg

2023-Paulson.jpg