Mizar 50 Workshop

Affiliated with ITP 2023
Location: Białystok, Poland
Important Dates (AoE):

The year 2023 is the 50th anniversary of the Mizar project. The aim of this workshop is to bring together different groups of people (developers, users and supporters) involved in the project. The workshop is devoted to various aspects of the Mizar project, including in particular:

We encourage submitting presentation proposals related to any of the above mentioned topics in the form of extended abstracts of up to 2 pages in PDF format (including references). The submission should be done via EasyChair.

Program committee


Artur Korniłowicz (arturk@math.uwb.edu.pl)