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:
Invited speaker(s)Angeliki Koutsoukou-Argyraki Title: ALEXANDRIA - Large Scale Formal Proof for the Working Mathematician
ALEXANDRIA is a new ERC project at the University of Cambridge led by Lawrence Paulson aiming at the creation of a proof development environment for working mathematicians through a collaboration of mathematicians and computer scientists. This will be achieved by formalizing mathematical proofs with the proof assistant Isabelle. The focus of the project is the management and use of large-scale mathematical knowledge, both as theorems and as algorithms. In this talk we will briefly discuss some of our objectives and methods. See: Alexandia
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.
11th Conference on Intelligent Computer Mathematics
August 13-17, 2018
RISC, Hagenberg, Austria
- proceedings online
- detailed program online
- accepted papers online
- registration open
- program overview online
- deadline extended: April 22 (abstract), April 29 (paper)
- 6 workshops accepted
- 3 invited speakers
- CfP and CfW available
- PC completed
- initial website online