FMM 2021 – Fifth Workshop on Formal Mathematics for Mathematicians30–31 July 2021The FMM workshop series enables 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 speakers:Manuel Eberl, TU Munich, Germany Title: TBAMario Carneiro, Carnegie Mellon University, USA Title: TBAList of accepted papers
ProgrammeSee FMM sessions in the CICM programme on Friday, July 30 and Saturday, July 31. SubmissionsElectronic submission is continuous and done via EasyChair: select the author role, select the "new submission" tab, and choose FMM. We welcome submission of short papers presenting research related to the workshop's points of interest. Submitted papers should be 4–6 pages long and formatted in LaTeX using the style onecolceurws (the corresponding style files can be downloaded from here).
At least one author of each accepted paper is expected to attend FMM and present the work online. We plan to publish electronic proceedings in the CEUR Workshop Proceedings series. Organizers and Programme Committee

CICM 2021
14^{th} Conference on Intelligent Computer Mathematics
July 26  31, 2021
Timisoara, Romania
You must enable JavaScript to use this site

News
 Proceedings available online until 27 July at this link
 Preliminary programme published
 Cfp third round
 Deadlines extended
 Cfp second round
 Springer LNAI proceedings confirmed
 Cfp first round
 Dates online
 Calls online
 Invited speakers
 PC online
 Initial website online