NatFoM 2021  Workshop on Natural Formal Mathematics
The workshop will take place virtually using the same login details as the CICM conference. In mathematics there has always existed a strong informal sense of "naturality". Natural theories, notions, properties, or proofs are prefered over technical, convoluted, or counterintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formalizations and user experience have to become more natural. This workshop, following a first edition in 2020, broadly addresses the issue of naturality in formal mathematics. Topics of interest include (but are not limited to):
Invited TalksSubmissionsWe call for submissions of extended abstracts (1 page) and demonstration proposals presenting work related to the workshop's topics of interest. Accepted abstracts can optionally be expanded to full papers (4 to 15 pages) to be published in proceedings on ceurws.org. To promote Natural Formal Mathematics, unfinished or exploratory work will also be welcome. Electronic submission is done through EasyChair (select the author role, select the "new submission" tab, and choose "NatFom"). Extended abstracts and papers should be formatted in LaTeX using the style onecolceurws.
Program 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
 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