\n

In mathem atics there has always existed a strong informal s ense of "naturality". Natural theories, notions, properties, or proofs are prefered over t echnical, convoluted, or counterintuitive approach es. If formal mathematics is to become part of mai nstream mathematics, its formalizations and user e xperience have to become more natural. This worksh op, following a first edition in 2020, broadly add resses the issue of naturality in formal mathemati cs.

\n\nNatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathe matics (CICM 2021).. Invited speaker: Jeremy Aviga d.

\n\n

URL:https://cicm-conference.org/2021/cicm.php?even
t=NFM
END:VEVENT
END:VCALENDAR
We call for submissions of extended abstracts (1 page) and demonstration p roposals presenting work related to the workshop's topics of interest. Accepted abstracts can option ally be expanded to full papers (4 to 15 pages) to be published in proceedings on ceur-ws.org. To pr omote Natural Formal Mathematics, unfinished or ex ploratory work will also be welcome. Extended abst racts and papers should be formatted in LaTeX usin g the style onecolceurws.

\n