FMM 2019 - Fourth workshop on Formal Mathematics for Mathematicians
July 8, 2019
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:
Invited speaker Chad E. BrownTitle: Higher-Order Logic and Set Theory: Stronger Together
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:
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.
12th Conference on Intelligent Computer Mathematics
July 8-12, 2019
Prague, Czech Republic