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.
The main points of interest include:
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.
16th Conference on Intelligent Computer Mathematics
September 4 – 8, 2023
- Submission deadline extended
- 5 workshops accepted
- Invited Speakers confirmed
- 2nd Call for Papers posted
- Call for Workshops posted
- Initial website online