\n

In (pure) mathematics there has always existed a strong inf ormal sense of "naturality". "Natur al" theories, notions, properties, or proofs are prefered over technical, convoluted, or counte rintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formal izations and user experience have to become more & quot;natural". This workshop broadly addresse s the issue of naturality in formal mathematics.\n\n

This workshop is part of the 13th Confe rence on Intelligent Computer Mathematics (CICM 20 20).

\n

URL:https://cicm-conference.org/2020/cicm.php?even
t=NFM
CONTACT:Florian Rabe at florian.rabe at fau.de
CONTACT:Peter Koepke at koepke at math.uni-bonn.de
END:VEVENT
END:VCALENDAR
We call for submissions of extended abstracts and demonstration proposals presenting work related to the workshop's theme. T o promote Natural Formal Mathematics unfinished or exploratory work will also be welcome. Details ca n be found on the webpage.