Please note that this newsitem has been archived, and may contain outdated information or links.
27 - 31 July 2020, Workshop on Natural Formal Mathematics
In (pure) 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 broadly addresses the issue of naturality in formal mathematics.
This workshop is part of the 13th Conference on Intelligent Computer Mathematics (CICM 2020).
We call for submissions of extended abstracts and demonstration proposals presenting work related to the workshop's theme. To promote Natural Formal Mathematics unfinished or exploratory work will also be welcome. Details can be found on the webpage.
Please note that this newsitem has been archived, and may contain outdated information or links.