BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2021/newsitem/12842/26 ---31-July-2021-Workshop-on-Natural-Formal-Mathema tics-NatFoM-2021-Virtual DTSTAMP:20210624T180607 SUMMARY:Workshop on Natural Formal Mathematics (Na tFoM 2021), Virtual DTSTART;VALUE=DATE:20210726 DTEND;VALUE=DATE:20210731 LOCATION:Virtual DESCRIPTION:In mathematics there has always existe d a strong informal sense of "naturality". Natural theories, notions, properties, or proofs are pref ered over technical, convoluted, or counterintuiti ve 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 forma l mathematics. NatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathe matics (CICM 2021).. Invited speaker: Jeremy Aviga d. We call for submissions of extended abstracts (1 page) and demonstration proposals presenting wo rk related to the workshop's topics of interest. A ccepted abstracts can optionally be expanded to fu ll papers (4 to 15 pages) to be published in proce edings on ceur-ws.org. To promote Natural Formal M athematics, unfinished or exploratory work will al so be welcome. Extended abstracts and papers shoul d be formatted in LaTeX using the style onecolceur ws. X-ALT-DESC;FMTTYPE=text/html:
In mathem atics there has always existed a strong informal s ense of "naturality". Natural theories, notions, properties, or proofs are prefered over t echnical, convoluted, or counterintuitive approach es. If formal mathematics is to become part of mai nstream mathematics, its formalizations and user e xperience have to become more natural. This worksh op, following a first edition in 2020, broadly add resses the issue of naturality in formal mathemati cs.
\n\nNatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathe matics (CICM 2021).. Invited speaker: Jeremy Aviga d.
We call for submissions of extended abstracts (1 page) and demonstration pro posals presenting work related to the workshop's t opics of interest. Accepted abstracts can optional ly be expanded to full papers (4 to 15 pages) to b e published in proceedings on ceur-ws.org. To prom ote Natural Formal Mathematics, unfinished or expl oratory work will also be welcome. Extended abstra cts and papers should be formatted in LaTeX using the style onecolceurws.