FMM 2021 – Fifth Workshop on Formal Mathematics for Mathematicians
30–31 July 2021
The FMM workshop series enables 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
Manuel Eberl, TU Munich, GermanyTitle: TBA
Mario Carneiro, Carnegie Mellon University, USATitle: TBA
List of accepted papers
Electronic submission is continuous and done via EasyChair: select the author role, select the "new submission" tab, and choose FMM. We welcome submission of short papers presenting research related to the workshop's points of interest. Submitted papers should be 4–6 pages long and formatted in LaTeX using the style onecolceurws (the corresponding style files can be downloaded from here).
At least one author of each accepted paper is expected to attend FMM and present the work online.
We plan to publish electronic proceedings in the CEUR Workshop Proceedings series.
Organizers and Programme Committee
14th Conference on Intelligent Computer Mathematics
July 26 - 31, 2021
- Proceedings available online until 27 July at this link
- Preliminary programme published
- Cfp third round
- Deadlines extended
- Cfp second round
- Springer LNAI proceedings confirmed
- Cfp first round
- Dates online
- Calls online
- Invited speakers
- PC online
- Initial website online