News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

26 - 31 July 2021, Workshop on Natural Formal Mathematics (NatFoM 2021), Virtual

Date: 26 - 31 July 2021
Location: Virtual
Deadline: Thursday 1 July 2021

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.

NatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathematics (CICM 2021).. Invited speaker: Jeremy Avigad.

We 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 ceur-ws.org. To promote Natural Formal Mathematics, unfinished or exploratory work will also be welcome. Extended abstracts and papers should be formatted in LaTeX using the style onecolceurws.

Please note that this newsitem has been archived, and may contain outdated information or links.