FMM 2023  Sixth Workshop on Formal Mathematics for MathematiciansSeptember 4, 2023
The FMM workshop series allows mathematicians interested in computer assistance and researchers
in formal and computerunderstandable 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(s)tbdProgrammetbdSubmissionsWe 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):

CICM 2023
16^{th} Conference on Intelligent Computer Mathematics
September 4 – 8, 2023
Cambridge, UK
You must enable JavaScript to use this site

News
 Submission deadline extended
 5 workshops accepted
 Invited Speakers confirmed
 2nd Call for Papers posted
 Call for Workshops posted
 Initial website online