FMM 2023 - Sixth Workshop on Formal Mathematics for Mathematicians

September 4, 2023

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.

Invited speaker(s)

Programme

Submissions

We welcome submission of extended abstracts and demonstration proposals presenting work related to the workshop's points of interest. Electronic submission is done through EasyChair. Extended abstracts and demonstration proposals should be no more than 4 pages formatted in LaTeX using the style onecolceurws (the corresponding style files can be downloaded from here).

Deadline for submissions: tbd

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):

• Cezary Kaliszyk, University of Innsbruck, Austria
• Artur Kornilowicz, University of Bialystok, Poland
• Karol Pak, University of Bialystok, Poland (chair)