Mizar 50 Workshop

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

Abstract submission deadline: June 30, 2023
Authors notification: July 7, 2023
Workshop: July 31, 2023

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:

development of the Mizar project,
formalizations of mathematical theorems in Mizar,
management of the Mizar Mathematical Library,
representation of knowledge collected in MML in various formats,
history of the Mizar project,
using Mizar in education.

Program

Time (Białystok, CEST - UTC+2)	Monday, July 31, 2023
15:00 - 15:30	50 years of Mizar Czesław Byliński and Roman Matuszewski
15:35 - 16:05	20 years of MPTP Josef Urban
16:10 - 16:30	Mizar is in a box: a Raspberry PI for checking elementary calculations Roland Coghetto - on-line
16:30 - 17:00	Coffee break
17:00 - 17:25	Improvements to the MML found by mizar-rs Mario Carneiro
17:30 - 17:55	Formalizing the Isoperimetric Inequality on a Plane in the Mizar Language Kazuhisa Nakasho and Yasunari Shidama
18:00 - 18:25	VizAR: The Proof Navigator Jan Jakubův and Cezary Kaliszyk
18:30 - ...	Open discussion about Mizar All participants

Submission instructions

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

Contact

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