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: ALEXANDRIA  Large Scale Formal Proof for the Working MathematicianALEXANDRIA 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 largescale mathematical knowledge, both as theorems and as algorithms. In this talk we will briefly discuss some of our objectives and methods. See: Alexandia Programme
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

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

News
 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