NatFoM2020: Natural Formal Mathematics Conference on Intelligent Computer Mathematics Bertinoro (virtual), Italy, July 2631, 2020 
Conference website  https://cicmconference.org/2020/cicm.php?event=NFM&menu=general 
Submission link  https://easychair.org/conferences/?conf=natfom2020 
Abstract registration deadline  June 15, 2020 
Submission deadline  June 15, 2020 
In (pure) mathematics there has always existed a strong informal sense of "naturality" of topics and methods. Generally "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 usage apparently have to become more "natural". Or should mathematicians learn formal languages like Lean so that they regard them as natural? This workshop broadly addresses the issue of naturality in formal mathematics.
Submission Guidelines
We welcome submission of extended abstracts and demonstration proposals presenting work related to the workshop's topics of interest. Electronic submission is done through EasyChair. Extended abstracts and demonstration proposals should be about 1 page formatted in LaTeX using the style onecolceurws (the corresponding style files can be downloaded from here).
 Submission deadline: June 15 2020 (or later pending further developments of the CICM organization)
 Notification of acceptance: July 01 2020
Venue
The conference will be held as a part of the Conference on Intelligent Computer Mathematics, which will take place virtually.
The exact format of this virtual workshop will be decided later.
Organizers and Contact
The workshop will be organized by
 Florian Rabe, Erlangen
 Peter Koepke, Bonn
The organizers can be contacted at natfom2020 at easychair.
