FMM 2018 - Third workshop on Formal Mathematics for Mathematicians
August 13, 2018
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:
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 according to requirements of Springer's LNCS series (the corresponding style files can be downloaded from here).
Deadline for submissions: end of May 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)
11th Conference on Intelligent Computer Mathematics
August 13-17, 2018
RISC, Hagenberg, Austria
- deadline extended: April 22 (abstract), April 29 (paper)
- 5 workshops accepted
- 3 invited speakers
- CfP and CfW available
- PC completed
- 2 invited speakers added
- Initial Webpage Online