FMM 2023 - Sixth Workshop on Formal Mathematics for Mathematicians

CANCELED

The FMM workshop series allows mathematicians interested in computer assistance and researchers in formal and computer-understandable mathematics to meet and exchange ideas. The meeting provides a platform for discussion of suitable forms of computer assistance between the formal community and interested mathematicians and other researchers.
Previous meetings took place in Washington DC in 2015, in Bialystok in 2016, in Hagenberg in 2016, in Prague in 2019, in Timisoara in 2021.

The main points of interest include:

• interactive and automated theorem proving,
• design of proof languages and techniques,
• repositories of formalized mathematics,
• formalization of challenging mathematical problems,
• development of proof assistants,
• semantic representation of mathematical knowledge,
• formal tools in program verification,
• foundations and philosophy of mathematics,
• proof assistants in education.

Deadline for submissions: July 16, 2023
Notification of acceptance: August 4, 2023

At least one author of each accepted extended abstract/demonstration proposal is expected to attend FMM and presents his/her extended abstract/demonstration. The extended abstracts will be made available online.

Programme Committee(tbd):

• Manuel Eberl, University of Innsbruck, Austria
• Cezary Kaliszyk, University of Innsbruck, Austria
• Artur Kornilowicz, University of Bialystok, Poland
• Robert Lewis, Brown University, USA
• Adam Naumowicz, University of Bialystok, Poland
• Karol Pak, University of Bialystok, Poland (chair)