FMM 2018  Third workshop on Formal Mathematics for MathematiciansAugust 13, 2018The 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)Angeliki KoutsoukouArgyraki Title: TBASubmissionsWe 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: June 10, 2018 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)

11^{th} Conference on Intelligent Computer Mathematics
CICM 2018
August 1317, 2018
RISC, Hagenberg, Austria
You must enable JavaScript to use this site

News
 deadline extended: April 22 (abstract), April 29 (paper)
 6 workshops accepted
 3 invited speakers
 CfP and CfW available
 PC completed
 2 invited speakers added
 Initial Webpage Online