ITP 2023 bid - Mizar group, University of Bialystok, Poland

Proposed date

Preferable: the turn of July and August, but later in August or September is also possible.

Extra motivation for organizing the meeting in 2023 - 50 years of the Mizar project

From R. Matuszewski and P. Rudnicki - MIZAR: the first 30 years:

(...) 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. During the seminar Andrzej postulated a language for recording mathematical papers such that:

• the papers could be stored in a computer and later, at least partially, translated into natural languages,
• the papers would be formal and concise,
• it would form a basis for the construction of an automated information system for mathematics,
• it would facilitate detection of errors, verification of references, elimination of repeated theorems, etc.
• it would open a way to machine assisted education of the art of proving theorems,
• it would enable automated generation of input into typesetting systems.

Proposed venue - University of Bialystok campus

Brief info on the city of Bialystok and its surroundings

• A nice city center
  • historical monuments (Branicki palace, old churches)
  • Esperanto center
  • beautiful parks
• Plenty of decent hotels (at affordable rates)
• A number of good restaurants (with regional cuisine)
• Several possibilities for interesting social events
  • Bialowieza National Park
  • Mazury Lake District

×

Logistics - Bialystok is easily reachable from Warsaw by bus or train (190 km / ~ 3h)

Former conferences organized by the Mizar group in Bialystok