FMM 2019  Fourth workshop on Formal Mathematics for MathematiciansJuly 8, 2019The 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 Chad E. BrownTitle: HigherOrder Logic and Set Theory: Stronger TogetherProgramme
SubmissionsWe 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. Programme Committee(TBC)

12^{th} Conference on Intelligent Computer Mathematics
CICM 2019
July 812, 2019
Prague, Czech Republic
You must enable JavaScript to use this site

News
 tentative informal proceedings
 formal proceedings online
 detailed program online
 3 invited speakers
 accepted papers announced
 registration open
 extended deadline
 four workshops and tutorial confirmed
 LNAI proceedings confirmed
 initial program committee
 initial website online