Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

27 - 31 July 2020, Workshop on Natural Formal Mathematics

Date: 27 - 31 July 2020
Location: Online
Deadline: Monday 15 June 2020

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.

For more information, see https://cicm-conference.org/2020/cicm.php?event=NFM or contact Florian Rabe at , or Peter Koepke at .

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